|Proving that safety-critical neural networks do what they're supposed to (part 2 of 2)
||[May. 31st, 2017|01:47 pm]
New blog post, in which I cough up more information about this neural-network-verification thing I've been doing!
This entry was originally posted at http://lindseykuper.dreamwidth.org/13592.html. Please comment there using OpenID.