Pasareanu, Corina S.

1 publications

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