Causality is Key for Interpretability Claims to Generalise
Organizations: Mila - Québec AI Institute & Université de Montréal · Boston University · Cold Spring Harbor Laboratory · Max-Planck-Institute for Intelligent Systems, ELLIS Institute Tübingen, University of Tübingen
Abstract
Interpretability research on large language models (LLMs) has yielded important insights into model behaviour, yet recurring pitfalls persist: findings that do not generalise, and causal interpretations that outrun the evidence. Our position is that causal inference specifies what constitutes a valid mapping from model activations to invariant high-level structures, the data or assumptions needed to achieve it, and the inferences it can support. Specifically, Pearl's causal hierarchy clarifies what an interpretability study can justify. Observations establish associations between model behaviour and internal components. Interventions (e.g., ablations or activation patching) support claims how these edits affect a behavioural metric (e.g., average change in token probabilities) over a set of prompts. However, counterfactual claims -- i.e., asking what the model output would have been for the same prompt under an unobserved intervention -- remain largely unverifiable without controlled supervision. We show how causal representation learning (CRL) operationalises this hierarchy, specifying which variables are recoverable from activations and under what assumptions. Together, these motivate a diagnostic framework that helps practitioners select methods and evaluations matching claims to evidence such that findings generalise.
Figures & tables
| Method | Aim | What the Evidence Supports |
| Sparse autoencoders | L3 The learned features correspond to a unique set of concepts. Identifiability claim. | L1 A sparse basis that minimises reconstruction error on the training data. Describes a basis, without yet establishing uniqueness. |
| Auto-interpretability Explanations | L3 This feature corresponds to the underlying concept named by the description. Semantic assignment. | L1 The description predicts when the feature activates on held-out text. Distinguishes activating from non-activating contexts, without confirming the feature’s causal role. |
| Circuit discovery | L3 This circuit is a key mediator of the behaviour. Causal attribution. | L2 Ablating this circuit changes model behaviour on evaluated prompts. An intervention effect for the chosen ablation, not yet a unique localisation. |
| Inferential Gap | Implied Claim | Actual Scope |
| Existence Uniqueness | This is the circuit or factor causing a behaviour. | A circuit that produces output aligned with the behaviour has been found, but the solution is generically non-unique. Other circuits can implement equivalent input–output behaviour ( Wang et al., 2023 ; McGrath et al., 2023 ) . |
| Correlation Causation | Feature causally mediates behaviour related to concept . | Without targeted interventions (eg. interchange interventions Geiger et al. 2021 or causal scrubbing Chan et al. 2022 ), we can only determine that and are correlated, but the correlation may reflect confounding rather than a causal pathway. |
| Decodability Model Use | The model represents and computes with concept . | A probe can decode from , which does not imply the model’s computations depend on ( Belinkov, 2022 ; Elazar et al., 2021 ; Hewitt and Liang, 2019 ; Ravichander et al., 2021 ) . |
| Local Sensitivity Global Causal Role | The mechanism generalises beyond tested prompts. | Sensitivity to holds for specific inputs since local attributions can be input dependent and may not generalise to held-out distributions ( Adebayo et al., 2020 ; Bilodeau et al., 2024 ) . |
| Subspace Direction | Concept is encoded along a single direction in activation space. | A linear probe or PCA component recovers the single most predictive direction for , but it may be best represented through a subspace. Probes trained on different datasets may hence discover different directions depending on which component is most prevalent, each direction a valid but lossy projection of the same higher-dimensional representation ( Pan et al., 2025 ; Engels et al., 2025 ) . |
| Sufficiency Necessity | This component or mechanism is necessary for observed behaviour. | A pathway under specific interventions may be sufficient to produce the desired behaviour, but sufficiency does not entail necessity since alternative pathways for the same behaviour may exist. ( Wang et al., 2023 ; Heimersheim and Nanda, 2024 ) . |
Appendix figures & tables11 assets
Supplementary material from the paper’s appendix.
Appendix
| Intervenable object | Representative methods |
| Inputs | |
| prompts, context | Minimal pairs [ Marvin and Linzen, 2018 ] Prompt perturbations [ Ribeiro et al., 2020 ] Jailbreak suffixes [ Zou et al., 2023 ] Persona modulation [ Zheng et al., 2024 ] |
| Activations | |
| layer states | Activation patching [ Wang et al., 2023 ] Causal mediation analysis [ Vig et al., 2020 ] Ablations [ Ghorbani and Zou, 2020 ] |
| Representations | |
| learned features | SAE feature steering [ Templeton et al., 2024 ] Interchange interventions [ Geiger et al., 2022 ] |
| Rung of the Ladder | Query Distribution | Practical Query (with Examples) |
|---|---|---|
| 1: Association | Prediction: Given an input prompt , what output tokens are likely? (Standard next-token prediction, logit inspection) | |
| Encoding: Given an input , what internal representations or features are typically activated? (Activation logging, SAE feature attribution, probing) | ||
| Decoding: Given an observed internal trace , what outputs are likely? (Linear probes, sparse decoding, feature-to-token analyses) | ||
| 2: Intervention | Input intervention: If I change the prompt from to , how does the output change? (Minimal pairs, prompt perturbations, jailbreak tests) | |
| Activation intervention: If I overwrite or patch activations at layer , how does the output change? (Activation patching, causal tracing, ablations) | ||
| Representation intervention: If I manipulate a feature or direction in representation space, what behavior changes? (SAE feature steering/ablation, DAS interchange interventions) |
| Method family | Representative methods | Implicit estimand | Evidence type |
| Feature attribution saliency / scores | Saliency Grad Input Integrated Gradients SHAP LIME | Local input–output sensitivity (at a given input and parameterization); marginal contribution relative to an analyst-defined baseline or perturbation distribution | Gradients / synthetic perturbations |
| Diagnostics / probing readouts | Linear probes CAVs Logit lens | Existence of a decision function in a restricted probe class that predicts a concept from internal states; correlational alignment with external labels | Supervised labels / correlations |
| Causal / circuit-based interventions | Activation patching Causal tracing Circuit analysis | Interventional effect of manipulating internal states (e.g. replacing ) on downstream outputs | Controlled interventions |
| Structured decomposition basis learning | SAEs PCA Dictionary learning | Factors induced by an optimisation objective (e.g. reconstruction with sparsity or low-rank constraints) | Reconstruction objective |
| Theory-grounded identifiable structure | DAS SSAEs | Recovery up to an equivalence class under stated identifiability assumptions | Interventions / Sufficient variations / Inductive biases |
| Model (version) | Provider | Claims | Est. cost |
| Claude Opus 4.5 ( claude-opus-4-5 ) | Anthropic | 186 | $88 |
| Claude Sonnet 4 ( claude-sonnet-4-20250514 ) | Anthropic | 186 | $18 |
| GPT-5.2 ( gpt-5.2 ) | OpenAI | 186 | $14 |
| Gemini 3 Flash ( gemini-3-flash-preview ) | OpenRouter | 186 | $1 |
| Mistral Large ( mistral-large-2512 ) | OpenRouter | 186 | $11 |
| DeepSeek V3 ( deepseek-v3.2 ) | OpenRouter | 186 | $2 |
| Variable | Primary | 95% CI | Secondary | Unanimous | |
| method_rung | 186 | = 0.66 | [0.53, 0.77] | Light’s = 0.68 | 69.9% |
| claim_rung | 186 | = 0.56 | [0.48, 0.62] | Light’s = 0.52 | 34.4% |
| gap_score | 186 | = 0.56 | [0.50, 0.61] | Light’s = 0.56 | 41.4% |
| gap_binary | 186 | Fleiss’ = 0.55 | [0.49, 0.61] | = 0.55 | 47.8% |
| confidence | 186 | = 0.11 | [0.06, 0.16] | Light’s = 0.17 | 5.9% |
| Opus 4.5 | GPT-5.2 | DS-V3 | Gemini 3F | Mistral L | Qwen 3 | |
| GPT-5.2 | 0.79 | |||||
| DS-V3 | 0.73 | 0.66 | ||||
| Gemini 3F | 0.72 | 0.59 | 0.70 | |||
| Mistral L | 0.64 | 0.60 | 0.67 | 0.68 | ||
| Qwen 3 | 0.65 | 0.65 | 0.68 | 0.64 | 0.66 | |
| Sonnet 4 | 0.83 | 0.80 | 0.70 | 0.62 | 0.68 | 0.67 |
| Opus 4.5 | GPT-5.2 | DS-V3 | Gemini 3F | Mistral L | Qwen 3 | |
| GPT-5.2 | 0.52 | |||||
| DS-V3 | 0.59 | 0.48 | ||||
| Gemini 3F | 0.49 | 0.47 | 0.41 | |||
| Mistral L | 0.43 | 0.44 | 0.37 | 0.68 | ||
| Qwen 3 | 0.53 | 0.55 | 0.47 | 0.57 | 0.63 | |
| Sonnet 4 | 0.71 | 0.56 | 0.55 | 0.52 | 0.44 | 0.60 |
| Opus 4.5 | GPT-5.2 | DS-V3 | Gemini 3F | Mistral L | Qwen 3 | |
| GPT-5.2 | 0.61 | |||||
| DS-V3 | 0.57 | 0.53 | ||||
| Gemini 3F | 0.59 | 0.57 | 0.42 | |||
| Mistral L | 0.53 | 0.55 | 0.39 | 0.66 | ||
| Qwen 3 | 0.57 | 0.58 | 0.45 | 0.59 | 0.59 | |
| Sonnet 4 | 0.76 | 0.60 | 0.50 | 0.61 | 0.50 | 0.60 |
| Paper type | ||
| Applied/production | 26 | 0.58 |
| Circuit discovery | 59 | 0.55 |
| Evaluation/benchmark | 16 | 0.61 |
| Knowledge localization | 10 | 0.64 |
| Other | 75 | 0.52 |
| Model | OC % | |||||
| Opus 4.5 | 186 | 1.69 | 2.22 | 0.54 | 41.9% | 4.28 |
| GPT-5.2 | 186 | 1.62 | 2.12 | 0.63 | 50.5% | 4.19 |
| DS-R1 | 166 | 1.73 | 2.16 | 0.51 | 43.4% | 4.28 |
| DS-V3 | 186 | 1.75 | 2.17 | 0.42 | 34.4% | 4.09 |
| Gemini 3 Flash | 186 | 1.78 | 2.54 | 0.79 | 63.4% | 4.99 |
| Mistral Large | 186 | 1.77 | 2.56 | 0.82 | 65.6% | 4.55 |
| Primary (7) | +R1 (8) | |||
| Variable | ||||
| method_rung | 186 | 0.66 | 166 | 0.67 |
| claim_rung | 186 | 0.56 | 166 | 0.55 |
| gap_score | 186 | 0.56 | 166 | 0.54 |
| gap_binary | 186 | 0.55 | 166 | 0.55 |
| confidence | 186 | 0.11 | 166 | 0.13 |