Skip to content
conftrace_
2025 ICML ICML 2025

Validating Mechanistic Interpretations: An Axiomatic Approach

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built.

Authors

Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha

Topics

Artificial Intelligence > Core AI > Interpretability Machine Learning > Optimization & Theory > Learning Theory Deep Learning > Architectures > Neural Networks

Keywords

mechanistic interpretability abstract interpretation neural network 2-sat axiom compositional manner
Download PDF