Thoughts on "An Abstraction-Refinement Approach to Verification of Artificial Neural Networks"
Lindsey Kuper 2017-08-30
Summary:
New blog post, in which I fall further down the neural-networks rabbit hole.
This entry was originally posted at http://lindseykuper.dreamwidth.org/6981.html. Please comment there using OpenID.