Grokking Group Multiplication with Cosets
Not on the map. Why?
Abstract (arXiv)
The complex and unpredictable nature of deep neural networks prevents their safe use in many high-stakes applications. There have been many techniques developed to interpret deep neural networks, but all have substantial limitations. Algorithmic tasks have proven to be a fruitful test ground for interpreting a neural network end-to-end. Building on previous work, we completely reverse engineer fully connected one-hidden layer networks that have ``grokked'' the arithmetic of the permutation groups S5 and S6. The models discover the true subgroup structure of the full group and converge on neural circuits that decompose the group arithmetic using the permutation group's subgroups. We relate how we reverse engineered the model's mechanisms and confirmed our theory was a faithful description of the circuit's functionality. We also draw attention to current challenges in conducting interpretability research by comparing our work to Chughtai et al. [4] which alleges to find a different algorithm for this same problem.
Key facts. Cited by 24 papers in the map (data through 14 Oct 2026). Builds on 35 of its 74 references that are in the map. First posted on arXiv 11 Dec 2023.
Builds on
35 of 74 references.
References · 35
- 2019PyTorch: An Imperative Style, High-Performance Deep Learning Librarycited by 20,305
- 2017A Unified Approach to Interpreting Model Predictionscited by 6,555
- 2013Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Mapscited by 2,371
- 2017Towards A Rigorous Science of Interpretable Machine Learningcited by 1,416
- 2020Transformer Feed-Forward Layers Are Key-Value Memoriescited by 1,336
- 2022Interpretability in the Wild: a Circuit for Indirect Object Identification in GPT-2 smallcited by 1,165
- 2018Sanity Checks for Saliency Mapscited by 1,156
- 2019Attention is not Explanationcited by 929
- 2023Progress measures for grokking via mechanistic interpretabilitycited by 839
- 2023Towards Automated Circuit Discovery for Mechanistic Interpretabilitycited by 724
- 2022Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasetscited by 629
- 2023Emergent Linear Representations in World Models of Self-Supervised Sequence Modelscited by 319
23 more
- 2018On the Generalization of Equivariance and Convolution in Neural Networks to the Action of Compact Groupscited by 300
- 2016Not Just a Black Box: Learning Important Features Through Propagating Activation Differencescited by 297
- 2023Does Localization Inform Editing? Surprising Differences in Causality-Based Localization vs. Knowledge Editing in Language Modelscited by 243
- 2023Causal Abstraction: A Theoretical Foundation for Mechanistic Interpretabilitycited by 205
- 2023How does GPT-2 compute greater-than?: Interpreting mathematical abilities in a pre-trained language modelcited by 202
- 2020Causal Mediation Analysis for Interpreting Neural NLP: The Case of Gender Biascited by 191
- 2022Hidden Progress in Deep Learning: SGD Learns Parities Near the Computational Limitcited by 187
- 2023Linear Representations of Sentiment in Large Language Modelscited by 163
- 2023The Clock and the Pizza: Two Stories in Mechanistic Explanation of Neural Networkscited by 156
- 2023The Hydra Effect: Emergent Self-repair in Language Model Computationscited by 156
- 2023Does Circuit Analysis Interpretability Scale? Evidence from Multiple Choice Capabilities in Chinchillacited by 149
- 2023A Toy Model of Universality: Reverse Engineering How Networks Learn Group Operationscited by 144
- 2023Explaining grokking through circuit efficiencycited by 111
- 2023Grokking as the Transition from Lazy to Rich Training Dynamicscited by 108
- 2021An Interpretability Illusion for BERTcited by 97
- 2023Grokking modular arithmeticcited by 83
- 2023A Tale of Two Circuits: Grokking as Competition of Sparse and Dense Subnetworkscited by 83
- 2023Discovering Variable Binding Circuitry with Desideratacited by 34
- 2023Benign Overfitting and Grokking in ReLU Networks for XOR Cluster Datacited by 33
- 2023Feature emergence via margin maximization: case studies in algebraic taskscited by 33
- 2023Transformers are uninterpretable with myopic methods: a case study with bounded Dyck grammarscited by 30
- 2023Can Transformers Learn to Solve Problems Recursively?cited by 17
- 2023Neural Discovery of Permutation Subgroupscited by 2
Built on by
Citing papers per year: 2024: 5; 2025: 4; 2026: 15.
24 papers.
Sort:
By area:
- 2024Mechanistic Interpretability for AI Safety -- A Reviewcited by 422
- 2025Grokking at the Edge of Numerical Stabilitycited by 46
- 2024Hypothesis Testing the Circuit Hypothesis in LLMscited by 29
- 2024Towards Empirical Interpretation of Internal Circuits and Properties in Grokked Transformers on Modular Polynomialscited by 14
- 2024Towards a unified and verified understanding of group-operation networkscited by 10
- 2026Sequential Group Composition: A Window into the Mechanics of Deep Learningcited by 10
- 2026Why Larger Models Learn More: Effects of Capacity, Interference, and Rare-Task Retentioncited by 10
- 2025In-Context Algebracited by 5
- 2025On the geometry and topology of representations: the manifolds of modular additioncited by 3
- 2026Can Neural Networks Learn Small Algebraic Worlds? An Investigation Into the Group-theoretic Structures Learned By Narrow Models Trained To Predict Group Operationscited by 3
- 2024Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classescited by 2
- 2025Evaluating Explanations: An Explanatory Virtues Framework for Mechanistic Interpretability -- The Strange Science Part I.iicited by 2
12 more
- 2026Grokking Finite-Dimensional Algebracited by 2
- 2026Spectral Edge Dynamics Reveal Functional Modes of Learningcited by 2
- 2026Two Speeds of Learning: A Representation-Readout Decomposition of Grokking and Double Descentcited by 2
- 2026Learned Structure Shows Up Earlier in the Task's Own Basis: A Controlled Look at a Synchronisation Precursor in Grokkingcited by 2
- 2026Multiplication Beyond Groups: Stratified Fourier Mechanisms in Transformer Circuitscited by 2
- 2026Breaking Data Symmetry is Needed For Generalization in Feature Learning Kernelscited by 1
- 2026From Symmetry to Invariance: Learning Galois Equivalent Representations in Finite Fieldscited by 1
- 2026The Rank the Task Demands: A Causal Rank Law for Matrix Memories Trained on Group Compositioncited by 1
- 2026PermuFormer: Multi-Task Pretraining for Permutation Representation in Algebraic Combinatoricscited by 1
- 2026The Discrete-Log Clock: How a Transformer Learns Modular Multiplicationcited by 0
- 2026Symmetry without a manifold: intrinsic dimension on orbitscited by 0
- 2026Tracking States or Tracking Cosets? An Algebraic Account of Learned State Trackingcited by 0
- 2026Tracking States or Tracking Cosets? An Algebraic Account of Learned State Tracking24 Sep 2026
- 2026PermuFormer: Multi-Task Pretraining for Permutation Representation in Algebraic Combinatorics21 Sep 2026
- 2026Symmetry without a manifold: intrinsic dimension on orbits15 Sep 2026
- 2026The Rank the Task Demands: A Causal Rank Law for Matrix Memories Trained on Group Composition10 Sep 2026
- 2026From Symmetry to Invariance: Learning Galois Equivalent Representations in Finite Fields23 Aug 2026
- 2026Multiplication Beyond Groups: Stratified Fourier Mechanisms in Transformer Circuits8 Jul 2026
- 2026The Discrete-Log Clock: How a Transformer Learns Modular Multiplication16 Jun 2026
- 2026Learned Structure Shows Up Earlier in the Task's Own Basis: A Controlled Look at a Synchronisation Precursor in Grokking11 Jun 2026
- 2026Why Larger Models Learn More: Effects of Capacity, Interference, and Rare-Task Retention28 May 2026
- 2026Two Speeds of Learning: A Representation-Readout Decomposition of Grokking and Double Descent26 May 2026
- 2026Spectral Edge Dynamics Reveal Functional Modes of Learning6 Apr 2026
- 2026Breaking Data Symmetry is Needed For Generalization in Feature Learning Kernels31 Mar 2026
12 more
- 2026Grokking Finite-Dimensional Algebra23 Feb 2026
- 2026Sequential Group Composition: A Window into the Mechanics of Deep Learning3 Feb 2026
- 2026Can Neural Networks Learn Small Algebraic Worlds? An Investigation Into the Group-theoretic Structures Learned By Narrow Models Trained To Predict Group Operations29 Jan 2026
- 2025On the geometry and topology of representations: the manifolds of modular addition31 Dec 2025
- 2025In-Context Algebra18 Dec 2025
- 2025Evaluating Explanations: An Explanatory Virtues Framework for Mechanistic Interpretability -- The Strange Science Part I.ii2 May 2025
- 2025Grokking at the Edge of Numerical Stability8 Jan 2025
- 2024Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classes12 Nov 2024
- 2024Hypothesis Testing the Circuit Hypothesis in LLMs16 Oct 2024
- 2024Towards a unified and verified understanding of group-operation networks9 Oct 2024
- 2024Mechanistic Interpretability for AI Safety -- A Review22 Apr 2024
- 2024Towards Empirical Interpretation of Internal Circuits and Properties in Grokked Transformers on Modular Polynomials26 Feb 2024
- 2024Mechanistic Interpretability for AI Safety -- A Reviewcited by 422
- 2024Hypothesis Testing the Circuit Hypothesis in LLMscited by 29
- 2024Towards a unified and verified understanding of group-operation networkscited by 10
- 2025Evaluating Explanations: An Explanatory Virtues Framework for Mechanistic Interpretability -- The Strange Science Part I.iicited by 2
- 2026Spectral Edge Dynamics Reveal Functional Modes of Learningcited by 2
- 2026Spectral Edge Dynamics Reveal Functional Modes of Learning6 Apr 2026
- 2025Evaluating Explanations: An Explanatory Virtues Framework for Mechanistic Interpretability -- The Strange Science Part I.ii2 May 2025
- 2024Hypothesis Testing the Circuit Hypothesis in LLMs16 Oct 2024
- 2024Towards a unified and verified understanding of group-operation networks9 Oct 2024
- 2024Mechanistic Interpretability for AI Safety -- A Review22 Apr 2024
- 2025Grokking at the Edge of Numerical Stabilitycited by 46
- 2024Towards Empirical Interpretation of Internal Circuits and Properties in Grokked Transformers on Modular Polynomialscited by 14
- 2026Sequential Group Composition: A Window into the Mechanics of Deep Learningcited by 10
- 2026Why Larger Models Learn More: Effects of Capacity, Interference, and Rare-Task Retentioncited by 10
- 2025In-Context Algebracited by 5
- 2025On the geometry and topology of representations: the manifolds of modular additioncited by 3
- 2026Can Neural Networks Learn Small Algebraic Worlds? An Investigation Into the Group-theoretic Structures Learned By Narrow Models Trained To Predict Group Operationscited by 3
- 2024Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classescited by 2
- 2026Grokking Finite-Dimensional Algebracited by 2
- 2026Two Speeds of Learning: A Representation-Readout Decomposition of Grokking and Double Descentcited by 2
- 2026Learned Structure Shows Up Earlier in the Task's Own Basis: A Controlled Look at a Synchronisation Precursor in Grokkingcited by 2
- 2026Multiplication Beyond Groups: Stratified Fourier Mechanisms in Transformer Circuitscited by 2
12 most cited of 19 All 19 (JSON)
- 2026Tracking States or Tracking Cosets? An Algebraic Account of Learned State Tracking24 Sep 2026
- 2026PermuFormer: Multi-Task Pretraining for Permutation Representation in Algebraic Combinatorics21 Sep 2026
- 2026Symmetry without a manifold: intrinsic dimension on orbits15 Sep 2026
- 2026The Rank the Task Demands: A Causal Rank Law for Matrix Memories Trained on Group Composition10 Sep 2026
- 2026From Symmetry to Invariance: Learning Galois Equivalent Representations in Finite Fields23 Aug 2026
- 2026Multiplication Beyond Groups: Stratified Fourier Mechanisms in Transformer Circuits8 Jul 2026
- 2026The Discrete-Log Clock: How a Transformer Learns Modular Multiplication16 Jun 2026
- 2026Learned Structure Shows Up Earlier in the Task's Own Basis: A Controlled Look at a Synchronisation Precursor in Grokking11 Jun 2026
- 2026Why Larger Models Learn More: Effects of Capacity, Interference, and Rare-Task Retention28 May 2026
- 2026Two Speeds of Learning: A Representation-Readout Decomposition of Grokking and Double Descent26 May 2026
- 2026Breaking Data Symmetry is Needed For Generalization in Feature Learning Kernels31 Mar 2026
- 2026Grokking Finite-Dimensional Algebra23 Feb 2026
12 newest of 19 All 19 (JSON)