REVIEW 4 major objections 7 minor 5 cited by
Late-stage sparsification can cut transformer attention to roughly 0.4 percent of its edges while keeping pretraining loss, and the surviving circuits are far smaller.
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 · deepseek-v4-flash
2026-08-03 18:16 UTC pith:6R2HPQEL
load-bearing objection A useful, well-engineered extension of SPARTAN to post-training, but the redundancy claim outruns the evidence; merits review with revisions. the 4 major comments →
Intrinsically Interpretable Attention via Sparse Post-Training
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper claims that a post-training procedure—sparsity regularisation on attention under a constrained cross-entropy objective—can retain the original pretraining loss while reducing attention connectivity to roughly 0.4 percent of its edges in a 7-billion-parameter model. This is not presented as a computational-efficiency trick but as a structural prior: the sparse model reorganises its computation so that task-specific circuits are dramatically smaller, with up to 100 times fewer edges and up to four times fewer attention heads in activation-patching experiments. In feature-level attribution graphs, the sparse model reaches 90 percent cumulative attribution with about 16 times fewer key
What carries the argument
The central device is a sparse attention layer with a hard binary gate for every token pair: each gate is sampled from a Bernoulli distribution whose logit is the query-key dot product, and the sampled mask zeros out the corresponding value contribution. The expected number of active edges under this distribution acts as an L0-style penalty, and a Lagrangian multiplier adjusts the penalty strength so the model's cross-entropy stays pinned near the pretrained level. Because the masked computation has the same functional form as standard attention, pretrained weights load directly, and only the gating behaviour is retrained.
Load-bearing premise
The load-bearing premise is that the number of active attention edges—the very quantity the regularisation minimises—is a valid measure of circuit complexity and interpretability; if pruning edges merely shifts computation into other pathways, the reported simplification would be an artifact of the measurement.
What would settle it
Apply the same post-training procedure, then evaluate on a benchmark family entirely absent from the sparsity-training data and compute the same circuit-size metrics: if the sparse model's loss degrades or its circuits are not smaller on those tasks, the claim that sparsity preserves capability and simplifies structure would be undermined. A sharper check compares the learned sparse masks against randomly pruned masks at the same density; if random pruning explains the same fraction of behavior, the learned sparsity is not doing structural work.
If this is right
- Sparse post-training works on existing pretrained models, so interpretability-oriented sparsity does not require re-running large-scale pretraining.
- Circuit discovery becomes dramatically cheaper: explaining 90 percent of a behavior needs orders of magnitude fewer heads and edges.
- Attribution-graph computation can drop from hours to minutes, because inactive key-query pairs are known to have exactly zero attribution and can be skipped.
- Preserved benchmark performance suggests that the removed attention edges are not needed for the tested behaviors, pointing toward leaner, selectively routing architectures.
- Feature-based and circuit-based interpretability can be connected when each attribution edge is mediated by a handful of components rather than dozens.
Where Pith is reading between the lines
- Because the training loss directly minimises the number of active attention edges, the circuit-size reductions are partly a restatement of the objective; a stronger test would measure complexity in a quantity the loss does not touch, such as causal path depth or feature overlap.
- The sparsity may be task-specific: a natural experiment is to evaluate the sparse model on held-out task families absent from the sparsity-training distribution and ask whether edge counts and circuit sizes remain small there.
- The same constrained-sparsity pipeline could extend to other transformer pathways—MLP activations, embeddings, or mixture-of-experts routing—to produce fully sparse computational graphs, which the paper lists as future work.
- The case study suggests a cheap interpretability heuristic: for some behaviors, ranking attention heads by edge count and attribution mass may identify the relevant circuit without exhaustive search.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a post-training procedure, based on the SPARTAN sparse-transformer framework, that replaces softmax attention with hard-gated attention and optimizes a Lagrangian objective to minimize expected attention edges subject to a cross-entropy constraint. The method is applied to GPT-2 (124M) and OLMo-7B, resulting in 0.22% and 0.44% active attention edges respectively while validation cross-entropy stays close to the base models, and four multiple-choice benchmarks for OLMo are roughly unchanged. Using activation patching and cross-layer transcoders, the authors report that task-specific circuits and attribution graphs in the sparse models require substantially fewer attention heads and edges than in the base models, and they interpret this as evidence that much transformer computation is redundant and that sparsity can serve as a structural prior for interpretability.
Significance. If the central claim is correct, the paper is valuable: it offers a simple, post-hoc way to transform dense attention into sparse, more interpretable connectivity while apparently preserving pretraining loss, with potential benefits for mechanistic interpretability and possibly downstream applications. The constrained-optimization design is principled; the comparisons use a direct base-vs-sparse setup; and experiments span two model families, including a 7B model, plus several circuit-discovery tasks and a cross-layer-transcoder analysis. The promise to release code and weights is also a strength. However, the headline interpretability result is entangled with the training objective: the number of active attention edges is exactly the quantity minimized by the regularizer, so reporting fewer edges in "simpler circuits" is partly a restatement of the optimization goal. Performance preservation is also verified on a narrow set of evaluations. These issues are load-bearing for the paper's central claim and need to be addressed before the broad redundancy conclusion is warranted.
major comments (4)
- [§3.2, Eq. (4); §4.2, Figs. 4–5] The main circuit-size metric—number of active attention edges needed to explain 90% of behavior—is the same quantity minimized by the sparsity regularizer. Reporting that sparse models have 5.4x–97x fewer patching edges is therefore partly a restatement of the training objective, not an independent discovery about model structure. To support the redundancy claim, the authors should either (i) test whether all pruned edges are causally irrelevant for a broad battery of behaviors, or (ii) report circuit-size reductions in a metric not directly minimized (e.g., number of MLPs, or circuit size after normalizing by edge budget). Without such a control, "sparsity facilitates interpretability" remains substantially circular.
- [§4.1, Table 1; Fig. 2] Performance preservation is verified only by next-token cross-entropy on the pretraining distribution for both models and by four multiple-choice benchmarks for OLMo-7B; the sparse GPT-2 model has no downstream evaluation. Cross-entropy is an aggregate measure: two models with equal CE can differ on rare, long-range, or compositional behaviors. The paper's own Limitations section acknowledges that tasks requiring dense or long-range attention were not explored. At minimum, the authors should add a broader capability evaluation (e.g., long-context tasks, factuality, instruction following) or substantially soften the abstract's claim that "much of its computation is redundant."
- [§4.2; Appendix D] The authors state that they evaluate two freezing strategies and "report the results for the patching strategy that yields the smallest circuits." Choosing the favorable variant post hoc is not a controlled comparison. Moreover, the global-ranking results in Appendix D show that the Greater Than head-count reduction reverses (0.6x), indicating sensitivity to the scoring/aggregation procedure. The paper should report both variants transparently and reconcile or contextualize the discrepancy, rather than selecting the variant that maximizes the stated improvement.
- [§3.3; Appendix C] The optimization objective in Eq. (4) does not include the KL distillation loss mentioned in §3.3, and no strength or scheduling for this auxiliary loss is reported. Since the main experiments use distillation for training stability, it is unclear whether the reported sparsity/CE trade-off is produced by the constrained objective alone or by a combination of objectives. Please specify the distillation loss coefficient and whether it was held fixed across models.
minor comments (7)
- [Abstract; Table 1] The abstract claims attention connectivity is reduced to "≈0.4%", while Table 1 reports 0.44% for OLMo and 0.22% for GPT-2. Please report exact values and, if possible, variability across runs or sequences.
- [Figure 1 caption] Typo: "inducesparse" should be "induce sparse".
- [Appendix C.1] Grammar: "All training are performed" should be "All training was performed".
- [§3.1, footnote 1] The footnote says adding a positive bias to ensure all gates are open at initialization was "experimentally unnecessary" but no supporting experiment is shown. Either provide the experiment or state this as an empirical observation without asserting it generally.
- [§4.3 vs Appendix G] Equation (6) in the main text and Eq. (11) in Appendix G define the attribution score differently (the appendix includes a sum over layers). Please reconcile the notation so the main-text definition is consistent with the implementation.
- [References] The sentence "The first two authors contributed equally and are listed alphabetically" appears in the middle of the reference list, after the Hanna et al. entry. This is a formatting error.
- [Figure 7] Minor wording issue: "the final next-token logit corresponding tosmall" is missing a space before "small".
Circularity Check
Edge-count circuit reductions are the optimized quantity; head-count and benchmark results provide independent content.
specific steps
-
fitted input called prediction
[Section 3.2 (Eq. 4), Section 4.1 (Table 1), Section 4.2 (Figs. 4–5)]
"min_θ Σ_l E[|A_l|] s.t. CE≤τ ... we find that the sparsified GPT-2 model activates, on average, only 0.22% of its attention edges, while the sparsified OLMo model activates 0.44% ... Sparse models yields 5.4× to 97× smaller circuits."
The optimization objective explicitly minimizes the expected number of active attention edges. The reported 0.22%/0.44% active-edge fractions are therefore the optimized quantity, not a discovered property of the model. In the activation-patching experiment, the sparse model's candidate edge set is only about 0.22–0.44% the size of the dense model's, so the maximum possible number of edges in any 90%-explaining circuit is already ~100–450x smaller. The observed 5.4x–97x edge reductions are thus bounded by the training objective and would appear even with no meaningful circuit structure; they are a restatement of the fitted sparsity rather than an independent measurement of simplification.
-
fitted input called prediction
[Section 4.3, Figure 6]
"because inactive key–query pairs are known a priori to have exactly zero attribution score, attribution need only be computed for a small subset of components ... to reach a cumulative attribution threshold of 90%, the sparse model on average requires 16.1× fewer key–query pairs ... when compared to the dense GPT-2 model."
The paper itself states that inactive key–query pairs have exactly zero attribution score by construction. Since the training objective zeros out all but ~0.22% of these pairs, the 16.1x reduction in key–query pairs needed to reach 90% cumulative attribution is a direct consequence of the sparsity objective and cannot fail to occur. This 'simplification' of mediation circuits is therefore not an independent discovery about the model's structure. The accompanying 3.4x head-count reduction is less directly forced, but the edge-level result is tautological.
full rationale
The paper has a genuine non-circular core: performance retention is tested against the original pretraining cross-entropy and external benchmarks (Figure 2), and the head-count reductions (1.4x–4.5x) plus the cleaner induction-head patterns are not directly equal to the optimized edge objective. However, the headline 'circuit simplification' results measured in attention edges—both the activation-patching circuits (5.4x–97x) and the attribution-graph mediation circuits (16.1x)—are essentially the objective function itself: the training loss directly minimizes the number of active edges, and any method that achieves 0.22–0.44% active edges mechanically caps the edge count of any discovered circuit at that fraction of the dense model's edges. Thus the central interpretability claim as stated in the abstract ('task-specific circuits involve far fewer components... with up to 100x fewer edges') is partly a restatement of the fitted sparsity rather than an independent discovery of redundancy. The self-citations to Lei et al. (2025) for the SPARTAN architecture and GECO are real, externally published methods and do not by themselves constitute circularity; they are not invoked as uniqueness theorems or as the sole evidence for the central claim. The Limitations section also concedes that tasks requiring dense or long-range attention were not explored, which further weakens the generalization from 'edges can be removed' to 'much of its computation is redundant.' Overall, the paper is not wholly circular because the head-count results and benchmark evaluations provide independent content, but the edge-count predictions reduce by construction, warranting a score of 6.
Axiom & Free-Parameter Ledger
free parameters (3)
- Target cross-entropy tau =
GPT-2: 3.50; OLMo-7B: 2.29
- LoRA rank (OLMo) =
r=400, alpha=800
- GECO dual learning rate =
0.01 (OLMo), 0.1 (GPT-2)
axioms (4)
- domain assumption There exists a sparse attention mask close to the pretrained model that approximately preserves the pretraining distribution (cross-entropy).
- domain assumption Activation patching with top-k importance scores yields a faithful measure of circuit complexity.
- domain assumption Cross-layer transcoders with replacement score >0.8 provide faithful attribution graphs.
- standard math The GECO constrained optimisation converges to a feasible solution where the constraint is active.
read the original abstract
We introduce a simple post-training method that makes transformer attention sparse without sacrificing performance. Applying a flexible sparsity regularisation under a constrained-loss objective, we show on models up to 7B parameters that it is possible to retain the original pretraining loss while reducing attention connectivity to $\approx 0.4 \%$ of its edges. Unlike sparse-attention methods designed for computational efficiency, our approach leverages sparsity as a structural prior: it preserves capability while exposing a more organized and interpretable connectivity pattern. We find that this local sparsity cascades into global circuit simplification: task-specific circuits involve far fewer components (attention heads and MLPs) with up to 100x fewer edges connecting them. Additionally, using cross-layer transcoders, we show that sparse attention substantially simplifies attention attribution, enabling a unified view of feature-based and circuit-based perspectives. These results demonstrate that transformer attention can be made orders of magnitude sparser, suggesting that much of its computation is redundant and that sparsity may serve as a guiding principle for more structured and interpretable models.
Figures
Forward citations
Cited by 5 Pith papers
-
ACRL: Adaptive Control of Training-Inference Discrepancy for Stable Reinforcement Learning
ACRL stabilizes FP8-quantized LLM reinforcement learning by adaptively scaling token-level importance ratios with the measured training-inference discrepancy.
-
Circuit Claims Depend on What Is Extracted and How It Is Compared
On a synthetic Lean tactic-prediction task, exact circuit edge lists barely overlap across dense and sparse checkpoints while attention-head sets and size rankings do, so a circuit claim is well defined only once grap...
-
From Observation to Insight: Mechanistic World Models and the Quest for Autonomous Discovery
Mechanistic World Models reframe AI scientific discovery as knowledge organisation around reusable explanatory mechanisms rather than predictive input–output mappings.
-
From Observation to Insight: Mechanistic World Models and the Quest for Autonomous Discovery
The paper proposes Mechanistic World Models — models organized as typed latent variables, a reusable mechanism library, and binding structures — as the route from AI forecasting to autonomous discovery.
-
CLT-Forge: A Scalable Library for Cross-Layer Transcoders and Attribution Graphs
CLT-Forge packages feature-sharded CLT training, compressed activation caching, automated interpretability, Circuit-Tracer attribution graphs, and a Dash visualizer into a single open-source library.
Reference graph
Works this paper leans on
-
[2]
Gupta, A., Dar, G., Goodman, S., Ciprut, D., and Berant, J
URL https://openreview.net/forum? id=5h0qf7IBZZ. Gupta, A., Dar, G., Goodman, S., Ciprut, D., and Berant, J. Memory-efficient transformers via top-k attention.arXiv preprint arXiv:2106.06899, 2021. Hanna, M., Piotrowski, M., Lindsey, J., and Ameisen, E. circuit-tracer. https://github.com/ safety-research/circuit-tracer, 2025. The first two authors contrib...
Pith/arXiv arXiv 2021
-
[2024]
Gokaslan, A
URL https://cdn.openai.com/pdf/ 41df8f28-d4ef-43e9-aed2-823f9393e470/ circuit-sparsity-paper.pdf. Gokaslan, A. and Cohen, V . Openwebtext cor- pus. http://Skylion007.github.io/ OpenWebTextCorpus, 2019. Groeneveld, D., Beltagy, I., Walsh, P., Bhagia, A., Kinney, R., Tafjord, O., Jha, A. H., Ivison, H., Magnusson, I., Wang, Y ., Arora, S., Atkinson, D., Aut...
2019
-
[2025]
URL https://transformer-circuits. pub/2025/attention-qk/index.html. Lei, A., Sch ¨olkopf, B., and Posner, I. SPARTAN: A sparse transformer world model attending to what mat- ters. InThe Thirty-ninth Annual Conference on Neural Information Processing Systems, 2025. URL https: //openreview.net/forum?id=uS5ch7GjZ4. Lindsey, J., Ameisen, E., Nanda, N., Shabal...
Pith/arXiv arXiv 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.