Average-Hard Attention Transformers are Constant-Depth Uniform Threshold Circuits
Not on the map. Why?
Abstract (arXiv)
Transformers have emerged as a widely used neural network model for various natural language processing tasks. Previous research explored their relationship with constant-depth threshold circuits, making two assumptions: average-hard attention and logarithmic precision for internal computations relative to input length. Merrill et al. (2022) prove that average-hard attention transformers recognize languages that fall within the complexity class TC0, denoting the set of languages that can be recognized by constant-depth polynomial-size threshold circuits. Likewise, Merrill and Sabharwal (2023) show that log-precision transformers recognize languages within the class of uniform TC0. This shows that both transformer models can be simulated by constant-depth threshold circuits, with the latter being more robust due to generating a uniform circuit family. Our paper shows that the first result can be extended to yield uniform circuits as well.
Key facts. Cited by 26 papers in the map (data through 7 Oct 2026). Builds on 6 of its 7 references that are in the map. First posted on arXiv 6 Aug 2023.
Builds on
6 of 7 references.
References · 6
- 2017Attention Is All You Needcited by 59,932
- 2022Transformers Learn Shortcuts to Automatacited by 260
- 2022The Parallelism Tradeoff: Limitations of Log-Precision Transformerscited by 191
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 137
- 2018On the Practical Computational Power of Finite Precision RNNs for Language Recognitioncited by 117
- 2018Rational Recurrencescited by 18
Built on by
Citing papers per year: 2023: 1; 2024: 7; 2025: 11; 2026: 7.
26 papers.
Sort:
By area:
- 2025Hierarchical Reasoning Modelcited by 167
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2024Transformers, parallel computation, and logarithmic depthcited by 75
- 2024Why are Sensitive Functions Hard for Transformers?cited by 74
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspectivecited by 45
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformerscited by 28
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2025Let Me Think! A Long Chain-of-Thought Can Be Worth Exponentially Many Short Onescited by 12
- 2024Position: An Inner Interpretability Framework for AI Inspired by Lessons from Cognitive Neurosciencecited by 11
- 2025Language models can learn implicit multi-hop reasoning, but only if they have lots of training datacited by 11
- 2025Unique Hard Attention: A Tale of Two Sidescited by 10
- 2025Lost in Transmission: When and Why LLMs Fail to Reason Globallycited by 9
14 more
- 2024Logicbreaks: A Framework for Understanding Subversion of Rule-based Inferencecited by 3
- 2026Context-Free Recognition with Transformerscited by 3
- 2025Is In-Context Learning Learning?cited by 2
- 2024Theoretical Analysis of Hierarchical Language Recognition and Generation by Transformers without Positional Encodingcited by 1
- 2025Three tiers of computation in transformers and in brain architecturescited by 1
- 2025Can Test-time Computation Mitigate Reproduction Bias in Neural Symbolic Regression?cited by 1
- 2025Realizable Circuit Complexity: Embedding Computation in Space-Timecited by 1
- 2026On the Ability of Transformers to Verify Planscited by 1
- 2025BAR Conjecture: the Feasibility of Inference Budget-Constrained LLM Services with Authenticity and Reasoningcited by 0
- 2026Every Bit Counts: A Theoretical Study of Precision-Expressivity Tradeoffs in Quantized Transformerscited by 0
- 2026Average Attention Transformers and Arithmetic Circuitscited by 0
- 2026A First-Principles Theory of Slow Thinking and Active Perceptioncited by 0
- 2026On the Expressive Power of Transformerscited by 0
- 2026Hidden Reasoning Must Leak, but Need Not Be Readable: Fundamental Opportunities and Limits for Chain-of-Thought Monitoringcited by 0
- 2026Hidden Reasoning Must Leak, but Need Not Be Readable: Fundamental Opportunities and Limits for Chain-of-Thought Monitoring29 Sep 2026
- 2026On the Expressive Power of Transformers13 Aug 2026
- 2026A First-Principles Theory of Slow Thinking and Active Perception9 Jul 2026
- 2026Average Attention Transformers and Arithmetic Circuits6 May 2026
- 2026On the Ability of Transformers to Verify Plans20 Mar 2026
- 2026Every Bit Counts: A Theoretical Study of Precision-Expressivity Tradeoffs in Quantized Transformers2 Feb 2026
- 2026Context-Free Recognition with Transformers5 Jan 2026
- 2025Realizable Circuit Complexity: Embedding Computation in Space-Time23 Sep 2025
- 2025Is In-Context Learning Learning?12 Sep 2025
- 2025BAR Conjecture: the Feasibility of Inference Budget-Constrained LLM Services with Authenticity and Reasoning31 Jul 2025
- 2025Hierarchical Reasoning Model26 Jun 2025
- 2025Can Test-time Computation Mitigate Reproduction Bias in Neural Symbolic Regression?28 May 2025
14 more
- 2025Let Me Think! A Long Chain-of-Thought Can Be Worth Exponentially Many Short Ones27 May 2025
- 2025Language models can learn implicit multi-hop reasoning, but only if they have lots of training data23 May 2025
- 2025Lost in Transmission: When and Why LLMs Fail to Reason Globally13 May 2025
- 2025Unique Hard Attention: A Tale of Two Sides18 Mar 2025
- 2025Three tiers of computation in transformers and in brain architectures5 Mar 2025
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers4 Feb 2025
- 2024Training Neural Networks as Recognizers of Formal Languages11 Nov 2024
- 2024Theoretical Analysis of Hierarchical Language Recognition and Generation by Transformers without Positional Encoding16 Oct 2024
- 2024Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference21 Jun 2024
- 2024Position: An Inner Interpretability Framework for AI Inspired by Lessons from Cognitive Neuroscience3 Jun 2024
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspective27 May 2024
- 2024Why are Sensitive Functions Hard for Transformers?15 Feb 2024
- 2024Transformers, parallel computation, and logarithmic depth14 Feb 2024
- 2023What Formal Languages Can Transformers Express? A Survey1 Nov 2023
- 2025Hierarchical Reasoning Modelcited by 167
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformerscited by 28
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2025Let Me Think! A Long Chain-of-Thought Can Be Worth Exponentially Many Short Onescited by 12
- 2025Language models can learn implicit multi-hop reasoning, but only if they have lots of training datacited by 11
- 2025Lost in Transmission: When and Why LLMs Fail to Reason Globallycited by 9
- 2025BAR Conjecture: the Feasibility of Inference Budget-Constrained LLM Services with Authenticity and Reasoningcited by 0
- 2026A First-Principles Theory of Slow Thinking and Active Perceptioncited by 0
- 2026Hidden Reasoning Must Leak, but Need Not Be Readable: Fundamental Opportunities and Limits for Chain-of-Thought Monitoringcited by 0
- 2026Hidden Reasoning Must Leak, but Need Not Be Readable: Fundamental Opportunities and Limits for Chain-of-Thought Monitoring29 Sep 2026
- 2026A First-Principles Theory of Slow Thinking and Active Perception9 Jul 2026
- 2025BAR Conjecture: the Feasibility of Inference Budget-Constrained LLM Services with Authenticity and Reasoning31 Jul 2025
- 2025Hierarchical Reasoning Model26 Jun 2025
- 2025Let Me Think! A Long Chain-of-Thought Can Be Worth Exponentially Many Short Ones27 May 2025
- 2025Language models can learn implicit multi-hop reasoning, but only if they have lots of training data23 May 2025
- 2025Lost in Transmission: When and Why LLMs Fail to Reason Globally13 May 2025
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers4 Feb 2025
- 2024Training Neural Networks as Recognizers of Formal Languages11 Nov 2024
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2024Transformers, parallel computation, and logarithmic depthcited by 75
- 2024Why are Sensitive Functions Hard for Transformers?cited by 74
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspectivecited by 45
- 2024Position: An Inner Interpretability Framework for AI Inspired by Lessons from Cognitive Neurosciencecited by 11
- 2025Unique Hard Attention: A Tale of Two Sidescited by 10
- 2026Context-Free Recognition with Transformerscited by 3
- 2025Is In-Context Learning Learning?cited by 2
- 2024Theoretical Analysis of Hierarchical Language Recognition and Generation by Transformers without Positional Encodingcited by 1
- 2025Three tiers of computation in transformers and in brain architecturescited by 1
- 2025Can Test-time Computation Mitigate Reproduction Bias in Neural Symbolic Regression?cited by 1
- 2025Realizable Circuit Complexity: Embedding Computation in Space-Timecited by 1
12 most cited of 16 All 16 (JSON)
- 2026On the Expressive Power of Transformers13 Aug 2026
- 2026Average Attention Transformers and Arithmetic Circuits6 May 2026
- 2026On the Ability of Transformers to Verify Plans20 Mar 2026
- 2026Every Bit Counts: A Theoretical Study of Precision-Expressivity Tradeoffs in Quantized Transformers2 Feb 2026
- 2026Context-Free Recognition with Transformers5 Jan 2026
- 2025Realizable Circuit Complexity: Embedding Computation in Space-Time23 Sep 2025
- 2025Is In-Context Learning Learning?12 Sep 2025
- 2025Can Test-time Computation Mitigate Reproduction Bias in Neural Symbolic Regression?28 May 2025
- 2025Unique Hard Attention: A Tale of Two Sides18 Mar 2025
- 2025Three tiers of computation in transformers and in brain architectures5 Mar 2025
- 2024Theoretical Analysis of Hierarchical Language Recognition and Generation by Transformers without Positional Encoding16 Oct 2024
- 2024Position: An Inner Interpretability Framework for AI Inspired by Lessons from Cognitive Neuroscience3 Jun 2024
12 newest of 16 All 16 (JSON)