A Mechanistic Analysis of a Transformer Trained on a Symbolic Multi-Step Reasoning Task
Not on the map. Why?
Abstract (arXiv)
Transformers demonstrate impressive performance on a range of reasoning benchmarks. To evaluate the degree to which these abilities are a result of actual reasoning, existing work has focused on developing sophisticated benchmarks for behavioral studies. However, these studies do not provide insights into the internal mechanisms driving the observed capabilities. To improve our understanding of the internal mechanisms of transformers, we present a comprehensive mechanistic analysis of a transformer trained on a synthetic reasoning task. We identify a set of interpretable mechanisms the model uses to solve the task, and validate our findings using correlational and causal evidence. Our results suggest that it implements a depth-bounded recurrent mechanisms that operates in parallel and stores intermediate results in selected token positions. We anticipate that the motifs we identified in our synthetic setting can provide valuable insights into the broader operating principles of transformers and thus provide a basis for understanding more complex models.
Key facts. Cited by 49 papers in the map (data through 7 Oct 2026). Builds on 32 of its 57 references that are in the map. First posted on arXiv 19 Feb 2024.
Builds on
32 of 57 references.
References · 32
- 2017Attention Is All You Needcited by 59,932
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2022Large Language Models are Zero-Shot Reasonerscited by 4,323
- 2022Locating and Editing Factual Associations in GPTcited by 2,609
- 2016Understanding intermediate layers using linear classifier probescited by 1,279
- 2022Interpretability in the Wild: a Circuit for Indirect Object Identification in GPT-2 smallcited by 1,130
- 2022Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agentscited by 1,029
- 2023Progress measures for grokking via mechanistic interpretabilitycited by 822
- 2023Towards Automated Circuit Discovery for Mechanistic Interpretabilitycited by 700
- 2023The Geometry of Truth: Emergent Linear Structure in Large Language Model Representations of True/False Datasetscited by 673
- 2023Eliciting Latent Predictions from Transformers with the Tuned Lenscited by 579
- 2023Dissecting Recall of Factual Associations in Auto-Regressive Language Modelscited by 512
20 more
- 2019Are Transformers universal approximators of sequence-to-sequence functions?cited by 404
- 2022PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Changecited by 372
- 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thoughtcited by 334
- 2023Emergent Linear Representations in World Models of Self-Supervised Sequence Modelscited by 313
- 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 309
- 2023Think before you speak: Training Language Models With Pause Tokenscited by 254
- 2019Analyzing the Structure of Attention in a Transformer Language Modelcited by 241
- 2022Towards Understanding Chain-of-Thought Prompting: An Empirical Study of What Matterscited by 221
- 2022ROSCOE: A Suite of Metrics for Scoring Step-by-Step Reasoningcited by 175
- 2023Linear Representations of Sentiment in Large Language Modelscited by 157
- 2023The Clock and the Pizza: Two Stories in Mechanistic Explanation of Neural Networkscited by 153
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 137
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2023Circuit Component Reuse Across Tasks in Transformer Language Modelscited by 105
- 2021Provable Limitations of Acquiring Meaning from Ungrounded Form: What Will Future Language Models Understand?cited by 55
- 2023Towards a Mechanistic Interpretation of Multi-Step Reasoning Capabilities of Language Modelscited by 50
- 2023Understanding and Controlling a Maze-Solving Policy Networkcited by 19
- 2023Look Before You Leap: A Universal Emergent Decomposition of Retrieval Tasks in Language Modelscited by 17
- 2023Structured World Representations in Maze-Solving Transformerscited by 16
- 2024Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursioncited by 14
Built on by
Citing papers per year: 2024: 14; 2025: 21; 2026: 14.
49 papers.
Sort:
By area:
- 2024Mechanistic Interpretability for AI Safety -- A Reviewcited by 415
- 2024Do Large Language Models Latently Perform Multi-Hop Reasoning?cited by 165
- 2025Thought Anchors: Which LLM Reasoning Steps Matter?cited by 126
- 2024A Practical Review of Mechanistic Interpretability for Transformer-Based Language Modelscited by 113
- 2024Hopping Too Late: Exploring the Limitations of Large Language Models on Multi-Hop Queriescited by 78
- 2024Evidence of Learned Look-Ahead in a Chess-Playing Neural Networkcited by 33
- 2025Emergent Symbolic Mechanisms Support Abstract Reasoning in Large Language Modelscited by 31
- 2024Towards a Theoretical Understanding of the 'Reversal Curse' via Training Dynamicscited by 27
- 2024InterpBench: Semi-Synthetic Transformers for Evaluating Mechanistic Interpretability Techniquescited by 24
- 2024The Quest for the Right Mediator: Surveying Mechanistic Interpretability Through the Lens of Causal Mediation Analysiscited by 24
- 2024Transformers Struggle to Learn to Searchcited by 19
- 2025Representation Engineering for Large-Language Models: Survey and Research Challengescited by 18
37 more
- 2024Planning in a recurrent neural network that plays Sokobancited by 17
- 2024Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanismcited by 15
- 2024Transformers Use Causal World Models in Maze-Solving Taskscited by 13
- 2025Compositional Generalization from Learned Skills via CoT Training: A Theoretical and Structural Analysis for Reasoningcited by 10
- 2026Do Latent-CoT Models Think Step-by-Step? A Mechanistic Study on Sequential Reasoning Taskscited by 10
- 2025Mechanistic evaluation of Transformers and state space modelscited by 8
- 2024On Logical Extrapolation for Mazes with Recurrent and Implicit Networkscited by 7
- 2025Large Language Models and Evolutionary Computation: A Critical Review of Bidirectional Interaction, Automated Algorithm Design, and Co-Adaptive Systemscited by 6
- 2025Optimizing Multi-Hop Document Retrieval Through Intermediate Representationscited by 5
- 2025Path Channels and Plan Extension Kernels: a Mechanistic Description of Planning in a Sokoban RNNcited by 4
- 2025In-Context Algebracited by 4
- 2026Rethinking Layer Relevance in Large Language Models Beyond Cosine Similaritycited by 4
- 2025Latent Concept Disentanglement in Transformer-based Language Modelscited by 3
- 2025Thoughtbubbles: an Unsupervised Method for Parallel Thinking in Latent Spacecited by 3
- 2026Sketch2Simulation: Automating Flowsheet Generation via Multi Agent Large Language Modelscited by 3
- 2024Interacting Large Language Model Agents. Interpretable Models and Social Learningcited by 2
- 2025Causality Is Key to Understand and Balance Multiple Goals in Trustworthy ML and Foundation Modelscited by 2
- 2025Signatures of human-like processing in Transformer forward passescited by 2
- 2025Steering Prepositional Phrases in Language Models: A Case of with-headed Adjectival and Adverbial Complements in Gemma-2cited by 2
- 2025Stream: Scaling up Mechanistic Interpretability to Long Context in LLMs via Sparse Attentioncited by 2
- 2025Thinking About Thinking: SAGE-nano's Inverse Reasoning for Self-Aware Language Modelscited by 1
- 2025Deductive Logic in Language Models: Horizontal vs Vertical Reasoningcited by 1
- 2025Emergence of Minimal Circuits for Indirect Object Identification in Attention-Only Transformerscited by 1
- 2026Is Grokking Worthwhile? Functional Analysis and Transferability of Generalization Circuits in Transformerscited by 1
- 2026Stability Implies Redundancy: Delta Attention Selective Halting for Efficient Long-Context Prefillingcited by 1
- 2026Trustworthy AI Suffers from Invariance Conflicts and Causality is The Solutioncited by 1
- 2026Mechanistic Interpretability for Neural Networks: Circuits, Sparse Features and Symbolic Reasoningcited by 1
- 2025A Neuroscience-Inspired Dual-Process Model of Compositional Generalizationcited by 0
- 2025Can Language Models Compose Skills In-Context?cited by 0
- 2025Exploring Depth Generalization in Large Language Models for Solving Recursive Logic Taskscited by 0
- 2026One Model, Two Roles: Emergent Specialization in a Shared Recurrent Transformercited by 0
- 2026Mechanisms of Misgeneralization in Physical Sequence Modelingcited by 0
- 2026A Close Look At World Model Recovery In Supervised Fine-Tuned LLM Plannerscited by 0
- 2026Critical Percolation as a Synthetic Data Model for Interpretabilitycited by 0
- 2026AIMO Interpretability Challengecited by 0
- 2026Grounding latent algorithm routing in transformer reasoningcited by 0
- 2026Transformers Stop Thinking Too Early, and a Tiny LoRA Fixes Itcited by 0
- 2026Transformers Stop Thinking Too Early, and a Tiny LoRA Fixes It29 Sep 2026
- 2026Grounding latent algorithm routing in transformer reasoning27 Jul 2026
- 2026AIMO Interpretability Challenge15 Jul 2026
- 2026Mechanistic Interpretability for Neural Networks: Circuits, Sparse Features and Symbolic Reasoning8 Jul 2026
- 2026Critical Percolation as a Synthetic Data Model for Interpretability18 Jun 2026
- 2026A Close Look At World Model Recovery In Supervised Fine-Tuned LLM Planners2 Jun 2026
- 2026Mechanisms of Misgeneralization in Physical Sequence Modeling19 May 2026
- 2026One Model, Two Roles: Emergent Specialization in a Shared Recurrent Transformer18 May 2026
- 2026Rethinking Layer Relevance in Large Language Models Beyond Cosine Similarity13 May 2026
- 2026Trustworthy AI Suffers from Invariance Conflicts and Causality is The Solution4 May 2026
- 2026Stability Implies Redundancy: Delta Attention Selective Halting for Efficient Long-Context Prefilling20 Apr 2026
- 2026Sketch2Simulation: Automating Flowsheet Generation via Multi Agent Large Language Models25 Mar 2026
37 more
- 2026Do Latent-CoT Models Think Step-by-Step? A Mechanistic Study on Sequential Reasoning Tasks31 Jan 2026
- 2026Is Grokking Worthwhile? Functional Analysis and Transferability of Generalization Circuits in Transformers14 Jan 2026
- 2025In-Context Algebra18 Dec 2025
- 2025Exploring Depth Generalization in Large Language Models for Solving Recursive Logic Tasks2 Dec 2025
- 2025Emergence of Minimal Circuits for Indirect Object Identification in Attention-Only Transformers28 Oct 2025
- 2025Can Language Models Compose Skills In-Context?27 Oct 2025
- 2025Stream: Scaling up Mechanistic Interpretability to Long Context in LLMs via Sparse Attention22 Oct 2025
- 2025Deductive Logic in Language Models: Horizontal vs Vertical Reasoning10 Oct 2025
- 2025Thoughtbubbles: an Unsupervised Method for Parallel Thinking in Latent Space30 Sep 2025
- 2025Steering Prepositional Phrases in Language Models: A Case of with-headed Adjectival and Adverbial Complements in Gemma-227 Sep 2025
- 2025A Neuroscience-Inspired Dual-Process Model of Compositional Generalization25 Jul 2025
- 2025Thinking About Thinking: SAGE-nano's Inverse Reasoning for Self-Aware Language Models30 Jun 2025
- 2025Thought Anchors: Which LLM Reasoning Steps Matter?23 Jun 2025
- 2025Latent Concept Disentanglement in Transformer-based Language Models20 Jun 2025
- 2025Path Channels and Plan Extension Kernels: a Mechanistic Description of Planning in a Sokoban RNN11 Jun 2025
- 2025Large Language Models and Evolutionary Computation: A Critical Review of Bidirectional Interaction, Automated Algorithm Design, and Co-Adaptive Systems21 May 2025
- 2025Mechanistic evaluation of Transformers and state space models21 May 2025
- 2025Signatures of human-like processing in Transformer forward passes18 Apr 2025
- 2025Optimizing Multi-Hop Document Retrieval Through Intermediate Representations2 Mar 2025
- 2025Causality Is Key to Understand and Balance Multiple Goals in Trustworthy ML and Foundation Models28 Feb 2025
- 2025Emergent Symbolic Mechanisms Support Abstract Reasoning in Large Language Models27 Feb 2025
- 2025Representation Engineering for Large-Language Models: Survey and Research Challenges24 Feb 2025
- 2025Compositional Generalization from Learned Skills via CoT Training: A Theoretical and Structural Analysis for Reasoning7 Feb 2025
- 2024Transformers Use Causal World Models in Maze-Solving Tasks16 Dec 2024
- 2024Transformers Struggle to Learn to Search6 Dec 2024
- 2024Interacting Large Language Model Agents. Interpretable Models and Social Learning2 Nov 2024
- 2024On Logical Extrapolation for Mazes with Recurrent and Implicit Networks3 Oct 2024
- 2024The Quest for the Right Mediator: Surveying Mechanistic Interpretability Through the Lens of Causal Mediation Analysis2 Aug 2024
- 2024Planning in a recurrent neural network that plays Sokoban22 Jul 2024
- 2024InterpBench: Semi-Synthetic Transformers for Evaluating Mechanistic Interpretability Techniques19 Jul 2024
- 2024A Practical Review of Mechanistic Interpretability for Transformer-Based Language Models2 Jul 2024
- 2024Hopping Too Late: Exploring the Limitations of Large Language Models on Multi-Hop Queries18 Jun 2024
- 2024Evidence of Learned Look-Ahead in a Chess-Playing Neural Network2 Jun 2024
- 2024Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism24 May 2024
- 2024Towards a Theoretical Understanding of the 'Reversal Curse' via Training Dynamics7 May 2024
- 2024Mechanistic Interpretability for AI Safety -- A Review22 Apr 2024
- 2024Do Large Language Models Latently Perform Multi-Hop Reasoning?26 Feb 2024
- 2024Do Large Language Models Latently Perform Multi-Hop Reasoning?cited by 165
- 2025Thought Anchors: Which LLM Reasoning Steps Matter?cited by 126
- 2025Emergent Symbolic Mechanisms Support Abstract Reasoning in Large Language Modelscited by 31
- 2024Towards a Theoretical Understanding of the 'Reversal Curse' via Training Dynamicscited by 27
- 2024Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanismcited by 15
- 2025Compositional Generalization from Learned Skills via CoT Training: A Theoretical and Structural Analysis for Reasoningcited by 10
- 2026Do Latent-CoT Models Think Step-by-Step? A Mechanistic Study on Sequential Reasoning Taskscited by 10
- 2026Rethinking Layer Relevance in Large Language Models Beyond Cosine Similaritycited by 4
- 2025Thoughtbubbles: an Unsupervised Method for Parallel Thinking in Latent Spacecited by 3
- 2025Thinking About Thinking: SAGE-nano's Inverse Reasoning for Self-Aware Language Modelscited by 1
- 2025Deductive Logic in Language Models: Horizontal vs Vertical Reasoningcited by 1
- 2026Mechanistic Interpretability for Neural Networks: Circuits, Sparse Features and Symbolic Reasoningcited by 1
12 most cited of 14 All 14 (JSON)
- 2026Grounding latent algorithm routing in transformer reasoning27 Jul 2026
- 2026AIMO Interpretability Challenge15 Jul 2026
- 2026Mechanistic Interpretability for Neural Networks: Circuits, Sparse Features and Symbolic Reasoning8 Jul 2026
- 2026Rethinking Layer Relevance in Large Language Models Beyond Cosine Similarity13 May 2026
- 2026Do Latent-CoT Models Think Step-by-Step? A Mechanistic Study on Sequential Reasoning Tasks31 Jan 2026
- 2025Deductive Logic in Language Models: Horizontal vs Vertical Reasoning10 Oct 2025
- 2025Thoughtbubbles: an Unsupervised Method for Parallel Thinking in Latent Space30 Sep 2025
- 2025Thinking About Thinking: SAGE-nano's Inverse Reasoning for Self-Aware Language Models30 Jun 2025
- 2025Thought Anchors: Which LLM Reasoning Steps Matter?23 Jun 2025
- 2025Emergent Symbolic Mechanisms Support Abstract Reasoning in Large Language Models27 Feb 2025
- 2025Compositional Generalization from Learned Skills via CoT Training: A Theoretical and Structural Analysis for Reasoning7 Feb 2025
- 2024Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism24 May 2024
12 newest of 14 All 14 (JSON)
- 2024Mechanistic Interpretability for AI Safety -- A Reviewcited by 415
- 2024A Practical Review of Mechanistic Interpretability for Transformer-Based Language Modelscited by 113
- 2024Hopping Too Late: Exploring the Limitations of Large Language Models on Multi-Hop Queriescited by 78
- 2024Evidence of Learned Look-Ahead in a Chess-Playing Neural Networkcited by 33
- 2024InterpBench: Semi-Synthetic Transformers for Evaluating Mechanistic Interpretability Techniquescited by 24
- 2024The Quest for the Right Mediator: Surveying Mechanistic Interpretability Through the Lens of Causal Mediation Analysiscited by 24
- 2024Transformers Struggle to Learn to Searchcited by 19
- 2025Representation Engineering for Large-Language Models: Survey and Research Challengescited by 18
- 2024Planning in a recurrent neural network that plays Sokobancited by 17
- 2024On Logical Extrapolation for Mazes with Recurrent and Implicit Networkscited by 7
- 2025Large Language Models and Evolutionary Computation: A Critical Review of Bidirectional Interaction, Automated Algorithm Design, and Co-Adaptive Systemscited by 6
- 2025Path Channels and Plan Extension Kernels: a Mechanistic Description of Planning in a Sokoban RNNcited by 4
12 most cited of 28 All 28 (JSON)
- 2026Transformers Stop Thinking Too Early, and a Tiny LoRA Fixes It29 Sep 2026
- 2026Critical Percolation as a Synthetic Data Model for Interpretability18 Jun 2026
- 2026Mechanisms of Misgeneralization in Physical Sequence Modeling19 May 2026
- 2026One Model, Two Roles: Emergent Specialization in a Shared Recurrent Transformer18 May 2026
- 2026Trustworthy AI Suffers from Invariance Conflicts and Causality is The Solution4 May 2026
- 2026Is Grokking Worthwhile? Functional Analysis and Transferability of Generalization Circuits in Transformers14 Jan 2026
- 2025In-Context Algebra18 Dec 2025
- 2025Exploring Depth Generalization in Large Language Models for Solving Recursive Logic Tasks2 Dec 2025
- 2025Emergence of Minimal Circuits for Indirect Object Identification in Attention-Only Transformers28 Oct 2025
- 2025Can Language Models Compose Skills In-Context?27 Oct 2025
- 2025Stream: Scaling up Mechanistic Interpretability to Long Context in LLMs via Sparse Attention22 Oct 2025
- 2025Steering Prepositional Phrases in Language Models: A Case of with-headed Adjectival and Adverbial Complements in Gemma-227 Sep 2025
12 newest of 28 All 28 (JSON)