Search Results for author: Hayes Converse

Found 1 papers, 1 papers with code

Property Inference for Deep Neural Networks

1 code implementation29 Apr 2019 Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly

We present techniques for automatically inferring formal properties of feed-forward neural networks.

Cannot find the paper you are looking for? You can Submit a new open access paper.