Mangal, Ravi

4 publications

ICML 2025 Validating Mechanistic Interpretations: An Axiomatic Approach Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha

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

AAAI 2016 Scaling Relational Inference Using Proofs and Refutations Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik