48 citations · 73 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CV2019
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Edward Kim, Divya Gopinath, Corina Pasareanu +1
Even as deep neural networks have become very effective for tasks in vision and perception, it remains difficult to explain and debug their behavior. In this paper, we present a pr…
cs.LG2019
Property Inference for Deep Neural Networks
Divya Gopinath, Hayes Converse, Corina S. Pasareanu +1
We present techniques for automatically inferring formal properties of feed-forward neural networks. We observe that a significant part (if not all) of the logic of feed forward ne…