Home Gudgeon and gist Lindsey Kuper Thoughts on "An Abstraction-Refinement Approach to Verification of Artificial Neural Networks"