Log in

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

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

Thoughts on "An Abstraction-Refinement Approach to Verification of Artificial Neural Networks" [Sep. 30th, 2016|05:30 pm]
Lindsey Kuper

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.