Saturated Transformers are Constant-Depth Threshold Circuits
Not on the map. Why?
Cited by 23 in LLM reasoning, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
Transformers have become a standard neural network architecture for many NLP problems, motivating theoretical analysis of their power in terms of formal languages. Recent work has shown that transformers with hard attention are quite limited in power (Hahn, 2020), as they can be simulated by constant-depth AND/OR circuits (Hao et al. 2021). However, hard attention is a strong assumption, which may complicate the relevance of these results in practice. In this work, we analyze the circuit complexity of transformers with saturated attention: a generalization of hard attention that more closely captures the attention patterns learnable in practical transformers. We first show that saturated transformers transcend the known limitations of hard-attention transformers. We then prove saturated transformers with floating-point values can be simulated by constant-depth threshold circuits, giving the class mathsfTC0 as an upper bound on the formal languages they recognize.
Key facts. Cited by 137 papers in the map (data through 7 Oct 2026). Builds on 14 of its 32 references that are in the map. First posted on arXiv 30 Jun 2021.
Builds on
14 of 32 references.
References · 14
- 2017Attention Is All You Needcited by 59,932
- 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,204
- 2016Layer Normalizationcited by 5,579
- 2019Are Transformers universal approximators of sequence-to-sequence functions?cited by 404
- 2019Theoretical Limitations of Self-Attention in Neural Sequence Modelscited by 286
- 2021Thinking Like Transformerscited by 182
- 2019On the Turing Completeness of Modern Neural Network Architecturescited by 129
- 2018On the Practical Computational Power of Finite Precision RNNs for Language Recognitioncited by 117
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
- 2020RNNs can generate bounded hierarchical languages with optimal memorycited by 59
- 2019Sequential Neural Networks as Automatacited by 54
- 2020Effects of Parameter Norm Growth During Transformer Training: Inductive Bias from Gradient Descentcited by 40
2 more
- 2018Rational Recurrencescited by 18
- 2021Formal Language Theory Meets Modern NLPcited by 9
Built on by
Citing papers per year: 2022: 5; 2023: 23; 2024: 37; 2025: 38; 2026: 34.
137 papers.
Sort:
By area:
- 2023Large Language Modelscited by 774
- 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thoughtcited by 334
- 2024Chain of Thought Empowers Transformers to Solve Inherently Serial Problemscited by 256
- 2023Looped Transformers as Programmable Computerscited by 224
- 2024Repeat After Me: Transformers are Better than State Space Models at Copyingcited by 208
- 2023What Algorithms can Transformers Learn? A Study in Length Generalizationcited by 198
- 2022The Parallelism Tradeoff: Limitations of Log-Precision Transformerscited by 191
- 2023Birth of a Transformer: A Memory Viewpointcited by 154
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2024Secret Collusion among AI Agents: Multi-Agent Deception via Steganographycited by 107
- 2023Tracr: Compiled Transformers as a Laboratory for Interpretabilitycited by 99
- 2022Formal Language Recognition by Hard Attention Transformers: Perspectives from Circuit Complexitycited by 92
38 more
- 2024Why are Sensitive Functions Hard for Transformers?cited by 74
- 2025Nested Learning: The Illusion of Deep Learning Architecturescited by 69
- 2022Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functionscited by 68
- 2022A Logic for Expressing Log-Precision Transformerscited by 67
- 2023Tighter Bounds on the Expressivity of Transformer Encoderscited by 65
- 2024Understanding Transformer Reasoning Capabilities via Graph Algorithmscited by 64
- 2023Understanding In-Context Learning in Transformers and LLMs by Learning to Learn Discrete Functionscited by 62
- 2024RNNs are not Transformers (Yet): The Key Bottleneck on In-context Retrievalcited by 62
- 2023Grokking of Hierarchical Structure in Vanilla Transformerscited by 53
- 2024A Mechanistic Analysis of a Transformer Trained on a Symbolic Multi-Step Reasoning Taskcited by 49
- 2025A Little Depth Goes a Long Way: The Expressive Power of Log-Depth Transformerscited by 49
- 2023Do Transformers Parse while Predicting the Masked Word?cited by 48
- 2023The Expressive Power of Transformers with Chain of Thoughtcited by 47
- 2023Are Transformers with One Layer Self-Attention Using Low-Rank Weight Matrices Universal Approximators?cited by 46
- 2023An Over-parameterized Exponential Regressioncited by 45
- 2023Learning Transformer Programscited by 40
- 2023The Impact of Depth on Compositional Generalization in Transformer Language Modelscited by 37
- 2024Transformers Can Represent n-gram Language Modelscited by 31
- 2025(How) Do Language Models Track State?cited by 31
- 2025Next-Latent Prediction Transformers Learn Compact World Modelscited by 29
- 2023Sparse Universal Transformercited by 28
- 2025MUDDFormer: Breaking Residual Bottlenecks in Transformers via Multiway Dynamic Dense Connectionscited by 27
- 2023Average-Hard Attention Transformers are Constant-Depth Uniform Threshold Circuitscited by 26
- 2024Circuit Complexity Bounds for RoPE-based Transformer Architecturecited by 26
- 2024Language Models Need Inductive Biases to Count Inductivelycited by 25
- 2024Mechanistic?cited by 25
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2024Provably learning a multi-head attention layercited by 21
- 2024The Computational Limits of State-Space Models and Mamba via the Lens of Circuit Complexitycited by 21
- 2025Implicit Language Models are RNNs: Balancing Parallelization and Expressivitycited by 21
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensionscited by 20
- 2024Do Efficient Transformers Really Save Computation?cited by 20
- 2024What Languages are Easy to Language-Model? A Perspective from Learning Probabilistic Regular Languagescited by 20
- 2025A Theory of Learning with Autoregressive Chain of Thoughtcited by 20
- 2024Why do small language models underperform? Studying Language Model Saturation via the Softmax Bottleneckcited by 19
- 2024Looped ReLU MLPs May Be All You Need as Practical Programmable Computerscited by 19
- 2025Exact Expressive Power of Transformers with Paddingcited by 19
- 2023Do pretrained Transformers Learn In-Context by Gradient Descent?cited by 18
50 most cited of 137 All 137 (JSON)
- 2026VC Dimension and Expressivity of Real-Valued Transformers25 Sep 2026
- 2026On the Expressive Power of Transformers13 Aug 2026
- 2026Transcript-Managed Transformers: Monotone Multi-Agent Collapse and Universality with Two Pop-Enabled Transcripts31 Jul 2026
- 2026A Compositional Theory of Causally Masked Transformers29 Jul 2026
- 2026Recursive Language Models Generalize Out of Domain23 Jul 2026
- 2026From Expressivity to Sample Complexity: Narrow Teachers for Transformers via C-RASP13 Jul 2026
- 2026Exploring the Cryptographic Limits of Transformer Networks28 Jun 2026
- 2026Tight Sample Complexity of Transformers8 Jun 2026
- 2026Position: Reasoning is a Learnable Rule-Based Process29 May 2026
- 2026Positional versus Symbolic Attention Heads: Learning Dynamics, RoPE Geometry, and Length Generalization29 May 2026
- 2026Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't28 May 2026
- 2026Chess-World-Model: A 10M-Game Benchmark for Exact State Tracking from Chess Move Sequences28 May 2026
38 more
- 2026Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization21 May 2026
- 2026Lost in Tokenization: Fundamental Trade-offs in Graph Tokenization for Transformers21 May 2026
- 2026Provably Shorter Scratchpads in Hybrid DeltaNet-Attention Decoders15 May 2026
- 2026The Scaling Properties of Implicit Deductive Reasoning in Transformers5 May 2026
- 2026Barriers to Universal Reasoning With Transformers (And How to Overcome Them)28 Apr 2026
- 2026The Recurrent Transformer: Greater Effective Depth and Efficient Decoding23 Apr 2026
- 2026Geometric Capacity of Transformers: A Tropical Geometry Perspective16 Apr 2026
- 2026On the Expressive Power and Limitations of Multi-Layer SSMs16 Apr 2026
- 2026Do Transformers Use their Depth Adaptively? Evidence from a Relational Reasoning Task14 Apr 2026
- 2026Circuit Complexity of Hierarchical Knowledge Tracing and Implications for Log-Precision Transformers25 Mar 2026
- 2026M2RNN: Non-Linear RNNs with Matrix-Valued States for Scalable Language Modeling15 Mar 2026
- 2026On the Computational Hardness of Transformers11 Mar 2026
- 2026Algorithmic Task Capture, Computational Complexity, and Inductive Bias of Infinite Transformers11 Mar 2026
- 2026Recursive Models for Long-Horizon Reasoning2 Mar 2026
- 2026Rational Transductors7 Feb 2026
- 2026Parity, Sensitivity, and Transformers5 Feb 2026
- 2026Certifiable Boolean Reasoning Is Universal4 Feb 2026
- 2026Statistical Guarantees for Reasoning Probes on Looped Boolean Circuits3 Feb 2026
- 2026What Structural Inductive Bias Helps Transformers Reason Over Knowledge Graphs? A Study with Tabula RASA2 Feb 2026
- 2026Barriers to Discrete Reasoning with Transformers: A Survey Across Depth, Exactness, and Bandwidth19 Jan 2026
- 2026Universal computation is intrinsic to language model decoding12 Jan 2026
- 2026Context-Free Recognition with Transformers5 Jan 2026
- 2025Nested Learning: The Illusion of Deep Learning Architectures31 Dec 2025
- 2025Provably Learning from Modern Language Models via Low Logit Rank10 Dec 2025
- 2025Rectifying LLM Thought from Lens of Optimization1 Dec 2025
- 2025Generalizable Insights for Graph Transformers in Theory and Practice11 Nov 2025
- 2025Scaling Laws and In-Context Learning: A Unified Theoretical Framework9 Nov 2025
- 2025Next-Latent Prediction Transformers Learn Compact World Models8 Nov 2025
- 2025Fundamental Limits of Crystalline Equivariant Graph Neural Networks: A Circuit Complexity Perspective7 Oct 2025
- 2025Performance-Efficiency Tradeoffs in Transformers: An Approximation Theory Perspective4 Oct 2025
- 2025The Transformer Cookbook1 Oct 2025
- 2025A Formal Comparison Between Chain of Thought and Latent Thought25 Sep 2025
- 2025Realizable Circuit Complexity: Embedding Computation in Space-Time23 Sep 2025
- 2025Fast attention mechanisms: a tale of parallelism10 Sep 2025
- 2025Beyond Memorization: Extending Reasoning Depth with Recurrence, Memory and Test-Time Compute Scaling22 Aug 2025
- 2025Towards High-Order Mean Flow Generative Models: Feasibility, Expressivity, and Provably Efficient Criteria9 Aug 2025
- 2025A Rose by Any Other Name Would Smell as Sweet: Categorical Homotopy Theory for Large Language Models7 Aug 2025
- 2025Topos Theory for Generative AI and LLMs5 Aug 2025
50 newest of 137 All 137 (JSON)
- 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thoughtcited by 334
- 2024Chain of Thought Empowers Transformers to Solve Inherently Serial Problemscited by 256
- 2022A Logic for Expressing Log-Precision Transformerscited by 67
- 2024Understanding Transformer Reasoning Capabilities via Graph Algorithmscited by 64
- 2023The Expressive Power of Transformers with Chain of Thoughtcited by 47
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2025Implicit Language Models are RNNs: Balancing Parallelization and Expressivitycited by 21
- 2025A Theory of Learning with Autoregressive Chain of Thoughtcited by 20
- 2025Exact Expressive Power of Transformers with Paddingcited by 19
- 2024Can Transformers Reason Logically? A Study in SAT Solvingcited by 16
- 2025A Formal Comparison Between Chain of Thought and Latent Thoughtcited by 14
- 2026Recursive Models for Long-Horizon Reasoningcited by 9
12 most cited of 23 All 23 (JSON)
- 2026The Scaling Properties of Implicit Deductive Reasoning in Transformers5 May 2026
- 2026Barriers to Universal Reasoning With Transformers (And How to Overcome Them)28 Apr 2026
- 2026On the Expressive Power and Limitations of Multi-Layer SSMs16 Apr 2026
- 2026Do Transformers Use their Depth Adaptively? Evidence from a Relational Reasoning Task14 Apr 2026
- 2026Recursive Models for Long-Horizon Reasoning2 Mar 2026
- 2026Certifiable Boolean Reasoning Is Universal4 Feb 2026
- 2025Rectifying LLM Thought from Lens of Optimization1 Dec 2025
- 2025A Formal Comparison Between Chain of Thought and Latent Thought25 Sep 2025
- 2025Beyond Memorization: Extending Reasoning Depth with Recurrence, Memory and Test-Time Compute Scaling22 Aug 2025
- 2025Data Shifts Hurt CoT: A Theoretical Study12 Jun 2025
- 2025Deciphering Trajectory-Aided LLM Reasoning: An Optimization Perspective26 May 2025
- 2025Exact Expressive Power of Transformers with Padding25 May 2025
12 newest of 23 All 23 (JSON)
- 2023Sparse Universal Transformercited by 28
- 2023Sparse Universal Transformer11 Oct 2023
- 2023Large Language Modelscited by 774
- 2023Looped Transformers as Programmable Computerscited by 224
- 2024Repeat After Me: Transformers are Better than State Space Models at Copyingcited by 208
- 2023What Algorithms can Transformers Learn? A Study in Length Generalizationcited by 198
- 2022The Parallelism Tradeoff: Limitations of Log-Precision Transformerscited by 191
- 2023Birth of a Transformer: A Memory Viewpointcited by 154
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2023Tracr: Compiled Transformers as a Laboratory for Interpretabilitycited by 99
- 2022Formal Language Recognition by Hard Attention Transformers: Perspectives from Circuit Complexitycited by 92
- 2024Why are Sensitive Functions Hard for Transformers?cited by 74
- 2025Nested Learning: The Illusion of Deep Learning Architecturescited by 69
- 2022Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functionscited by 68
12 most cited of 107 All 107 (JSON)
- 2026VC Dimension and Expressivity of Real-Valued Transformers25 Sep 2026
- 2026On the Expressive Power of Transformers13 Aug 2026
- 2026Transcript-Managed Transformers: Monotone Multi-Agent Collapse and Universality with Two Pop-Enabled Transcripts31 Jul 2026
- 2026A Compositional Theory of Causally Masked Transformers29 Jul 2026
- 2026Recursive Language Models Generalize Out of Domain23 Jul 2026
- 2026From Expressivity to Sample Complexity: Narrow Teachers for Transformers via C-RASP13 Jul 2026
- 2026Exploring the Cryptographic Limits of Transformer Networks28 Jun 2026
- 2026Tight Sample Complexity of Transformers8 Jun 2026
- 2026Position: Reasoning is a Learnable Rule-Based Process29 May 2026
- 2026Positional versus Symbolic Attention Heads: Learning Dynamics, RoPE Geometry, and Length Generalization29 May 2026
- 2026Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't28 May 2026
- 2026Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization21 May 2026
12 newest of 107 All 107 (JSON)