Arithmetic Without Algorithms: Language Models Solve Math With a Bag of Heuristics
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
Do large language models (LLMs) solve reasoning tasks by learning robust generalizable algorithms, or do they memorize training data? To investigate this question, we use arithmetic reasoning as a representative task. Using causal analysis, we identify a subset of the model (a circuit) that explains most of the model's behavior for basic arithmetic logic and examine its functionality. By zooming in on the level of individual circuit neurons, we discover a sparse set of important neurons that implement simple heuristics. Each heuristic identifies a numerical input pattern and outputs corresponding answers. We hypothesize that the combination of these heuristic neurons is the mechanism used to produce correct arithmetic answers. To test this, we categorize each neuron into several heuristic types-such as neurons that activate when an operand falls within a certain range-and find that the unordered combination of these heuristic types is the mechanism that explains most of the model's accuracy on arithmetic prompts. Finally, we demonstrate that this mechanism appears as the main source of arithmetic accuracy early in training. Overall, our experimental results across several LLMs show that LLMs perform arithmetic using neither robust algorithms nor memorization; rather, they rely on a "bag of heuristics".
Key facts. Cited by 94 papers in the map (data through 7 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 31 of its 40 references that are in the map. First posted on arXiv 28 Oct 2024.
Builds on
31 of 40 references.
Closest ancestors · 2
Same direction, newest first
- 2024Pre-trained Large Language Models Use Fourier Features to Compute Addition5 Jun
- 2023A Mechanistic Interpretation of Arithmetic Reasoning in Language Models using Causal Mediation Analysis24 May
Other references · 29
- 2024The Llama 3 Herd of Modelscited by 14,192
- 2023Pythia: A Suite for Analyzing Large Language Models Across Training and Scalingcited by 1,734
- 2020Transformer Feed-Forward Layers Are Key-Value Memoriescited by 1,307
- 2022Interpretability in the Wild: a Circuit for Indirect Object Identification in GPT-2 smallcited by 1,130
- 2021Probing Classifiers: Promises, Shortcomings, and Advancescited by 831
- 2023Progress measures for grokking via mechanistic interpretabilitycited by 822
- 2022Quantifying Memorization Across Neural Language Modelscited by 755
- 2022Emergent World Representations: Exploring a Sequence Model Trained on a Synthetic Taskcited by 417
- 2021Causal Abstractions of Neural Networkscited by 401
- 2021Pay Attention to MLPscited by 367
- 2013Direct and Indirect Effectscited by 276
- 2022Extracting Latent Steering Vectors from Pretrained Language Modelscited by 217
17 more
- 2023How does GPT-2 compute greater-than?: Interpreting mathematical abilities in a pre-trained language modelcited by 199
- 2023Attribution Patching Outperforms Automated Circuit Discoverycited by 196
- 2023The Clock and the Pizza: Two Stories in Mechanistic Explanation of Neural Networkscited by 153
- 2024Have Faith in Faithfulness: Going Beyond Circuit Overlap When Finding Model Mechanismscited by 144
- 2024Fine-Tuning Enhances Existing Mechanisms: A Case Study on Entity Trackingcited by 140
- 2022Analyzing Transformers in Embedding Spacecited by 131
- 2023Explaining grokking through circuit efficiencycited by 105
- 2024Generalization v.s. Memorization: Tracing Language Models' Capabilities Back to Pretraining Datacited by 83
- 2023Successor Heads: Recurring, Interpretable Attention Heads In The Wildcited by 77
- 2023Copy Suppression: Comprehensively Understanding an Attention Headcited by 73
- 2023Towards a Mechanistic Interpretation of Multi-Step Reasoning Capabilities of Language Modelscited by 50
- 2024Interpreting and Improving Large Language Models in Arithmetic Calculationcited by 43
- 2021Memorisation versus Generalisation in Pre-trained Language Modelscited by 32
- 2022Measures of Information Reflect Memorization Patternscited by 12
- 2023Arithmetic with Language Models: from Memorization to Computationcited by 12
- 2024Generalisation First, Memorisation Second? Memorisation Localisation for Natural Language Classification Taskscited by 9
- 2024Survival of the Fittest Representation: A Case Study with Modular Additioncited by 7
Built on by
Citing papers per year: 2024: 1; 2025: 56; 2026: 37.
94 papers.
Sort:
By area:
- 2025MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbationscited by 88
- 2025Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Modelscited by 65
- 2025MIB: A Mechanistic Interpretability Benchmarkcited by 49
- 2025What Has a Foundation Model Found? Using Inductive Bias to Probe for World Modelscited by 46
- 2026When Models Manipulate Manifolds: The Geometry of a Counting Taskcited by 43
- 2025Same Task, Different Circuits: Disentangling Modality-Specific Mechanisms in VLMscited by 35
- 2025Detection and Mitigation of Hallucination in Large Reasoning Models: A Mechanistic Perspectivecited by 32
- 2025Back Attention: Understanding and Enhancing Multi-Hop Reasoning in Large Language Modelscited by 23
- 2026Locate, Steer, and Improve: A Practical Survey of Actionable Mechanistic Interpretability in Large Language Modelscited by 22
- 2026Large Language Model Reasoning Failurescited by 20
- 2025Questioning Representational Optimism in Deep Learning: The Fractured Entangled Representation Hypothesiscited by 19
- 2026Language Model Circuits Are Sparse in the Neuron Basiscited by 18
38 more
- 2025Finite State Automata Inside Transformers with Chain-of-Thought: A Mechanistic Study on State Trackingcited by 17
- 2025Probing for Arithmetic Errors in Language Modelscited by 17
- 2025Understanding and Mitigating Gender Bias in LLMs via Interpretable Neuron Editingcited by 14
- 2025Implicit Reasoning in Transformers is Reasoning through Shortcutscited by 14
- 2025The Lookahead Limitation: Why Multi-Operand Addition is Hard for LLMscited by 13
- 2025Guiding Reasoning in Small Language Models with LLM Assistancecited by 13
- 2025Are formal and functional linguistic mechanisms dissociated in language models?cited by 11
- 2025The Serial Scaling Hypothesiscited by 11
- 2025The Validation Gap: A Mechanistic Analysis of How Language Models Compute Arithmetic but Fail to Validate Itcited by 10
- 2026Procedural Pretraining: Warming Up Language Models with Abstract Datacited by 10
- 2025Towards Understanding the Nature of Attention with Low-Rank Sparse Decompositioncited by 9
- 2025Do Large Language Models Truly Grasp Addition? A Rule-Focused Diagnostic Using Two-Integer Arithmeticcited by 8
- 2025Understanding In-context Learning of Addition via Activation Subspacescited by 8
- 2025Can LLMs Reason Abstractly Over Math Word Problems Without CoT? Disentangling Abstract Formulation From Arithmetic Computationcited by 8
- 2025Thinking Sparks!: Emergent Attention Heads in Reasoning Models During Post Trainingcited by 8
- 2025Locate-then-Merge: Neuron-Level Parameter Fusion for Mitigating Catastrophic Forgetting in Multimodal LLMscited by 7
- 2025Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoningcited by 7
- 2025Circuit Stability Characterizes Language Model Generalizationcited by 6
- 2025Benford's Curse: Tracing Digit Bias to Numerical Hallucination in LLMscited by 6
- 2025Mechanistic Indicators of Understanding in Large Language Modelscited by 6
- 2025Modular Arithmetic: Language Models Solve Math Digit by Digitcited by 6
- 2025Bridging Kolmogorov Complexity and Deep Learning: Asymptotically Optimal Description Length Objectives for Transformerscited by 6
- 2025Why Can't Transformers Learn Multiplication? Reverse-Engineering Reveals Long-Range Dependency Pitfallscited by 6
- 2025Large Language Models for In-File Vulnerability Localization Can Be "Lost in the End"cited by 5
- 2025Trustworthy AI: Safety, Bias, and Privacy -- A Surveycited by 5
- 2025None of the Others: a General Technique to Distinguish Reasoning from Memorization in Multiple-Choice LLM Evaluation Benchmarkscited by 5
- 2025Bigram Subnetworks: Mapping to Next Tokens in Transformer Language Modelscited by 5
- 2025All for One: LLMs Solve Mental Math at the Last Token With Information Transferred From Other Tokenscited by 5
- 2025Large Language Model Sourcing: A Surveycited by 5
- 2026Reward Modeling for Reinforcement Learning-Based LLM Reasoning: Design, Challenges, and Evaluationcited by 5
- 2025CoCo-CoLa: Evaluating and Improving Language Adherence in Multilingual LLMscited by 4
- 2025Brain-Inspired Exploration of Functional Networks and Key Neurons in Large Language Modelscited by 4
- 2025Failure by Interference: Language Models Make Balanced Parentheses Errors When Faulty Mechanisms Overshadow Sound Onescited by 4
- 2025Even with AI, Bijection Discovery is Still Hard: The Opportunities and Challenges of OpenEvolve for Novel Bijection Constructioncited by 4
- 2025In-Context Algebracited by 4
- 2025Large Language and Reasoning Models are Shallow Disjunctive Reasonerscited by 3
- 2025Can Global XAI Methods Reveal Injected Behaviours in LLMs? SHAP vs Rule Extraction vs RuleSHAPcited by 3
- 2025Addition in Four Movements: Mapping Layer-wise Information Trajectories in LLMscited by 3
50 most cited of 94 All 94 (JSON)
- 2026RESCUE: Repairing Language Model Errors to Sparse Circuits via Reinforcement Learning29 Sep 2026
- 2026A Polyphonic Conception of AI Understanding28 Sep 2026
- 2026Rethinking Circuit Evaluation: Do Circuits Explain Model Errors?28 Sep 2026
- 2026The Geometry of Logic: Stratification Induces Semantic Structure and Robust Reasoning26 Sep 2026
- 2026Tracing mechanisms of sycophantic agreement in language models21 Sep 2026
- 2026Assessing LLMs' mathematical abilities requires understanding the various mechanisms of mathematical creativity17 Aug 2026
- 2026Can Transformers Really Do It All? On the Compatibility of Inductive Biases Across Tasks20 Jul 2026
- 2026Are Arithmetic Heuristic Neurons Form-Invariant? A Mechanistic Analysis of Symbols, Text, and Code in LLMs18 Jul 2026
- 2026Distributed Sparse Interventions in Language Models8 Jul 2026
- 2026Language Models Compare Quantities Using Number-specific and Unit-specific Heuristics2 Jun 2026
- 2026LLMs Know the Constraint But Do Not Use It: Activation Bottlenecks in Pragmatic Constraint Reasoning29 May 2026
- 2026Represented Is Not Computed: A Causal Test of Candidate Algorithmic Intermediates in a Transformer21 May 2026
38 more
- 2026The Readout Shortcut: Positional Number Copying Dominates Arithmetic CoT Readout in Small Language Models20 May 2026
- 2026The Unlearnability Phenomenon in RLVR for Language Models16 May 2026
- 2026Data-driven Circuit Discovery for Interpretability of Language Models9 May 2026
- 2026Neuron-Anchored Rule Extraction for Large Language Models via Contrastive Hierarchical Ablation4 May 2026
- 2026Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering18 Apr 2026
- 2026Disentangling Mathematical Reasoning in LLMs: A Methodological Investigation of Internal Mechanisms17 Apr 2026
- 2026Generalization in LLM Problem Solving: The Case of the Shortest Path16 Apr 2026
- 2026Automated Attention Pattern Discovery at Scale in Large Language Models4 Apr 2026
- 2026Testing the Limits of Truth Directions in LLMs4 Apr 2026
- 2026SenseMath: Do LLMs Have Number Sense? Evaluating Shortcut Use, Judgment, and Generation2 Apr 2026
- 2026The Model Says Walk: How Surface Heuristics Override Implicit Constraints in LLM Reasoning30 Mar 2026
- 2026Pitfalls in Evaluating Interpretability Agents20 Mar 2026
- 2026Induction Meets Biology: Mechanisms of Repeat Detection in Protein Language Models26 Feb 2026
- 2026Post-Routing Arithmetic in Llama-3: Last-Token Result Writing and Rotation-Structured Digit Directions22 Feb 2026
- 2026Compressed Sensing for Capability Localization in Large Language Models11 Feb 2026
- 2026AI-rithmetic11 Feb 2026
- 2026Reward Modeling for Reinforcement Learning-Based LLM Reasoning: Design, Challenges, and Evaluation10 Feb 2026
- 2026Large Language Model Reasoning Failures5 Feb 2026
- 2026Language Model Circuits Are Sparse in the Neuron Basis30 Jan 2026
- 2026Shattered Compositionality: Counterintuitive Learning Dynamics of Transformers for Arithmetic30 Jan 2026
- 2026Procedural Pretraining: Warming Up Language Models with Abstract Data29 Jan 2026
- 2026Even GPT-5.2 Can't Count to Five: The Case for Zero-Error Horizons in Trustworthy LLMs22 Jan 2026
- 2026A model of errors in transformers20 Jan 2026
- 2026Locate, Steer, and Improve: A Practical Survey of Actionable Mechanistic Interpretability in Large Language Models20 Jan 2026
- 2026When Models Manipulate Manifolds: The Geometry of a Counting Task8 Jan 2026
- 2025In-Context Algebra18 Dec 2025
- 2025Even with AI, Bijection Discovery is Still Hard: The Opportunities and Challenges of OpenEvolve for Novel Bijection Construction26 Nov 2025
- 2025Findings of the BlackboxNLP 2025 Shared Task: Localizing Circuits and Causal Variables in Language Models23 Nov 2025
- 2025Beyond World Models: Rethinking Understanding in AI Models15 Nov 2025
- 2025Can LLMs subtract numbers?4 Nov 2025
- 2025Language Models Learn Universal Representations of Numbers and Here's Why You Should Care30 Oct 2025
- 2025From Memorization to Reasoning in the Spectrum of Loss Curvature28 Oct 2025
- 2025Large Language Model Sourcing: A Survey11 Oct 2025
- 2025Why Can't Transformers Learn Multiplication? Reverse-Engineering Reveals Long-Range Dependency Pitfalls30 Sep 2025
- 2025Thinking Sparks!: Emergent Attention Heads in Reasoning Models During Post Training30 Sep 2025
- 2025Bridging Kolmogorov Complexity and Deep Learning: Asymptotically Optimal Description Length Objectives for Transformers26 Sep 2025
- 2025All for One: LLMs Solve Mental Math at the Last Token With Information Transferred From Other Tokens11 Sep 2025
- 2025Modular Arithmetic: Language Models Solve Math Digit by Digit4 Aug 2025
50 newest of 94 All 94 (JSON)
- 2025MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbationscited by 88
- 2025Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Modelscited by 65
- 2025Detection and Mitigation of Hallucination in Large Reasoning Models: A Mechanistic Perspectivecited by 32
- 2025Back Attention: Understanding and Enhancing Multi-Hop Reasoning in Large Language Modelscited by 23
- 2026Large Language Model Reasoning Failurescited by 20
- 2025Finite State Automata Inside Transformers with Chain-of-Thought: A Mechanistic Study on State Trackingcited by 17
- 2025Implicit Reasoning in Transformers is Reasoning through Shortcutscited by 14
- 2025Guiding Reasoning in Small Language Models with LLM Assistancecited by 13
- 2025Can LLMs Reason Abstractly Over Math Word Problems Without CoT? Disentangling Abstract Formulation From Arithmetic Computationcited by 8
- 2025Thinking Sparks!: Emergent Attention Heads in Reasoning Models During Post Trainingcited by 8
- 2025Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoningcited by 7
- 2025None of the Others: a General Technique to Distinguish Reasoning from Memorization in Multiple-Choice LLM Evaluation Benchmarkscited by 5
12 most cited of 24 All 24 (JSON)
- 2026The Geometry of Logic: Stratification Induces Semantic Structure and Robust Reasoning26 Sep 2026
- 2026LLMs Know the Constraint But Do Not Use It: Activation Bottlenecks in Pragmatic Constraint Reasoning29 May 2026
- 2026The Readout Shortcut: Positional Number Copying Dominates Arithmetic CoT Readout in Small Language Models20 May 2026
- 2026The Unlearnability Phenomenon in RLVR for Language Models16 May 2026
- 2026Disentangling Mathematical Reasoning in LLMs: A Methodological Investigation of Internal Mechanisms17 Apr 2026
- 2026The Model Says Walk: How Surface Heuristics Override Implicit Constraints in LLM Reasoning30 Mar 2026
- 2026Compressed Sensing for Capability Localization in Large Language Models11 Feb 2026
- 2026Reward Modeling for Reinforcement Learning-Based LLM Reasoning: Design, Challenges, and Evaluation10 Feb 2026
- 2026Large Language Model Reasoning Failures5 Feb 2026
- 2025From Memorization to Reasoning in the Spectrum of Loss Curvature28 Oct 2025
- 2025Thinking Sparks!: Emergent Attention Heads in Reasoning Models During Post Training30 Sep 2025
- 2025Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning14 Jul 2025
12 newest of 24 All 24 (JSON)
- 2026Pitfalls in Evaluating Interpretability Agentscited by 2
- 2026Pitfalls in Evaluating Interpretability Agents20 Mar 2026
- 2025MIB: A Mechanistic Interpretability Benchmarkcited by 49
- 2026When Models Manipulate Manifolds: The Geometry of a Counting Taskcited by 43
- 2026Locate, Steer, and Improve: A Practical Survey of Actionable Mechanistic Interpretability in Large Language Modelscited by 22
- 2025Questioning Representational Optimism in Deep Learning: The Fractured Entangled Representation Hypothesiscited by 19
- 2026Language Model Circuits Are Sparse in the Neuron Basiscited by 18
- 2025Probing for Arithmetic Errors in Language Modelscited by 17
- 2025Understanding and Mitigating Gender Bias in LLMs via Interpretable Neuron Editingcited by 14
- 2025The Lookahead Limitation: Why Multi-Operand Addition is Hard for LLMscited by 13
- 2025Are formal and functional linguistic mechanisms dissociated in language models?cited by 11
- 2025The Serial Scaling Hypothesiscited by 11
- 2025The Validation Gap: A Mechanistic Analysis of How Language Models Compute Arithmetic but Fail to Validate Itcited by 10
- 2026Procedural Pretraining: Warming Up Language Models with Abstract Datacited by 10
12 most cited of 63 All 63 (JSON)
- 2026RESCUE: Repairing Language Model Errors to Sparse Circuits via Reinforcement Learning29 Sep 2026
- 2026A Polyphonic Conception of AI Understanding28 Sep 2026
- 2026Rethinking Circuit Evaluation: Do Circuits Explain Model Errors?28 Sep 2026
- 2026Tracing mechanisms of sycophantic agreement in language models21 Sep 2026
- 2026Assessing LLMs' mathematical abilities requires understanding the various mechanisms of mathematical creativity17 Aug 2026
- 2026Can Transformers Really Do It All? On the Compatibility of Inductive Biases Across Tasks20 Jul 2026
- 2026Are Arithmetic Heuristic Neurons Form-Invariant? A Mechanistic Analysis of Symbols, Text, and Code in LLMs18 Jul 2026
- 2026Distributed Sparse Interventions in Language Models8 Jul 2026
- 2026Language Models Compare Quantities Using Number-specific and Unit-specific Heuristics2 Jun 2026
- 2026Represented Is Not Computed: A Causal Test of Candidate Algorithmic Intermediates in a Transformer21 May 2026
- 2026Data-driven Circuit Discovery for Interpretability of Language Models9 May 2026
- 2026Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering18 Apr 2026
12 newest of 63 All 63 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2024An Investigation of Neuron Activation as a Unified Lens to Explain Chain-of-Thought Eliciting Arithmetic Reasoning of LLMs
- 2025Language Models Use Trigonometry to Do Addition
- 2023Frugal LMs Trained to Invoke Symbolic Solvers Achieve Parameter-Efficient Arithmetic Reasoning
- 2024Language Models Do Hard Arithmetic Tasks Easily and Hardly Do Easy Arithmetic Tasks
- 2026Shared circuits predict whether LLMs generalize across formats in arithmetic reasoning
- 2025A Survey on Mathematical Reasoning and Optimization with Large Language Models
- 2026Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery
- 2026Mathematical Reasoning in Large Language Models: Benchmarks, Architectures, Evaluation, and Open Challenges