5 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
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…