REVIEW 2 major objections 5 minor 17 references
A meaningful fraction of individual weights in sparse transformers each admit one short, held-out description of when they matter, while dense models essentially do not.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-12 05:47 UTC pith:6I4SKNSA
load-bearing objection Clean weight-first pipeline with a real sparse–dense gap; the definition is narrow but the evidence inside it is careful and the ordering holds up. the 2 major comments →
Individual Parameters in Weight-Sparse Transformers Appear Interpretable
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Across two weight-sparse transformers and two dense controls, a substantial share of nonzero sparse-model weights receive a single short predicate that identifies when they matter and that generalizes on held-out text (robust rates about 15% and 10%), while dense models fall to roughly 1.5% and 0.4%. Interpretable mass concentrates among higher-impact weights, and the sparse–dense gap survives threshold, LLM, and candidate-budget sweeps. Case studies show these per-weight rules composing digit detectors, speech-verb roles, and string-closing context.
What carries the argument
The per-weight conditional-zero pipeline: ablate one weight, collect top-KL token contexts, have an LLM write candidate Python predicates f(tokens, pos) -> bool, then score recovery (fraction of the ablation effect restored when the weight is kept only where f fires) and inverse (the complement), with a coverage gate, retaining only predicates that still clear the bar on held-out slices.
Load-bearing premise
That a short Python test over nearby tokens which recovers most of a weight's ablation effect and generalizes on same-distribution held-out text is enough to call the weight interpretable, even though such tests cannot capture meaning or long-range state.
What would settle it
Re-run the same recovery/inverse pipeline on high-impact sparse weights with local-token predicates banned, or re-score the existing predicates on a clearly shifted distribution; if the sparse–dense gap collapses or high-impact sparse weights systematically fail, the claim that those weights are individually interpretable in this sense would not hold.
If this is right
- A large share of parameters in weight-sparse models admit individual explanations of when they are active, not only circuit-level accounts of named behaviors.
- Sparse training produces individually identifiable functional units at the weight level, not merely compact circuits.
- The fraction of robustly interpretable weights is a measurable quantity one can use to compare architectures or train against.
- Dense models' apparent per-weight interpretability largely fails held-out validation and is mostly a corpus artifact under this test.
Where Pith is reading between the lines
- If an interpretable parameter basis is later found for dense models, the same recovery/inverse scoring could transfer without re-deriving behavior-first circuit methods.
- Because the predicate language is limited to local token tests, the reported rates are lower bounds; richer predicates (parser state, probes) would likely raise the measured fraction.
- Per-weight editing for safety or capability steering may be more practical in sparse models precisely because many individual weights map to short, testable rules.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper asks whether individual nonzero weights in transformers can be given global, distribution-wide explanations of when they matter (i.e., the inputs on which ablating them changes next-token predictions). It introduces an automated pipeline that (i) profiles a weight by single-weight ablation and per-token KL, (ii) has an LLM propose short Python predicates over local token context for the top-90% cumulative-KL positions, and (iii) scores candidates by recovery and inverse under conditional-zero ablation with a coverage gate (c=0.5), taking best-of-N and requiring held-out generalization. On two weight-sparse models (Gao et al. 2025; Drori 2026 sparse) versus dense controls (Drori dense; Pythia-70m), robust held-out rates are ~15% and ~9.6% for the sparse models versus ≤1.5% for dense (Table 1; Figures 1, 5, 13). Case studies decompose neurons into per-weight digit-count, quote-context, and speech-verb sub-roles. The authors carefully scope the claim to this operational definition and note that the predicate language cannot express semantic or long-range state features.
Significance. If the result holds under the stated definition, it is a useful empirical contribution to mechanistic interpretability: it shows that weight sparsity produces a non-trivial population of individually identifiable parameters, not only compact circuits, and supplies a scalable, falsifiable scoring procedure (recovery/inverse + coverage + multi-slice held-out robust rate) that can be used to compare architectures or train against. Strengths include clear causal metrics (ΔCE, KL), dual recovery/inverse checks that rule out trivial always-true predicates, K=10 held-out resampling that separates reliability from noise, and sensitivity sweeps over T, N, and four auto-interp LLMs that preserve the sparse>dense ordering. The work is complementary to circuit-finding and parameter-decomposition lines and is a natural testbed for sparse-trained models. The main limitation is definitional scope rather than internal inconsistency: local token predicates are an incomplete account of what a weight computes, which the authors acknowledge.
major comments (2)
- Limitations and §3.2–3.3 / Algorithm 1: the operational definition of interpretability (short Python predicates over local token context, recovery/inverse with coverage gate, same-distribution held-out robust rate) is load-bearing for the abstract claim that 12–31% of weights 'have a single short description that identifies what the weight is used for.' The authors correctly note that this language cannot express semantic features or long-range state, so the reported rates are lower bounds and incomplete relative to full mechanistic understanding. This does not reverse the sparse>dense ordering, but the abstract and conclusion should state more explicitly that the claim is scoped to when-the-weight-matters under this restricted language, not to a complete account of what the weight computes, so readers do not over-read the percentages.
- §3.4 and Appendix A.1 / Table 2: evaluation corpora are proxies (CodeParrot for Gao; SimpleStories for Drori; The Pile stream for Pythia). In- vs out-of-distribution CE gaps support reasonableness, but the paper does not quantify how much of the sparse–dense gap survives modest distribution shift of the held-out slices themselves. A short additional check (e.g., re-scoring a subset of predicates on a mildly shifted corpus) would strengthen the claim that scores are properties of the weight rather than of the particular corpus slice, which is central to §4.2.
minor comments (5)
- Abstract vs Table 1: the abstract's '12 to 31%' range sits above the robust rates (15.0% and 9.6%) and closer to Interp A/B; clarify which quantity is being quoted so the headline number matches the strictest held-out metric used in the body.
- Figure 1 and §4.1: the lowest |ΔCE| bin is correctly flagged as near the noise floor; consider stating the numerical noise floor of the CE measurement more explicitly so readers can judge the high-impact bin cutoffs.
- §3.3 Eqs. (1)–(3): recovery >1 on tiny-ΔCE weights is noted and asterisked; a one-sentence policy on whether such weights are excluded from the robust rate (or only flagged) would help reproducibility.
- Appendix A.5 / Figure 16: absolute rates differ by up to ~30 pp across LLMs; a brief note on which LLM is used for the main tables (Gemini 3 Flash) and that ordering is invariant is already present but could be cross-referenced from the main results section.
- Typographical / presentation: arXiv id and some figure captions are dense; ensure Algorithm 1's default T=0.75, c=0.5, N=100 are stated once in the main text near the first use of 'interpretable at threshold T'.
Circularity Check
No significant circularity: interpretability rates are measured by independent held-out conditional ablations, not forced by construction or self-citation.
full rationale
The paper's central claim is an empirical measurement under an explicitly operational definition: a weight is interpretable if an LLM-generated Python predicate over local token context achieves recovery ≥ T and inverse ≤ 1−T with coverage ≤ 0.5, and that same predicate continues to clear the bar on K=10 disjoint held-out slices never seen by the generator (Algorithm 1; §3.3–3.5; Table 1; Figure 5). Recovery and inverse are defined from independent conditional-zero ablations (CEf, CE¬f vs CE0, CE∅), not from the generation prompt or from any fitted parameter that is later re-labeled a prediction. The coverage gate explicitly rules out the trivial always-true predicate that would recover by construction. Self-citations to Gao et al. (2025) and Drori (2026) supply the sparse models under study and prior circuit-level observations; they are not used as uniqueness theorems or as load-bearing premises that force the per-weight rates. Dense controls (Drori dense, Pythia-70m) and multi-LLM / multi-N ablations provide external contrast. Limitations correctly note that the predicate language cannot express semantic or long-range state features, so the rates are a lower bound under a restricted language—this is definitional scope, not circularity. No equation reduces to its inputs by construction; no fitted quantity is renamed a prediction; no uniqueness is imported from overlapping authors. Score 0 is the honest finding.
Axiom & Free-Parameter Ledger
free parameters (5)
- interpretability threshold T =
0.75
- coverage cap c =
0.5
- candidate budget N =
100
- context window =
±8
- top-90% cumulative KL cutoff =
0.9
axioms (4)
- domain assumption Per-position KL / ΔCE after single-weight ablation correctly identifies the inputs on which the weight matters.
- ad hoc to paper A short Python predicate over local token context that recovers ablation effect and generalizes on same-distribution held-out text constitutes an interpretation of the weight.
- domain assumption CodeParrot / SimpleStories / The Pile are sufficiently close to each model’s training distribution for evaluation.
- domain assumption LLM-generated predicates can be treated as candidate human-readable descriptions without manual editing.
invented entities (2)
-
recovery / inverse / interpretability score
no independent evidence
-
robust rate (K=10 held-out average clearing bar and null cone)
no independent evidence
read the original abstract
A central goal of mechanistic interpretability is to understand how neural networks work and what each individual component does. Dominant circuit-finding approaches focus on a specific behavior and reverse-engineer the role of components on the associated sub-distribution. However, past work has shown that components can have different functions that are active on different subsets of the input distribution. In this work we ask whether a single weight can be understood globally across the full training distribution by characterizing when it matters (the inputs on which ablating it changes the model's predictions). We introduce an automated LLM pipeline that writes a short, human-readable description of when a weight matters and verifies it on held-out text, crediting a weight only if its description generalizes. Across two sparse and two dense transformers, the fraction of weights that are interpretable (in this sense) is higher in sparse transformers than in dense ones, a gap that widens once unreliable descriptions are discarded. Our results show that a meaningful fraction of a sparse transformer model's weights can be interpreted: 12 to 31% of weights have a single short description that identifies what the weight is used for.
Figures
Reference graph
Works this paper leans on
-
[1]
Braun, D., Bushnaq, L., Heimersheim, S., Mendel, J., and Sharkey, L. Interpretability in parameter space: Minimizing mechanistic description length with attribution-based parameter decomposition.arXiv preprint arXiv:2501.14926,
-
[2]
Bushnaq, L., Braun, D., and Sharkey, L
https://transformer- circuits.pub/2023/monosemantic-features/index.html. Bushnaq, L., Braun, D., and Sharkey, L. Stochastic param- eter decomposition.arXiv preprint arXiv:2506.20790,
Pith/arXiv arXiv 2023
-
[3]
Chrisman, B., Bushnaq, L., and Sharkey, L. Identifying sparsely active circuits through local loss landscape de- composition.arXiv preprint arXiv:2504.00194,
-
[4]
https://transformer- circuits.pub/2021/framework/index.html. Elhage, N., Hume, T., Olsson, C., Nanda, N., Henighan, T., Johnston, S., ElShowk, S., Joseph, N., DasSarma, N., Mann, B., Hernandez, D., Askell, A., Ndousse, K., Jones, A., Drain, D., Chen, A., Bai, Y ., Ganguli, D., Lovitt, L., Hatfield-Dodds, Z., Kernion, J., Conerly, T., Kravec, S., Fort, S.,...
Pith/arXiv arXiv 2021
-
[5]
Frankle, J. and Carbin, M. The lottery ticket hypothesis: Finding sparse, trainable neural networks.arXiv preprint arXiv:1803.03635,
-
[6]
The pile: An 800gb dataset of diverse text for language modeling.arXiv preprint arXiv:2101.00027,
Gao, L., Biderman, S., Black, S., Golding, L., Hoppe, T., Foster, C., Phang, J., He, H., Thite, A., Nabeshima, N., et al. The pile: An 800gb dataset of diverse text for language modeling.arXiv preprint arXiv:2101.00027,
-
[7]
V ., Baker, B., and Mossing, D
Gao, L., Rajaram, A., Coxon, J., Govande, S. V ., Baker, B., and Mossing, D. Weight-sparse transformers have interpretable circuits.arXiv preprint arXiv:2511.13653,
-
[8]
Finding neurons in a haystack: Case studies with sparse probing.arXiv preprint arXiv:2305.01610,
Gurnee, W., Nanda, N., Pauly, M., Harvey, K., Troit- skii, D., and Bertsimas, D. Finding neurons in a haystack: Case studies with sparse probing.arXiv preprint arXiv:2305.01610,
-
[9]
URL https://transformer-circuits.pub/2025/interfe rence-weights/index.html. Informal note. Olsson, C., Elhage, N., Nanda, N., Joseph, N., DasSarma, N., Henighan, T., Mann, B., Askell, A., Bai, Y ., Chen, A., et al. In-context learning and induction heads.arXiv preprint arXiv:2209.11895,
Pith/arXiv arXiv 2025
-
[10]
Orgad, H., Wei, B., Zheng, K., Wattenberg, M., Henderson, P., Goldfarb-Tarrant, S., and Belinkov, Y . Large language models generate harmful content using a distinct, unified mechanism.arXiv preprint arXiv:2604.09544,
-
[11]
T., Dooms, T., Rigg, A., Oramas, J
9 Individual Parameters in Weight-Sparse Transformers Appear Interpretable Pearce, M. T., Dooms, T., Rigg, A., Oramas, J. M., and Sharkey, L. Bilinear mlps enable weight-based mecha- nistic interpretability.arXiv preprint arXiv:2410.08417,
-
[12]
Wang, K., Variengien, A., Conmy, A., Shlegeris, B., and Steinhardt, J. Interpretability in the wild: a circuit for indirect object identification in gpt-2 small.arXiv preprint arXiv:2211.00593,
-
[13]
Yu, M., Wang, D., Shan, Q., Reed, C. J., and Wan, A. The super weight in large language models.arXiv preprint arXiv:2411.07191,
-
[14]
(2025) model, which is not publicly released, and stream The Pile (Gao et al.,
as a proxy for the original Python pretraining data of the Gao et al. (2025) model, which is not publicly released, and stream The Pile (Gao et al.,
2025
-
[15]
For the Drori (2026) sparse and dense models we use SimpleStories (Drori, 2026), which is the actual training corpus
for Pythia-70m, which matches the pretraining distribution but not the exact training sequences. For the Drori (2026) sparse and dense models we use SimpleStories (Drori, 2026), which is the actual training corpus. To verify that our chosen corpora are reasonable approximations of each model’s training distribution, we compare the cross-entropy loss of ea...
2026
-
[16]
not interpretable,
shows interpretability rates rising monotonically with N and saturating before N= 150 for the sparse models. We use N= 100 as the default because the marginal gain per additional candidate flattens past that point and per-weight LLM cost scales linearly. The cross-model ordering is preserved at everyN, so the result is not an artifact of the budget we cho...
2025
-
[17]
speech-verb detector
• Mental-verb suppressors(negative weights): three channels whose predicates fire onthought, believed, under- stood, thanks. These actively pull the neuron down on a near-neighbour class of verbs that would otherwise share representational support with speech verbs. •Modal-verb suppressor: one channel firing onwould,could. • Punctuation gates: seven chann...
2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.