Arithmetic in the Wild: Llama uses Base-10 Addition to Reason About Cyclic Concepts
Not on the map. Why?
Abstract (arXiv)
Does structure in representations imply structure in computation? We study how Llama-3.1-8B reasons over cyclic concepts (e.g., "what month is six months after August?"). Even though Llama-3.1-8B's representations for these concepts are circularly structured, we find that instead of directly computing modular addition in the period of the cyclic concept (e.g., 12 for months), the model re-uses a generic addition mechanism across tasks that operates independently of concept-specific geometry. First, it computes the sum of its two inputs using base-10 addition (six + August=14). Then, it maps this sum back to cyclic concept space (14->February). We show that Llama-3.1-8B uses task-agnostic Fourier features to compute these sums--in fact, these features have periods that respect standard base-10 addition, e.g., 2, 5, and 10, rather than the cyclic concept period (e.g., 12 for months). Furthermore, we identify a sparse set of 28 MLP neurons re-used across all tasks (approximately 0.2% of the MLP at layer 18) that can be partitioned into disjoint clusters, each computing the sum for a Fourier feature with a different period. Our work highlights how an interplay between causal abstraction and feature geometry can deepen our mechanistic understanding of LMs.
Key facts. Cited by 9 papers in the map (data through 7 Oct 2026). First posted on arXiv 1 May 2026.
Builds on
0 of 0 references.
No references here yet.
Built on by
Citing papers per year: 2026: 9.
9 papers.
- 2026Why Larger Models Learn More: Effects of Capacity, Interference, and Rare-Task Retentioncited by 8
- 2026Structuring Sparsity: Block-Sparse Featurizers Capture Visual Concept Manifoldscited by 3
- 2026When Does Activation Steering Change What a Model Computes From?cited by 2
- 2026Relational Rank Geometry in Transformers: Detecting and Steering Hidden-State Relation Framescited by 0
- 2026A Shared Subcircuit Lets LLMs Count Down Across Taskscited by 0
- 2026The Misery of Mechanistic Interpretability: A Formal Perspectivecited by 0
- 2026Causal and Interpretable Structures in LLM Compositional Taskscited by 0
- 2026A Polyphonic Conception of AI Understandingcited by 0
- 2026When Models Don't Manipulate Manifolds: The Geometry of a Comparison Taskcited by 0
- 2026When Models Don't Manipulate Manifolds: The Geometry of a Comparison Task29 Sep 2026
- 2026A Polyphonic Conception of AI Understanding28 Sep 2026
- 2026Causal and Interpretable Structures in LLM Compositional Tasks28 Sep 2026
- 2026The Misery of Mechanistic Interpretability: A Formal Perspective14 Sep 2026
- 2026A Shared Subcircuit Lets LLMs Count Down Across Tasks14 Jul 2026
- 2026When Does Activation Steering Change What a Model Computes From?28 Jun 2026
- 2026Structuring Sparsity: Block-Sparse Featurizers Capture Visual Concept Manifolds23 Jun 2026
- 2026Relational Rank Geometry in Transformers: Detecting and Steering Hidden-State Relation Frames28 May 2026
- 2026Why Larger Models Learn More: Effects of Capacity, Interference, and Rare-Task Retention28 May 2026