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

Divya Gopinath

KBR Inc., CMU, Nasa Ames

Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study


Feb 06, 2023
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu

Add code


   Access Paper or Ask Questions

An Overview of Structural Coverage Metrics for Testing Neural Networks


Aug 05, 2022
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu

Add code


   Access Paper or Ask Questions

VPN: Verification of Poisoning in Neural Networks


May 08, 2022
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Păsăreanu

Add code


   Access Paper or Ask Questions

AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks


Jan 31, 2022
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu

Add code


   Access Paper or Ask Questions

QuantifyML: How Good is my Machine Learning Model?


Oct 25, 2021
Muhammad Usman, Divya Gopinath, Corina S. Păsăreanu

Add code

* EPTCS 348, 2021, pp. 92-100 
* In Proceedings FMAS 2021, arXiv:2110.11527 

   Access Paper or Ask Questions

NNrepair: Constraint-based Repair of Neural Network Classifiers


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

Add code


   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

Add code


   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

Add code

* 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

Add code


   Access Paper or Ask Questions

1
2
>>