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

Corina Pasareanu
Alert button

Toward Certified Robustness Against Real-World Distribution Shifts


Jun 09, 2022
Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George Pappas, Hamed Hassani, Corina Pasareanu, Clark Barrett

Add code
Alert button

Figure 1 for Toward Certified Robustness Against Real-World Distribution Shifts
Figure 2 for Toward Certified Robustness Against Real-World Distribution Shifts
Figure 3 for Toward Certified Robustness Against Real-World Distribution Shifts
Figure 4 for Toward Certified Robustness Against Real-World Distribution Shifts
* Under submission 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On the Perils of Cascading Robust Classifiers


Jun 01, 2022
Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina Pasareanu, Matt Fredrikson

Add code
Alert button

Figure 1 for On the Perils of Cascading Robust Classifiers
Figure 2 for On the Perils of Cascading Robust Classifiers
Figure 3 for On the Perils of Cascading Robust Classifiers
Figure 4 for On the Perils of Cascading Robust Classifiers

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

NNrepair: Constraint-based Repair of Neural Network Classifiers


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

Add code
Alert button

Figure 1 for NNrepair: Constraint-based Repair of Neural Network Classifiers
Figure 2 for NNrepair: Constraint-based Repair of Neural Network Classifiers
Figure 3 for NNrepair: Constraint-based Repair of Neural Network Classifiers
Figure 4 for NNrepair: Constraint-based Repair of Neural Network Classifiers

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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
Alert button

Figure 1 for NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Figure 2 for NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Figure 3 for NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Figure 4 for NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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
Alert button

Figure 1 for Parallelization Techniques for Verifying Neural Networks
Figure 2 for Parallelization Techniques for Verifying Neural Networks
Figure 3 for Parallelization Techniques for Verifying Neural Networks
Figure 4 for Parallelization Techniques for Verifying Neural Networks

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


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

Add code
Alert button

Figure 1 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Figure 2 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Figure 3 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Figure 4 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email