Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Divya Gopinath

NNrepair: Constraint-based Repair of Neural Network Classifiers

Mar 23, 2021
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina Pasareanu

  Access Paper or Ask Questions

NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

Feb 27, 2021
Muhammad Usman, Yannic Noller, Corina Pasareanu, Youcheng Sun, Divya Gopinath

  Access Paper or Ask Questions

Fast, Structured Clinical Documentation via Contextual Autocomplete

Jul 29, 2020
Divya Gopinath, Monica Agrawal, Luke Murray, Steven Horng, David Karger, David Sontag

* Published in Machine Learning for Healthcare 2020 conference 

  Access Paper or Ask Questions

Parallelization Techniques for Verifying Neural Networks

Apr 26, 2020
Haoze Wu, Alex Ozdemir, Aleksandar Zeljić, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, Clark Barrett

  Access Paper or Ask Questions

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors

Dec 01, 2019
Edward Kim, Divya Gopinath, Corina Pasareanu, Sanjit Seshia

  Access Paper or Ask Questions

Finding Invariants in Deep Neural Networks

Apr 29, 2019
Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu

  Access Paper or Ask Questions

Compositional Verification for Autonomous Systems with Deep Learning Components

Oct 18, 2018
Corina S. Pasareanu, Divya Gopinath, Huafeng Yu

  Access Paper or Ask Questions

DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks

Oct 02, 2017
Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark Barrett

  Access Paper or Ask Questions