Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper tackles the challenges of scaling mechanistic interpretability (MI) by defining and studying "interpretive equivalence": determining if two models share a common interpretation without explicitly defining it. They formalize interpretive equivalence based on the principle that interpretations are equivalent if all their possible implementations are also equivalent. The authors develop an algorithm to estimate interpretive equivalence in Transformer models, providing theoretical guarantees linking algorithmic interpretations, circuits, and representations based on representation similarity.
Forget painstakingly reverse-engineering individual models – this work lets you check if two black-box neural nets "think" alike under the hood, even without knowing exactly *how* they think.
Mechanistic interpretability (MI) is an emerging framework for interpreting neural networks. Given a task and model, MI aims to discover a succinct algorithmic process, an interpretation, that explains the model's decision process on that task. However, MI is difficult to scale and generalize. This stems in part from two key challenges: there is no precise notion of a valid interpretation; and, generating interpretations is often an ad hoc process. In this paper, we address these challenges by defining and studying the problem of interpretive equivalence: determining whether two different models share a common interpretation, without requiring an explicit description of what that interpretation is. At the core of our approach, we propose and formalize the principle that two interpretations of a model are equivalent if all of their possible implementations are also equivalent. We develop an algorithm to estimate interpretive equivalence and case study its use on Transformer-based models. To analyze our algorithm, we introduce necessary and sufficient conditions for interpretive equivalence based on models'representation similarity. We provide guarantees that simultaneously relate a model's algorithmic interpretations, circuits, and representations. Our framework lays a foundation for the development of more rigorous evaluation methods of MI and automated, generalizable interpretation discovery methods.
CMU ML