On the Turing Completeness of Modern Neural Network Architectures
Not on the map. Why?
Abstract (arXiv)
Alternatives to recurrent neural networks, in particular, architectures based on attention or convolutions, have been gaining momentum for processing input sequences. In spite of their relevance, the computational properties of these alternatives have not yet been fully explored. We study the computational power of two of the most paradigmatic architectures exemplifying these mechanisms: the Transformer (Vaswani et al., 2017) and the Neural GPU (Kaiser & Sutskever, 2016). We show both models to be Turing complete exclusively based on their capacity to compute and access internal dense representations of the data. In particular, neither the Transformer nor the Neural GPU requires access to an external memory to become Turing complete. Our study also reveals some minimal sets of elements needed to obtain these completeness results.
Key facts. Cited by 129 papers in the map (data through 7 Oct 2026). First posted on arXiv 10 Jan 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 18; 2022: 12; 2023: 27; 2024: 29; 2025: 22; 2026: 21.
129 papers.
Sort:
By area:
- 2021Transformers in Vision: A Surveycited by 1,009
- 2022What Can Transformers Learn In-Context? A Case Study of Simple Function Classescited by 700
- 2021Attention is Not All You Need: Pure Attention Loses Rank Doubly Exponentially with Depthcited by 411
- 2023Trained Transformers Learn Linear Models In-Contextcited by 331
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspectivecited by 293
- 2023Transformers as Statisticians: Provable In-Context Learning with In-Context Algorithm Selectioncited by 291
- 2024Chain of Thought Empowers Transformers to Solve Inherently Serial Problemscited by 256
- 2023Looped Transformers as Programmable Computerscited by 224
- 2022Neural Networks and the Chomsky Hierarchycited by 214
- 2022The Parallelism Tradeoff: Limitations of Log-Precision Transformerscited by 191
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 137
- 2023Representational Strengths and Limitations of Transformerscited by 132
38 more
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
- 2021Statistically Meaningful Approximation: a Case Study on Approximating Turing Machines with Transformerscited by 101
- 2023The Expressive Power of Low-Rank Adaptationcited by 100
- 2022Formal Language Recognition by Hard Attention Transformers: Perspectives from Circuit Complexitycited by 92
- 2023Transformers as Decision Makers: Provable In-Context Reinforcement Learning via Supervised Pretrainingcited by 82
- 2025A Survey on Latent Reasoningcited by 71
- 2022A Logic for Expressing Log-Precision Transformerscited by 67
- 2023Understanding In-Context Learning in Transformers and LLMs by Learning to Learn Discrete Functionscited by 62
- 2024Can Looped Transformers Learn to Implement Multi-step Gradient Descent for In-context Learning?cited by 60
- 2021Handcrafted Backdoors in Deep Neural Networkscited by 57
- 2022HYPRO: A Hybridly Normalized Probabilistic Model for Long-Horizon Prediction of Event Sequencescited by 57
- 2022Provably expressive temporal graph networkscited by 56
- 2022MIP-GNN: A Data-Driven Framework for Guiding Combinatorial Solverscited by 48
- 2023Memory Augmented Large Language Models are Computationally Universalcited by 45
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspectivecited by 45
- 2021On the Expressive Power of Self-Attention Matricescited by 44
- 2023The Closeness of In-Context Learning and Weight Shifting for Softmax Regressioncited by 41
- 2023What can a Single Attention Layer Learn? A Study Through the Random Features Lenscited by 39
- 2021Lipschitz Normalization for Self-Attention Layers with Application to Graph Neural Networkscited by 38
- 2021Vector Symbolic Architectures as a Computing Framework for Emerging Hardwarecited by 35
- 2023Approximation and Estimation Ability of Transformers for Sequence-to-Sequence Functions with Infinite Dimensional Inputcited by 32
- 2024Iteration Head: A Mechanistic Study of Chain-of-Thoughtcited by 31
- 2024Separations in the Representational Capabilities of Transformers and Recurrent Architecturescited by 29
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformerscited by 28
- 2021Position, Padding and Predictions: A Deeper Look at Position Information in CNNscited by 26
- 2022Attention-based Neural Cellular Automatacited by 26
- 2024Universal Length Generalization with Turing Programscited by 25
- 2024How Numerical Precision Affects Arithmetical Reasoning Capabilities of LLMscited by 24
- 2024Transformers Provably Learn Sparse Token Selection While Fully-Connected Nets Cannotcited by 21
- 2024On the Complexity of Neural Computation in Superpositioncited by 21
- 2024The Computational Limits of State-Space Models and Mamba via the Lens of Circuit Complexitycited by 21
- 2023How Powerful are Decoder-Only Transformer Neural Models?cited by 20
- 2024Do Efficient Transformers Really Save Computation?cited by 20
- 2023Dissecting Chain-of-Thought: Compositionality through In-Context Filtering and Learningcited by 19
- 2023Large Sequence Models for Sequential Decision-Making: A Surveycited by 19
- 2024Sample, estimate, aggregate: A recipe for causal discovery foundation modelscited by 19
- 2024Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theorycited by 19
50 most cited of 129 All 129 (JSON)
- 2026Pattern Formation in Transformers29 Sep 2026
- 2026Chain-of-Thought Shows the Path to a Tree: Realizing Branching Complexity12 Aug 2026
- 2026On the Computational Complexity of Structural Generalization21 Jul 2026
- 2026When LLMs Develop Languages: Symbolic Communication for Efficient Multi-Agent Reasoning28 Jun 2026
- 2026Asymptotic Signal Subspace Recovery in Softmax Attention Models21 Jun 2026
- 2026Test-Time Compute Scaling for ASR with Depth-Conditioned Looped Transformers3 Jun 2026
- 2026Causal Evidence of Stack Representations in Modeling Counter Languages Using Transformers2 Jun 2026
- 2026LT2: Linear-Time Looped Transformers20 May 2026
- 2026Position: The Turing-Completeness of Autoregressive Transformers Relies Heavily on Context Management19 May 2026
- 2026Neural Weight Norm = Kolmogorov Complexity11 May 2026
- 2026Von Neumann Networks7 May 2026
- 2026Barriers to Universal Reasoning With Transformers (And How to Overcome Them)28 Apr 2026
38 more
- 2026Gating Enables Curvature: A Geometric Expressivity Gap in Attention16 Apr 2026
- 2026LA-Sign: Looped Transformers with Geometry-aware Alignment for Skeleton-based Sign Language Recognition30 Mar 2026
- 2026Transformers in the Dark: Navigating Unknown Search Spaces via Bandit Feedback25 Mar 2026
- 2026Certifiable Boolean Reasoning Is Universal4 Feb 2026
- 2026Statistical Guarantees for Reasoning Probes on Looped Boolean Circuits3 Feb 2026
- 2026Every Bit Counts: A Theoretical Study of Precision-Expressivity Tradeoffs in Quantized Transformers2 Feb 2026
- 2026A Provable Expressiveness Hierarchy in Hybrid Linear-Full Attention2 Feb 2026
- 2026A model of errors in transformers20 Jan 2026
- 2026Universal computation is intrinsic to language model decoding12 Jan 2026
- 2025Exact Learning of Arithmetic with Differentiable Agents27 Nov 2025
- 2025Generalizable Insights for Graph Transformers in Theory and Practice11 Nov 2025
- 2025A Theoretical Analysis of Detecting Large Model-Generated Time Series10 Nov 2025
- 2025Benefits and Limitations of Communication in Multi-Agent Reasoning14 Oct 2025
- 2025Latent Twins24 Sep 2025
- 2025Fast weight programming and linear transformers: from machine learning to neurobiology11 Aug 2025
- 2025A Survey on Latent Reasoning8 Jul 2025
- 2025On the Existence of Universal Simulators of Attention23 Jun 2025
- 2025Eliciting Fine-Tuned Transformer Capabilities via Inference-Time Techniques9 Jun 2025
- 2025Transformers Meet In-Context Learning: A Universal Approximation Theory5 Jun 2025
- 2025Characterizing the Expressivity of Fixed-Precision Transformer Language Models29 May 2025
- 2025Born a Transformer -- Always a Transformer? On the Effect of Pretraining on Architectural Abilities27 May 2025
- 2025Pause Tokens Strictly Increase the Expressivity of Constant-Depth Transformers27 May 2025
- 2025LLM Web Dynamics: Tracing Model Collapse in a Network of LLMs26 May 2025
- 2025Transformers in Protein: A Survey26 May 2025
- 2025Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework28 Apr 2025
- 2025Three tiers of computation in transformers and in brain architectures5 Mar 2025
- 2025Towards Understanding Multi-Round Large Language Model Reasoning: Approximability, Learnability and Generalizability5 Mar 2025
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers4 Feb 2025
- 2025Emergent Stack Representations in Modeling Counter Languages Using Transformers3 Feb 2025
- 2025Are Transformers Able to Reason by Connecting Separated Knowledge in Training Data?27 Jan 2025
- 2025Circuit Complexity Bounds for Visual Autoregressive Model8 Jan 2025
- 2024Simulating Hard Attention Using Soft Attention13 Dec 2024
- 2024The Computational Limits of State-Space Models and Mamba via the Lens of Circuit Complexity9 Dec 2024
- 2024Ask, and it shall be given: On the Turing completeness of prompting4 Nov 2024
- 2024On the Role of Depth and Looping for In-Context Learning with Task Diversity29 Oct 2024
- 2024How Numerical Precision Affects Arithmetical Reasoning Capabilities of LLMs17 Oct 2024
- 2024Learning Linear Attention in Polynomial Time14 Oct 2024
- 2024Looped ReLU MLPs May Be All You Need as Practical Programmable Computers12 Oct 2024
50 newest of 129 All 129 (JSON)
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspectivecited by 293
- 2024Chain of Thought Empowers Transformers to Solve Inherently Serial Problemscited by 256
- 2025A Survey on Latent Reasoningcited by 71
- 2022A Logic for Expressing Log-Precision Transformerscited by 67
- 2024Iteration Head: A Mechanistic Study of Chain-of-Thoughtcited by 31
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformerscited by 28
- 2024How Numerical Precision Affects Arithmetical Reasoning Capabilities of LLMscited by 24
- 2023Dissecting Chain-of-Thought: Compositionality through In-Context Filtering and Learningcited by 19
- 2024Can Transformers Reason Logically? A Study in SAT Solvingcited by 16
- 2025Benefits and Limitations of Communication in Multi-Agent Reasoningcited by 7
- 2025Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Frameworkcited by 4
- 2026Test-Time Compute Scaling for ASR with Depth-Conditioned Looped Transformerscited by 2
12 most cited of 17 All 17 (JSON)
- 2026Chain-of-Thought Shows the Path to a Tree: Realizing Branching Complexity12 Aug 2026
- 2026When LLMs Develop Languages: Symbolic Communication for Efficient Multi-Agent Reasoning28 Jun 2026
- 2026Test-Time Compute Scaling for ASR with Depth-Conditioned Looped Transformers3 Jun 2026
- 2026Barriers to Universal Reasoning With Transformers (And How to Overcome Them)28 Apr 2026
- 2026Certifiable Boolean Reasoning Is Universal4 Feb 2026
- 2025Benefits and Limitations of Communication in Multi-Agent Reasoning14 Oct 2025
- 2025A Survey on Latent Reasoning8 Jul 2025
- 2025Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework28 Apr 2025
- 2025Towards Understanding Multi-Round Large Language Model Reasoning: Approximability, Learnability and Generalizability5 Mar 2025
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers4 Feb 2025
- 2024How Numerical Precision Affects Arithmetical Reasoning Capabilities of LLMs17 Oct 2024
- 2024Can Transformers Reason Logically? A Study in SAT Solving9 Oct 2024
12 newest of 17 All 17 (JSON)
- 2023The Expressive Power of Low-Rank Adaptationcited by 100
- 2023The Expressive Power of Low-Rank Adaptation26 Oct 2023
- 2021Transformers in Vision: A Surveycited by 1,009
- 2022What Can Transformers Learn In-Context? A Case Study of Simple Function Classescited by 700
- 2021Attention is Not All You Need: Pure Attention Loses Rank Doubly Exponentially with Depthcited by 411
- 2023Trained Transformers Learn Linear Models In-Contextcited by 331
- 2023Transformers as Statisticians: Provable In-Context Learning with In-Context Algorithm Selectioncited by 291
- 2023Looped Transformers as Programmable Computerscited by 224
- 2022Neural Networks and the Chomsky Hierarchycited by 214
- 2022The Parallelism Tradeoff: Limitations of Log-Precision Transformerscited by 191
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 137
- 2023Representational Strengths and Limitations of Transformerscited by 132
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
12 most cited of 108 All 108 (JSON)
- 2026Pattern Formation in Transformers29 Sep 2026
- 2026On the Computational Complexity of Structural Generalization21 Jul 2026
- 2026Asymptotic Signal Subspace Recovery in Softmax Attention Models21 Jun 2026
- 2026Causal Evidence of Stack Representations in Modeling Counter Languages Using Transformers2 Jun 2026
- 2026LT2: Linear-Time Looped Transformers20 May 2026
- 2026Position: The Turing-Completeness of Autoregressive Transformers Relies Heavily on Context Management19 May 2026
- 2026Neural Weight Norm = Kolmogorov Complexity11 May 2026
- 2026Von Neumann Networks7 May 2026
- 2026Gating Enables Curvature: A Geometric Expressivity Gap in Attention16 Apr 2026
- 2026LA-Sign: Looped Transformers with Geometry-aware Alignment for Skeleton-based Sign Language Recognition30 Mar 2026
- 2026Transformers in the Dark: Navigating Unknown Search Spaces via Bandit Feedback25 Mar 2026
- 2026Statistical Guarantees for Reasoning Probes on Looped Boolean Circuits3 Feb 2026
12 newest of 108 All 108 (JSON)