Corina S. Pasareanu

1 papers · 2025–2025 · 1 conference · across top CS/AI conferences

Conferences

ICML (1)

Top co-authors

Ravi Mangal (1) Somesh Jha (1) Saranya Vijayakumar (1) Nils Palumbo (1) Zifan Wang (1)

Papers

Validating Mechanistic Interpretations: An Axiomatic Approach ICML 2025