Proving that safety-critical neural networks do what they're supposed to (part 1 of 2)
Lindsey Kuper 2017-06-22
Summary:
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.