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 Corina Pasareanu

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

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