Alert button
Picture for Corina Pasareanu

Corina Pasareanu

Alert button

Carnegie Mellon University

Concept-based Analysis of Neural Networks via Vision-Language Models

Add code
Bookmark button
Alert button
Apr 10, 2024
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina Pasareanu

Figure 1 for Concept-based Analysis of Neural Networks via Vision-Language Models
Figure 2 for Concept-based Analysis of Neural Networks via Vision-Language Models
Figure 3 for Concept-based Analysis of Neural Networks via Vision-Language Models
Figure 4 for Concept-based Analysis of Neural Networks via Vision-Language Models
Viaarxiv icon

Inferring Properties of Graph Neural Networks

Add code
Bookmark button
Alert button
Jan 08, 2024
Dat Nguyen, Hieu M. Vu, Cong-Thanh Le, Bach Le, David Lo, Corina Pasareanu

Viaarxiv icon

Transfer Attacks and Defenses for Large Language Models on Coding Tasks

Add code
Bookmark button
Alert button
Nov 22, 2023
Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina Pasareanu

Viaarxiv icon

Is Certifying $\ell_p$ Robustness Still Worthwhile?

Add code
Bookmark button
Alert button
Oct 13, 2023
Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina Pasareanu, Anupam Datta, Matt Fredrikson

Viaarxiv icon

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems

Add code
Bookmark button
Alert button
May 27, 2023
Corina Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

Figure 1 for Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
Figure 2 for Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
Figure 3 for Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
Figure 4 for Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
Viaarxiv icon

Toward Certified Robustness Against Real-World Distribution Shifts

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

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
Viaarxiv icon

On the Perils of Cascading Robust Classifiers

Add code
Bookmark button
Alert button
Jun 01, 2022
Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina Pasareanu, Matt Fredrikson

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
Viaarxiv icon

NNrepair: Constraint-based Repair of Neural Network Classifiers

Add code
Bookmark button
Alert button
Mar 23, 2021
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina Pasareanu

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
Viaarxiv icon

NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

Add code
Bookmark button
Alert button
Feb 27, 2021
Muhammad Usman, Yannic Noller, Corina Pasareanu, Youcheng Sun, Divya Gopinath

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
Viaarxiv icon

Parallelization Techniques for Verifying Neural Networks

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

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
Viaarxiv icon