Prophecy: Inferring Formal Properties from Neuron Activations

Divya Gopinath, Corina S. Pasareanu, Muhammad Usman

We present Prophecy, a tool for automatically inferring formal properties of feed-forward neural networks. Prophecy is based on the observation that a significant part of the logic…