REVIEW 3 major objections 6 minor 1 cited by
Incorporating Hierarchical Semantics in Sparse Autoencoder Architectures
T0 review · 3 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A sparse autoencoder with an explicit two-level semantic hierarchy improves reconstruction and interpretability on LLM activations while cutting compute.
desk verdict A clever hierarchical SAE architecture whose headline reconstruction gains are not yet separated from raw capacity—needs matched-capacity baselines before the hierarchy claim lands. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the two-level mixture-of-experts decomposition defined in Eq. (3.1): a standard top-level SAE chooses a sparse set of parent features, and each parent owns a down-projector $\Pi^{\text{down}}_j$ into a subspace of dimension $s$, a low-level SAE $SAE^j_1$ with TopK1 (only the largest sublatent is kept), and an up-projector $\Pi^{\text{up}}_j$ back to the full space. The mechanism enforces hierarchy by routing: a sublatent can only activate when its parent is in the top-$k$, matching the prior geometric result that 'corgi' is 'dog' plus 'corgi in the context of dog'. Because only $k$ experts are activated, the forward cost is dominated by the top-level encoder term $O(m_{\text{top}}d)$ instead of scaling with the full effective dictionary of $m_{\text{top}}\times m_{\text{low}}$ atoms, which is the source of the computational efficiency gain.
What would settle it
Take a residual-stream position where two known child concepts of one expert should both be strongly active (for example a token that is simultaneously about 'divorce' and 'engagement' under a 'marriage' expert) and compare H-SAE reconstruction error against a variant that keeps the top two sublatents per expert; if the top-1 model loses one child or its error spikes while the top-2 model does not, the single-vertex assumption is the cause.
Extended reading notes
Core claim
The central discovery is that an SAE whose architecture explicitly mirrors hierarchical concept geometry can learn that hierarchy and outperform a flat SAE of comparable effective size. On a given input, the model selects the $k$ strongest top-level features, reconstructs their contribution $Dz$, and for each selected expert projects the input into a low-dimensional subspace, runs a one-sublatent SAE, and adds the projected child reconstruction back: $H\text{-SAE}(x)=\sum_{j\in\text{TopK}_k(z)}(z_j d_j+\Pi^{\text{up}}_j SAE^j_1(\Pi^{\text{down}}_j x))$. This decomposition implements the paper's premise that a child concept is represented as the parent concept plus the child in the context of the parent. Experimentally, the H-SAE with 64 sublatents per expert is on par with a standard SAE with 32,000 top-level features while costing about a quarter of the compute, and it shows less feature absorption and more language-shared features than the baseline. Interpretability checks show coherent parents such as 'airports' with children 'US airport', the token 'airport', and 'airport size', and the authors conclude that hierarchy is learned rather than imposed.
Load-bearing premise
The architecture assumes a subordinate concept lives at exactly one vertex of its parent's polytope, so each active expert keeps only one sublatent; if one input needs several children of the same parent at once, the model has no way to express it.
Editorial extensions
If this is right
- A 64-sublatent H-SAE matches a 32,000-feature standard SAE on reconstruction at about one quarter of the compute, so hierarchy buys fidelity and scale at the same time.
- The reconstruction gain appears across all tested model sizes: H-SAE beats the standard SAE on one minus explained variance and one minus CE loss at 8k, 16k, and 32k top-level latents.
- H-SAE features show less absorption on the first-letter probe and lower cross-lingual set differences, indicating that the learned atoms stay less redundant and more composable.
- Because only active experts are used in each forward and backward pass, per-batch memory and compute scale with activated parameters rather than total parameters.
- Visualized experts are semantically organized, such as a 'marriage' parent with 'divorce', 'engagement', and 'marriage' sublatents, so the hierarchy provides a readable map of concept relationships.
Reading between the lines
- The paper's TopK1-per-expert choice means an input needing two sibling sublatents at once cannot be represented; testing a TopK_r variant with $r>1$ would directly reveal whether this restriction is a hidden capacity limit.
- The unembedding ablations show that whitening is necessary for meaningful features; applying the same causal-inner-product whitening to residual streams, which the paper does not do, is a natural way to test whether the reported gains grow further.
- If the learned parent-child structure is causal, parent-level interventions should affect all children while child-level interventions stay local; the paper does not run such intervention tests, but they would be a sharp validation of the hierarchy.
- Since the forward cost is dominated by the top-level encoder, a three-level version of the architecture should be nearly as cheap as the two-level version; that extension is implied by the design but not explored.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a hierarchical sparse autoencoder (H-SAE) in which a top-level SAE routes inputs to expert-specific low-level SAEs, aiming to explicitly represent the hierarchical structure of concepts. The authors apply the architecture to Gemma 2-2B residual streams and report that it improves reconstruction (explained variance and downstream CE loss) and interpretability (feature absorption and cross-lingual redundancy) relative to a standard TopK SAE, while also providing computational efficiency gains. The paper includes qualitative visualizations of learned hierarchies, ablations on unembedding data, and public code. The central claim is that modeling hierarchy itself improves the reconstruction-interpretability frontier, but the main experimental comparison is confounded by differences in total dictionary capacity.
Significance. If the hierarchy-specific benefits were established, the H-SAE would be a meaningful contribution to SAE interpretability and scalability, providing an architecture that jointly captures coarse and fine concepts and reduces compute. The paper ships code and includes some ablations, which is a strength. However, the current evidence does not separate the effect of hierarchy from the effect of a much larger effective dictionary realized through cheap routing, so the significance of the empirical contribution is presently conditional on additional controlled comparisons.
major comments (3)
- [§4, Figure 3] The reconstruction comparison in Figure 3 is not capacity-matched. The H-SAE with 64 sublatents per expert at 16k top-level latents has 16k + 16k×64 = 1,040,000 total decoder atoms, while the standard SAE baseline at 16k has only 16,000 atoms; the x-axis labels both as '16k' because it counts only top-level latents. No flat SAE with m = mtop×mlow features, no Switch SAE [Mud+24] with matched expert/sublatent counts, and no matched-FLOP baseline is reported, so the observed reconstruction gains cannot be attributed to the hierarchical structure rather than to the 16–65× larger effective dictionary. This confound is load-bearing for the paper's central claim that hierarchy itself improves reconstruction.
- [§3.1, §4] The computational-efficiency claim is expressed relative to a baseline with only mtop features. The cost formula in Section 3.1 is dominated by O(mtop d), but the H-SAE actually has mtop × mlow atoms; the sentence in Section 4 that an H-SAE with 64 sublatents is 'on par with the standard SAE with 32 top-level features, despite having 1/4 the compute cost' compares an architecture with roughly 32×64 = 2048 effective atoms against one with 32. A matched-capacity flat SAE or a Switch SAE with the same total number of atoms/FLOPs would be required to substantiate the efficiency benefit, and Appendix A.3 also states that no detailed wall-time analysis was conducted.
- [§3.1, Eq. (3.1)] The low-level SAE uses TopK1 per expert (Eq. 3.1 and Algorithm 1), so an input that genuinely requires two or more children of the same parent cannot be represented. This is a strong inductive bias justified only by the geometry claim that a subordinate concept is a single vertex of the parent polytope. The paper provides no ablation with larger per-expert k (e.g., TopK2 or TopK4) and no quantitative test of whether such inputs occur in the residual stream distribution. This limits the expressivity of the architecture and should be tested before the hierarchy claim can be taken as general.
minor comments (6)
- [All figures] Figure 3 has no error bars or multiple seeds; all comparisons appear to be single runs, which makes it impossible to assess the variability of the reported gains.
- [Figure 5] The cross-lingual set-difference results in Figure 5b are reported as point estimates without variance or significance testing; the differences (e.g., 8.448 vs 9.772) may not be meaningful without such information.
- [Figure 5a] The metric 'Mean Absorption Fraction Score' is not formally defined in the text; please provide a precise definition or a reference for its computation.
- [Appendix B] The ablations of the orthogonality and L1 losses are performed on the unembedding matrix and are qualitative; the authors explicitly state that the losses do not seem necessary for hierarchy, yet they are retained in the main experiments. Please clarify whether the main results depend on these losses or reconcile the ablation with the final model choice.
- [Figure 3, general] The x-axis label 'Model Size (Thousands of Top-Level Latents)' is misleading because it conflates the standard SAE's full dictionary with the H-SAE's top-level only; consider reporting total dictionary size or relabeling the axis.
- [Throughout] There are several typos: 'auxillary' in Appendix A.3, 'Wheras' in the Figure 4 caption, and 'shitzu' in the Introduction (likely 'shih tzu').
Circularity Check
Hierarchical activation is imposed by the architecture, and the key geometric motivation is carried by self-citations; the empirical reconstruction and cross-lingual results remain substantive, though partly confounded by unmatched dictionary size.
-
self definitional
[Section 3.1, Algorithm 1 and Eq. (3.1); claim in Section 4.3]
"for j∈K do ▷ Only process activated experts ... zj← LeakyReLUα(Ejxsub_j )"
Under Eq. (3.1) and Algorithm 1, a low-level sublatent is computed only after its expert j has already been selected by the high-level TopK operation, so sublatent activation is definitionally conditional on parent-expert activation. The paper's Section 4.3 conclusion that 'hierarchical semantics are clearly emerging'—with low-level features active only when the high-level topic is relevant—is therefore not an independent discovery of a two-level activation hierarchy: that nesting is built into the forward pass by construction. What is genuinely learned is the semantic content and grouping of the sublatents within each expert, not the parent-child gating itself.
-
self citation load bearing
[Section 3.1, 'Hierarchical Geometry'; Section B.1]
"Our main inspiration follows Park et al. [Par+24], who find that the representations of categorical concepts in language models have a specific geometric structure."
The architecture is explicitly constructed to instantiate the geometric account of [Par+24], and the whitening preprocessing in Section B.1 is justified by [PCV24]. Both cited works share authors with the present paper (Park and Veitch), and neither is independently verified within this manuscript. The design choice—parent feature plus per-parent low-rank subspace and child vertices—thus leans on a self-citation chain. However, the reconstruction curves and cross-lingual redundancy measurements are new empirical results against an external model and benchmark, so this self-citation is load-bearing for the architecture's motivation but does not by itself determine the main empirical findings.
full rationale
The paper contains no fitted-parameter-renamed-as-prediction circularity: the H-SAE is trained on Gemma 2-2B residual streams, and the reported reconstruction, absorption, and cross-lingual divergence numbers are measured externally rather than derived from the training objective. The strongest circularity is partial and structural: because Algorithm 1 only executes an expert's low-level SAE after that expert has been selected by the high-level TopK, the observed parent-child activation dependence is guaranteed by the forward pass, so citing it as evidence that 'semantic hierarchy can be learned' is partly self-definitional. The genuinely empirical component is whether the learned expert/sublatent groupings are semantically coherent, which the paper supports with qualitative visualizations. The self-citations [Par+24] and [PCV24] motivate the architecture and preprocessing but are not independently checked here; they lower the evidentiary independence of the motivational chain without voiding the external reconstruction results. The absence of a flat SAE matched on total atoms or FLOPs is a real confound for the causal claim that hierarchy, rather than added capacity, drives the improvements, but a missing control is a correctness concern, not circularity. Overall, the central empirical claims are not reduced to their inputs by construction, so the score is 4 rather than higher.
Assumptions & free parameters
free parameters (3)
- beta (top-level reconstruction weight) =
0.1
- lambda1 (orthogonality penalty) =
0.1
- lambda2 (L1 sparsity) =
0.001
assumptions (3)
- domain assumption Categorical concepts in LLMs are represented by a parent feature plus a low-rank subspace containing a polytope of child features (Park et al., 2024).
- ad hoc to paper A subordinate concept is captured by exactly one vertex of the parent polytope, so one active sublatent per expert suffices (TopK1).
- domain assumption The Euclidean inner product is the appropriate geometry for reconstruction on residual stream activations; no whitening is applied.
invented entities (1)
-
Expert-attached sublatent hierarchy (top-level experts with per-expert low-level SAEs and projection operators)
Cite this review
Pith. "Pith review of Incorporating Hierarchical Semantics in Sparse Autoencoder Architectures." pith.science (2026). https://pith.science/paper/MXXHK3I7
@misc{pith2026250601197,
author = {Pith},
title = {Pith review of: Incorporating Hierarchical Semantics in Sparse Autoencoder Architectures},
year = {2026},
howpublished = {\url{https://pith.science/paper/MXXHK3I7}},
note = {Machine review of arXiv:2506.01197}
}
read the original abstract
Sparse dictionary learning (and, in particular, sparse autoencoders) attempts to learn a set of human-understandable concepts that can explain variation on an abstract space. A basic limitation of this approach is that it neither exploits nor represents the semantic relationships between the learned concepts. In this paper, we introduce a modified SAE architecture that explicitly models a semantic hierarchy of concepts. Application of this architecture to the internal representations of large language models shows both that semantic hierarchy can be learned, and that doing so improves both reconstruction and interpretability. Additionally, the architecture leads to significant improvements in computational efficiency.
Figures
Figures from the paper (18 more)
Forward citations
Cited by 1 Pith paper
-
Laguerre Geometry for Interpreting Large Language Models
LLM concepts are Laguerre–Voronoi cells; Geometric Lens reads the exact cell of any hidden vector by isolating residual piecewise-linear flow from cross-token attention transport.
Reference graph
Works this paper leans on
-
[2]
Weakly supervised causal representation learning
arXiv: 2203.16437 [stat.ML] (cit. on p. 3). [Bri+23] T . Bricken, A. Templeton, J. Batson, B. Chen, A. Jermyn, T . Conerly , N. Turner, C. Anil, C. Denison, A. Askell, R. Lasenby, Y. Wu, S. Kravec, N. Schiefer, T . Maxwell, N. Joseph, Z. Hatfield-Dodds, A. Tamkin, K. Nguyen, B. McLean, J. E. Burke, T . Hume, S. Carter, T . Henighan, and C. Olah. “Towards ...
work page Pith review arXiv 2023
-
[5]
arXiv: 2409.14507 [cs.LG] (cit. on p. 1). [Cun+23] H. Cunningham, A. Ewart, L. Riggs, R. Huben, and L. Sharkey. Sparse au- toencoders find highly interpretable features in language models
-
[7]
arXiv: 2406.11944 [cs.LG] (cit. on p. 3). [Eng+25] J. Engels, E. J. Michaud, I. Liao, W . Gurnee, and M. Tegmark.Not all language model features are one-dimensionally linear
-
[8]
Scaling and evaluating sparse autoencoders
arXiv: 2405.14860 [cs.LG] (cit. on p. 3). [Gao+24] L. Gao, T . D. la Tour, H. Tillman, G. Goh, R. Troll, A. Radford, I. Sutskever, J. Leike, and J. Wu. “Scaling and evaluating sparse autoencoders”. arXiv preprint arXiv:2406.04093 (2024) (cit. on pp. 1–3, 7, 8). [Hea+25] T . Heap, T . Lawson, L. Farnik, and L. Aitchison.Sparse Autoencoders Can Inter- pret ...
arXiv 2024
-
[9]
arXiv: 2503.01822 [cs.LG] (cit. on p. 3). [Joh24] D. D. Johnson. Penzai + treescope: a toolkit for interpreting, visualizing, and editing models as data. 2024 (cit. on p. 15). [Jos+25] S. Joshi, A. Dittadi, S. Lachapelle, and D. Sridhar.Identifiable steering via sparse autoencoding of multi-concept shifts
arXiv 2024
-
[10]
arXiv: 2502.12179 [cs.LG] (cit. on p. 3). [Kar+25] A. Karvonen, C. Rager, J. Lin, C. Tigges, J. Bloom, D. Chanin, Y. -T . Lau, E. Farrell, C. McDougall, K. Ayonrinde, M. Wearden, A. Conmy, S. Marks, and N. Nanda. Saebench: a comprehensive benchmark for sparse autoencoders in language model interpretability
-
[11]
arXiv: 2503.09532 [cs.LG] (cit. on p. 8). [KG21] P . Kidger and C. Garcia.Equinox: neural networks in jax via callable pytrees and filtered transformations
-
[13]
arXiv: 2408.05147 [cs.LG] (cit. on pp. 1, 3, 7, 8). [Lin+25] J. Lindsey, W . Gurnee, E. Ameisen, B. Chen, A. Pearce, N. L. Turner, C. Citro, D. Abrahams, S. Carter, B. Hosmer, J. Marcus, M. Sklar, A. Templeton, T . Bricken, C. McDougall, H. Cunningham, T . Henighan, A. Jermyn, A. Jones, and J. Batson. On the biology of a large language model. 2025 (cit. o...
arXiv 2025
Show all 25 references
-
[14]
CITRIS: Causal Identifiability from Temporal Intervened Sequences
arXiv:2306.09643 [cs.LG] (cit. on p. 3). [Lip+22] P . Lippe, S. Magliacane, S. Löwe, Y . M. Asano, T . Cohen, and S. Gavves. “CITRIS: Causal Identifiability from Temporal Intervened Sequences”. en. In:Proceedings of the 39th International Conference on Machine Learning. ISSN: ...
2022 arXiv
-
[17]
arXiv: 2403.19647 [cs.LG] (cit. on p. 3). [MA25] G. E. Moran and B. Aragam. Towards interpretable deep generative models via causal representation learning
-
[18]
arXiv: 2504.11609 [stat.ML] (cit. on p. 3). [Mud+24] A. Mudide, J. Engels, E. J. Michaud, M. Tegmark, and C. S. de Witt.Efficient dictionary learning with switch sparse autoencoders
-
[19]
arXiv: 2410.08201 [cs.LG] (cit. on p. 3). [O’B+24] K. O’Brien, D. Majercak, X. Fernandes, R. Edgar, J. Chen, H. Nori, D. Carignan, E. Horvitz, and F . Poursabzi-Sangde.Steering language model refusal with sparse autoencoders
-
[20]
The geometry of categorical and hi- erarchical concepts in large language models
arXiv: 2411.11296 [cs.LG] (cit. on p. 3). [Par+24] K. Park, Y. J. Choe, Y . Jiang, and V . Veitch. “The geometry of categorical and hi- erarchical concepts in large language models”.arXiv preprint arXiv:2406.01506 (2024) (cit. on pp. 2, 4). [PCV24] K. Park, Y. J. Choe, and V ....
2024 arXiv
-
[21]
arXiv: 2404.16014 [cs.LG] (cit. on p. 3). [Raj+24b] S. Rajamanoharan, T . Lieberum, N. Sonnerat, A. Conmy, V . Varma, J. Kramár, and N. Nanda. Jumping ahead: improving reconstruction fidelity with jumprelu sparse autoencoders
-
[22]
arXiv: 2407.14435 [cs.LG] (cit. on p. 3). [Raj+24c] G. Rajendran, S. Buchholz, B. Aragam, B. Schölkopf, and P . Ravikumar.Learning interpretable concepts: unifying causal representation learning and foundation models
-
[23]
arXiv: 2402.09236 [cs.LG] (cit. on p. 3). [Sch+21] B. Schölkopf, F . Locatello, S. Bauer, N. R. Ke, N. Kalchbrenner, A. Goyal, and Y. Bengio. Towards causal representation learning
-
[24]
Scaling monosemanticity: extracting interpretable features from claude 3 sonnet
arXiv: 2102.11107 [cs.LG] (cit. on p. 3). [SBb22] L. Sharkey, D. Braun, and beren. [interim research report] taking features out of superposition with sparse autoencoders. 2022 (cit. on p. 3). [Tem+24] A. Templeton, T . Conerly, J. Marcus, J. Lindsey, T . Bricken, B. Chen, A. ...
2024 arXiv
-
[25]
The l1 coefficient is 0.001
• We set the orthogonality penalty and top-level reconstruction coefficients to 0.1. The l1 coefficient is 0.001. For standard SAEs that require an auxiliary loss to prevent dead latents we use a coefficient of 1/30. • We use the adam optimizer with global norm clipping of 0.7...
-
[2002]
02886 [cs.LG] (cit. on pp. 3, 11). [MSL22] J. Maitin-Shepard and L. Leavitt. Tensorstore for high-performance, scalable array storage. Computer software. 2022 (cit. on p. 15). [Mar+25] S. Marks, C. Rager, E. J. Michaud, Y. Belinkov, D. Bau, and A. Mueller. Sparse feature circu...
2022
-
[2019]
arXiv: 1811.12359 [cs.LG] (cit. on pp. 3, 11). [Loc+20] F . Locatello, B. Poole, G. Rätsch, B. Schölkopf, O. Bachem, and M. Tschannen. Weakly-supervised disentanglement without compromises
-
[2021]
UNLOCKING HIERARCHICAL CONCEPT DISCOVERY IN LANGUAGE MODELS THROUGH GEOMETRIC REGULARIZATION
arXiv: 2111.00254 [cs.LG] (cit. on p. 15). [LR25] E. Li and J. Ren. “UNLOCKING HIERARCHICAL CONCEPT DISCOVERY IN LANGUAGE MODELS THROUGH GEOMETRIC REGULARIZATION”. In:ICLR 2025 Workshop on Building Trust in Language Models and Applications. 2025 (cit. on p. 3). [Lie+24] T . Li...
2025 arXiv
-
[2022]
Weakly Supervised Representation Learning with Sparse Perturbations
arXiv: 2206.01101 [cs.LG] (cit. on p. 3). [AHB22b] K. Ahuja, J. S. Hartford, and Y. Bengio. “Weakly Supervised Representation Learning with Sparse Perturbations”. en. Advances in Neural Information Pro- cessing Systems (2022) (cit. on p. 11). [Bra+18] J. Bradbury, R. Frostig, ...
2022 arXiv
-
[2023]
arXiv: 2309.08600 [cs.LG] (cit. on pp. 1, 3). [Den+25] B. Deng, Y. Wan, Y. Zhang, B. Yang, and F . Feng.Unveiling Language-Specific Features in Large Language Models via Sparse Autoencoders. arXiv:2505.05111 [cs]. 2025 (cit. on p. 8). [DCN24] J. Dunefsky, P . Chlenski, and N. ...
2025 arXiv
-
[2024]
arXiv: 2412.06410 [cs.LG] (cit. on p. 3). [Bus+25] B. Bussmann, N. Nabeshima, A. Karvonen, and N. Nanda. Learning multi-level features with matryoshka sparse autoencoders
-
[2025]
arXiv: 2503.17547 [cs.LG] (cit. on p. 3). [Cha+24] D. Chanin, J. Wilken-Smith, T . Dulka, H. Bhatnagar, and J. Bloom. A is for absorption: studying feature splitting and absorption in sparse autoencoders
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.