@inproceedings{
shi2024hypothesis,
title={Hypothesis Testing the Circuit Hypothesis in {LLM}s},
author={Claudia Shi and Nicolas Beltran-Velez and Achille Nazaret and Carolina Zheng and Adri{\`a} Garriga-Alonso and Andrew Jesson and Maggie Makar and David Blei},
booktitle={The Thirty-eighth Annual Conference on Neural Information Processing Systems},
year={2024},
url={https://openreview.net/forum?id=5ai2YFAXV7}
}
Large language models (LLMs) demonstrate surprising capabilities, but we do not understand how they are implemented. 
One hypothesis suggests that these capabilities are primarily executed by small subnetworks within the LLM, known as circuits. But how can we evaluate this hypothesis?
In this paper, we formalize a set of criteria that a circuit is hypothesized to meet and develop a suite of hypothesis tests to evaluate how well circuits satisfy them. 
The criteria focus on the extent to which the LLM's behavior is preserved, the degree of localization of this behavior, and whether the circuit is minimal.
We apply these tests to six circuits described in the research literature. 
We find that synthetic circuits -- circuits that are hard-coded in the model -- align with the idealized properties. 
Circuits discovered in Transformer models satisfy the criteria to varying degrees.
To facilitate future empirical studies of circuits, we created the \textit{circuitry} package, a wrapper around the \textit{TransformerLens} library, which abstracts away lower-level manipulations of hooks and activations. The software is available at \url{https://github.com/blei-lab/circuitry}.
Hypothesis Testing the Circuit Hypothesis in LLMs
Claudia Shi Nicolas Beltran-Velez Achille Nazaret Carolina Zheng Adrià Garriga-Alonso Andrew Jesson Maggie Makar David Blei