1 code implementation • 29 Apr 2019 • Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly
We present techniques for automatically inferring formal properties of feed-forward neural networks.
