Log in

No account? Create an account
Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Proving that safety-critical neural networks do what they're supposed to (part 1 of 2) [May. 30th, 2017|03:32 pm]
Lindsey Kuper

New blog post, in which I finally start to cough up some information about this neural-network-verification thing I've been doing!

This entry was originally posted at http://lindseykuper.dreamwidth.org/13508.html. Please comment there using OpenID.