59 citations · 183 across the 18 of their papers we have counts for
3 papers · 1 filter
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…
Hamiltonicity in Semi-Regular Tessellation Dual Graphs
Divya Gopinath, Rohan Kodialam, Kevin Lu +2
This paper shows NP-completeness for finding Hamiltonian cycles in induced subgraphs of the dual graphs of semi-regular tessilations. It also shows NP-hardness for a new, wide clas…
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…