Divya Gopinath

Identifiers

No identifiers captured yet.

Papers (4)

1. Concept-Based Abductive and Contrastive Explanations for Behaviors of Vision Models cs.LG · 2026 · author #2
2. Prophecy: Inferring Formal Properties from Neuron Activations cs.LG · 2025 · author #1
3. Compositional Verification for Autonomous Systems with Deep Learning Components cs.AI · 2018 · author #2
4. Symbolic Execution for Deep Neural Networks cs.SE · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Corina S. Pasareanu 3 shared papers
• Corina P\u{a}s\u{a}reanu 1 shared papers
• Huafeng Yu 1 shared papers
• Kaiyuan Wang 1 shared papers
• Mengshi Zhang 1 shared papers
• Muhammad Usman 1 shared papers
• Ravi Mangal 1 shared papers
• Ronaldo Canizales 1 shared papers
• Sarfraz Khurshid 1 shared papers