Pasareanu, Corina

4 publications

ICLR 2023 On the Perils of Cascading Robust Classifiers Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina Pasareanu, Matt Fredrikson

TMLR 2022 Degradation Attacks on Certifiably Robust Neural Networks Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina Pasareanu

ICLR 2021 Fast Geometric Projections for Local Robustness Certification Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina Pasareanu

CVPR 2020 A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors Edward Kim, Divya Gopinath, Corina Pasareanu, Sanjit A. Seshia