Neural Networks and the Chomsky Hierarchy
Not on the map. Why?
Cited by 23 in LLM reasoning, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
Reliable generalization lies at the heart of safe ML and AI. However, understanding when and how neural networks generalize remains one of the most important unsolved problems in the field. In this work, we conduct an extensive empirical study (20'910 models, 15 tasks) to investigate whether insights from the theory of computation can predict the limits of neural network generalization in practice. We demonstrate that grouping tasks according to the Chomsky hierarchy allows us to forecast whether certain architectures will be able to generalize to out-of-distribution inputs. This includes negative results where even extensive amounts of data and training time never lead to any non-trivial generalization, despite models having sufficient capacity to fit the training data perfectly. Our results show that, for our subset of tasks, RNNs and Transformers fail to generalize on non-regular tasks, LSTMs can solve regular and counter-language tasks, and only networks augmented with structured memory (such as a stack or memory tape) can successfully generalize on context-free and context-sensitive tasks.
Key facts. Cited by 214 papers in the map (data through 7 Oct 2026). Builds on 47 of its 95 references that are in the map. First posted on arXiv 5 Jul 2022.
Builds on
47 of 95 references.
References · 47
- 2017Attention Is All You Needcited by 59,932
- 2014Adam: A Method for Stochastic Optimizationcited by 36,960
- 2020Scaling Laws for Neural Language Modelscited by 6,411
- 2021RoFormer: Enhanced Transformer with Rotary Position Embeddingcited by 4,581
- 2014Neural Machine Translation by Jointly Learning to Align and Translatecited by 4,530
- 2014Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translationcited by 4,016
- 2014Sequence to Sequence Learning with Neural Networkscited by 2,974
- 2019Transformer-XL: Attentive Language Models Beyond a Fixed-Length Contextcited by 1,830
- 2018Relational inductive biases, deep learning, and graph networkscited by 1,341
- 2021Train Short, Test Long: Attention with Linear Biases Enables Input Length Extrapolationcited by 1,085
- 2014Neural Turing Machinescited by 630
- 2022Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasetscited by 599
35 more
- 2016Adaptive Computation Time for Recurrent Neural Networkscited by 479
- 2014Memory Networkscited by 354
- 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
- 2015Neural GPUs Learn Algorithmscited by 118
- 2018On the Practical Computational Power of Finite Precision RNNs for Language Recognitioncited by 117
- 2022Overcoming a Theoretical Limitation of Self-Attentioncited by 110
- 2022Unveiling Transformers with LEGO: a synthetic reasoning taskcited by 105
- 2022Formal Language Recognition by Hard Attention Transformers: Perspectives from Circuit Complexitycited by 92
- 2015Inferring Algorithmic Patterns with Stack-Augmented Recurrent Netscited by 76
- 2020A Formal Hierarchy of RNN Architecturescited by 61
- 2015Learning to Transduce with Unbounded Memorycited by 54
- 2019Sequential Neural Networks as Automatacited by 54
- 2020How Can Self-Attention Networks Recognize Dyck-n Languages?cited by 51
- 2019LSTM Networks Can Perform Dynamic Countingcited by 45
- 2016Associative Long Short-Term Memorycited by 37
- 2019On the Computational Power of RNNscited by 35
- 2022End-to-end Algorithm Synthesis with Recurrent Networks: Logical Extrapolation Without Overthinkingcited by 33
- 2015Neural Random-Access Machinescited by 32
- 2019Memory-Augmented Recurrent Neural Networks Can Learn Generalized Dyck Languagescited by 31
- 2017Recurrent Neural Networks as Weighted Language Recognizerscited by 30
- 2015Grid Long Short-Term Memorycited by 19
- 2020A Survey of Neural Networks and Formal Languagescited by 17
- 2018Evaluating the Ability of LSTMs to Learn Context-Free Grammarscited by 16
- 2021Learning Hierarchical Structures with Differentiable Nondeterministic Stackscited by 16
- 2020Learning Context-Free Languages with Nondeterministic Stack RNNscited by 15
- 2018Context-Free Transductions with Neural Stackscited by 14
- 2015Learning Simple Algorithms from Examplescited by 12
- 2015Reinforcement Learning Neural Turing Machines - Revisedcited by 11
- 2017The Neural Network Pushdown Automaton: Model, Stack and Learning Simulationscited by 10
- 2016Extensions and Limitations of the Neural GPUcited by 7
- 2020Recognizing Long Grammatical Sequences Using Recurrent Networks Augmented With An External Differentiable Stackcited by 5
- 2017Improving the Neural GPU Architecture for Algorithm Learningcited by 4
- 2016Lie-Access Neural Turing Machinescited by 2
Built on by
Citing papers per year: 2022: 6; 2023: 38; 2024: 57; 2025: 57; 2026: 56.
214 papers.
Sort:
By area:
- 2024GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Modelscited by 533
- 2023The Impact of Positional Encoding on Length Generalization in Transformerscited by 319
- 2022Transformers Learn Shortcuts to Automatacited by 260
- 2023Language Modeling Is Compressioncited by 225
- 2024Repeat After Me: Transformers are Better than State Space Models at Copyingcited by 208
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2023Randomized Positional Encodings Boost Length Generalization of Transformerscited by 114
- 2023Mechanistically analyzing the effects of fine-tuning on procedurally defined taskscited by 110
- 2025TiRex: Zero-Shot Forecasting Across Long and Short Horizons with Enhanced In-Context Learningcited by 107
- 2024Can Mamba Learn How to Learn? A Comparative Study on In-Context Learning Taskscited by 104
- 2022General-Purpose In-Context Learning by Meta-Learning Transformerscited by 102
- 2024Unlocking State-Tracking in Linear RNNs Through Negative Eigenvaluescited by 97
38 more
- 2023Physics of Language Models: Part 1, Learning Hierarchical Language Structurescited by 83
- 2024Transformers Can Achieve Length Generalization But Not Robustlycited by 82
- 2025DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Productscited by 69
- 2022Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functionscited by 68
- 2024SynCode: LLM Generation with Grammar Augmentationcited by 66
- 2023Understanding In-Context Learning in Transformers and LLMs by Learning to Learn Discrete Functionscited by 62
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspectivecited by 45
- 2024Neural Redshift: Random Networks are not Random Functionscited by 43
- 2023Modeling rapid language learning by distilling Bayesian priors into artificial neural networkscited by 40
- 2023Never Train from Scratch: Fair Comparison of Long-Sequence Models Requires Data-Driven Priorscited by 33
- 2024The What, Why, and How of Context Length Extension Techniques in Large Language Models -- A Detailed Surveycited by 32
- 2024Mission: Impossible Language Modelscited by 31
- 2025(How) Do Language Models Track State?cited by 31
- 2024DAPE: Data-Adaptive Positional Encoding for Length Extrapolationcited by 30
- 2022Towards Better Out-of-Distribution Generalization of Neural Algorithmic Reasoning Taskscited by 29
- 2024Learning Universal Predictorscited by 29
- 2024Separations in the Representational Capabilities of Transformers and Recurrent Architecturescited by 29
- 2024Counting Ability of Large Language Models and Impact of Tokenizationcited by 29
- 2025Why Prompt Design Matters and Works: A Complexity Analysis of Prompt Search Space in LLMscited by 29
- 2023Sparse Universal Transformercited by 28
- 2024The CLRS-Text Algorithmic Reasoning Language Benchmarkcited by 28
- 2024On Expressive Power of Looped Transformers: Theoretical Analysis and Enhancement via Timestep Encodingcited by 28
- 2024Language Models Need Inductive Biases to Count Inductivelycited by 25
- 2024Universal Length Generalization with Turing Programscited by 25
- 2024Language Models as Models of Languagecited by 24
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2025Can Language Models Learn Typologically Implausible Languages?cited by 23
- 2024On Provable Length and Compositional Generalizationcited by 22
- 2024Position Coupling: Improving Length Generalization of Arithmetic Transformers Using Task Structurecited by 22
- 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
- 2024What Languages are Easy to Language-Model? A Perspective from Learning Probabilistic Regular Languagescited by 20
- 2022Systematic Generalization and Emergent Structures in Transformers Trained on Structured Taskscited by 19
- 2023Pushdown Layers: Encoding Recursive Structure in Transformer Language Modelscited by 18
- 2023Can Transformers Learn to Solve Problems Recursively?cited by 17
- 2024Algorithmic Capabilities of Random Transformerscited by 17
- 2025Finite State Automata Inside Transformers with Chain-of-Thought: A Mechanistic Study on State Trackingcited by 17
- 2025GSM-Infinite: How Do Your LLMs Behave over Infinitely Increasing Context Length and Reasoning Complexity?cited by 16
50 most cited of 214 All 214 (JSON)
- 2026TraceRelay: Attention-Aligned Recurrence over Rolling Traces8 Oct 2026
- 2026Typological Alignment of Stack-Based Language Models on Mildly Context-Sensitive Artificial Languages1 Oct 2026
- 2026RoPE is Dead, Long Live RoPE: Towards Scalable Data-aware Positional Encodings28 Sep 2026
- 2026Length-Independent State Tracking Under a Parallel Scan26 Sep 2026
- 2026Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization21 Sep 2026
- 2026Anatomy of Associative Recall in Fixed-State Recurrences: A Matched-State Decomposition, an Interference Wall, and a Curriculum That Breaks It14 Sep 2026
- 2026The Rank the Task Demands: A Causal Rank Law for Matrix Memories Trained on Group Composition10 Sep 2026
- 2026How Wrong Can a Good Predictor Be? Diverging Updates with Vanishing Predictive KL10 Sep 2026
- 2026LatentMD: Benchmarking Markdown Boundary Failures in LLM-Generated Text7 Sep 2026
- 2026AGI Maze Prediction Datasets: A Compact Benchmark for Learning World Dynamics with Transformers2 Sep 2026
- 2026Universal Transformers for Circuit Computations: Perfect Length Generalization in Tiny Transformers31 Aug 2026
- 2026On the Representational Geometry of Dynamic Programs25 Aug 2026
38 more
- 2026Transcript-Managed Transformers: Monotone Multi-Agent Collapse and Universality with Two Pop-Enabled Transcripts31 Jul 2026
- 2026Relative Positions Generalize, Absolute Positions Memorize: An Implicit-Bias Account of Length Generalization in Attention21 Jul 2026
- 2026The Information Shadow: Measuring Structural Limits on What Language Models Can Learn17 Jul 2026
- 2026The Automaton Underneath: The Additive Input Pathway Is a Parasitic Attractor for State Tracking in Householder Linear RNN16 Jul 2026
- 2026When Does Reward Teach State? A Hidden-Automaton Instrument and a Group-Language Warning Signal11 Jul 2026
- 2026Language Re-generation: An investigation into information locality effects on reconstruction11 Jul 2026
- 2026When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models?7 Jul 2026
- 2026A Verifiable Search Is Not a Learnable Chain-of-Thought20 Jun 2026
- 2026On Subquadratic Architectures: From Applications to Principles10 Jun 2026
- 2026Causally Evaluating the Learnability of Formal Language Tasks8 Jun 2026
- 2026Refit the Probe: Single-Direction Ablation Is Not a Necessity Test30 May 2026
- 2026The Deterministic Horizon: When Extended Reasoning Fails and Tool Delegation Becomes Necessary29 May 2026
- 2026Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't28 May 2026
- 2026Unveiling the Visual Counting Bottleneck in Vision-Language Models28 May 2026
- 2026Chess-World-Model: A 10M-Game Benchmark for Exact State Tracking from Chess Move Sequences28 May 2026
- 2026Open Problem: Separating Geometric and Algorithmic Compression via Cayley-Table Completion28 May 2026
- 2026Length Generalization with Log-Depth Recurrent Units25 May 2026
- 2026Flash PD-SSM: Memory-Optimized Structured Sparse State-Space Models18 May 2026
- 2026Parallel Recursive LSTM16 May 2026
- 2026SMolLM: Small Language Models Learn Small Molecular Grammar7 May 2026
- 2026Characterizing the Expressivity of Local Attention in Transformers1 May 2026
- 2026What Kind of Language is Easy to Language-Model Under Curriculum Learning?29 Apr 2026
- 2026Fine-tuning vs. In-context Learning in Large Language Models: A Formal Language Learning Perspective25 Apr 2026
- 2026On the Emergence of Syntax by Means of Local Interaction20 Apr 2026
- 2026Recurrent Reasoning on Symbolic Puzzles with Sequence Models19 Apr 2026
- 2026On the Expressive Power and Limitations of Multi-Layer SSMs16 Apr 2026
- 2026The UNDO Flip-Flop: A Controlled Probe for Reversible Semantic State Management in State Space Model7 Apr 2026
- 2026Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy3 Apr 2026
- 2026On the Mirage of Long-Range Dependency, with an Application to Integer Multiplication30 Mar 2026
- 2026Entanglement as Memory: Mechanistic Interpretability of Quantum Language Models27 Mar 2026
- 2026Extending SSMs with the Exponentially Weighted Signature19 Mar 2026
- 2026Transformers Can Learn Rules They've Never Seen: Proof of Computation Beyond Interpolation17 Mar 2026
- 2026Predictive Statistics Shape Emergent World Representations of Grid Walkers17 Mar 2026
- 2026Why Depth Matters in Parallelizable Sequence Models: A Lie Algebraic View5 Mar 2026
- 2026The Expressive Limits of Diagonal SSMs for State-Tracking2 Mar 2026
- 2026Notes-to-Self: Scratchpad Augmented VLAs for Memory Dependent Manipulation Tasks24 Feb 2026
- 2026On the "Induction Bias" in Sequence Models20 Feb 2026
- 2026Learning State-Tracking from Code Using Linear RNNs16 Feb 2026
50 newest of 214 All 214 (JSON)
- 2024GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Modelscited by 533
- 2024Counting Ability of Large Language Models and Impact of Tokenizationcited by 29
- 2024The CLRS-Text Algorithmic Reasoning Language Benchmarkcited by 28
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2025Implicit Language Models are RNNs: Balancing Parallelization and Expressivitycited by 21
- 2025Finite State Automata Inside Transformers with Chain-of-Thought: A Mechanistic Study on State Trackingcited by 17
- 2025GSM-Infinite: How Do Your LLMs Behave over Infinitely Increasing Context Length and Reasoning Complexity?cited by 16
- 2025Reasoning on a Spectrum: Aligning LLMs to System 1 and System 2 Thinkingcited by 14
- 2025Tokenization Constraints in LLMs: A Study of Symbolic and Arithmetic Reasoning Limitscited by 9
- 2026Latent Reasoning with Supervised Thinking Statescited by 8
- 2025Beyond Statistical Learning: Exact Learning Is Essential for General Intelligencecited by 6
- 2024Supervised Chain of Thoughtcited by 5
12 most cited of 23 All 23 (JSON)
- 2026A Verifiable Search Is Not a Learnable Chain-of-Thought20 Jun 2026
- 2026The Deterministic Horizon: When Extended Reasoning Fails and Tool Delegation Becomes Necessary29 May 2026
- 2026Recurrent Reasoning on Symbolic Puzzles with Sequence Models19 Apr 2026
- 2026On the Expressive Power and Limitations of Multi-Layer SSMs16 Apr 2026
- 2026Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy3 Apr 2026
- 2026Latent Reasoning with Supervised Thinking States9 Feb 2026
- 2025Reflection Pretraining Enables Token-Level Self-Correction in Biological Sequence Models24 Dec 2025
- 2025Beyond Memorization: Extending Reasoning Depth with Recurrence, Memory and Test-Time Compute Scaling22 Aug 2025
- 2025Rethinking Memorization Measures and their Implications in Large Language Models20 Jul 2025
- 2025The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner17 Jul 2025
- 2025Beyond Statistical Learning: Exact Learning Is Essential for General Intelligence30 Jun 2025
- 2025Tokenization Constraints in LLMs: A Study of Symbolic and Arithmetic Reasoning Limits20 May 2025
12 newest of 23 All 23 (JSON)
- 2024Can Mamba Learn How to Learn? A Comparative Study on In-Context Learning Taskscited by 104
- 2024Unlocking State-Tracking in Linear RNNs Through Negative Eigenvaluescited by 97
- 2024On the Expressiveness and Length Generalization of Selective State-Space Models on Regular Languagescited by 15
- 2025Parity Requires Unified Input Dependence and Negative Eigenvalues in SSMscited by 1
- 2026Why Depth Matters in Parallelizable Sequence Models: A Lie Algebraic Viewcited by 1
- 2026Anatomy of Associative Recall in Fixed-State Recurrences: A Matched-State Decomposition, an Interference Wall, and a Curriculum That Breaks Itcited by 1
- 2026Anatomy of Associative Recall in Fixed-State Recurrences: A Matched-State Decomposition, an Interference Wall, and a Curriculum That Breaks It14 Sep 2026
- 2026Why Depth Matters in Parallelizable Sequence Models: A Lie Algebraic View5 Mar 2026
- 2025Parity Requires Unified Input Dependence and Negative Eigenvalues in SSMs10 Aug 2025
- 2024On the Expressiveness and Length Generalization of Selective State-Space Models on Regular Languages26 Dec 2024
- 2024Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues19 Nov 2024
- 2024Can Mamba Learn How to Learn? A Comparative Study on In-Context Learning Tasks6 Feb 2024
- 2026Debugging code world modelscited by 4
- 2026Chess-World-Model: A 10M-Game Benchmark for Exact State Tracking from Chess Move Sequencescited by 1
- 2026Predictive Statistics Shape Emergent World Representations of Grid Walkerscited by 0
- 2026AGI Maze Prediction Datasets: A Compact Benchmark for Learning World Dynamics with Transformerscited by 0
- 2026AGI Maze Prediction Datasets: A Compact Benchmark for Learning World Dynamics with Transformers2 Sep 2026
- 2026Chess-World-Model: A 10M-Game Benchmark for Exact State Tracking from Chess Move Sequences28 May 2026
- 2026Predictive Statistics Shape Emergent World Representations of Grid Walkers17 Mar 2026
- 2026Debugging code world models7 Feb 2026
- 2026Computability of Agentic Systemscited by 0
- 2026Computability of Agentic Systems26 Jan 2026
- 2023Sparse Universal Transformercited by 28
- 2023Sparse Universal Transformer11 Oct 2023
- 2023The Impact of Positional Encoding on Length Generalization in Transformerscited by 319
- 2022Transformers Learn Shortcuts to Automatacited by 260
- 2023Language Modeling Is Compressioncited by 225
- 2024Repeat After Me: Transformers are Better than State Space Models at Copyingcited by 208
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2023Randomized Positional Encodings Boost Length Generalization of Transformerscited by 114
- 2023Mechanistically analyzing the effects of fine-tuning on procedurally defined taskscited by 110
- 2025TiRex: Zero-Shot Forecasting Across Long and Short Horizons with Enhanced In-Context Learningcited by 107
- 2022General-Purpose In-Context Learning by Meta-Learning Transformerscited by 102
- 2023Physics of Language Models: Part 1, Learning Hierarchical Language Structurescited by 83
- 2024Transformers Can Achieve Length Generalization But Not Robustlycited by 82
- 2025DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Productscited by 69
12 most cited of 176 All 176 (JSON)
- 2026TraceRelay: Attention-Aligned Recurrence over Rolling Traces8 Oct 2026
- 2026Typological Alignment of Stack-Based Language Models on Mildly Context-Sensitive Artificial Languages1 Oct 2026
- 2026RoPE is Dead, Long Live RoPE: Towards Scalable Data-aware Positional Encodings28 Sep 2026
- 2026Length-Independent State Tracking Under a Parallel Scan26 Sep 2026
- 2026Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization21 Sep 2026
- 2026The Rank the Task Demands: A Causal Rank Law for Matrix Memories Trained on Group Composition10 Sep 2026
- 2026How Wrong Can a Good Predictor Be? Diverging Updates with Vanishing Predictive KL10 Sep 2026
- 2026LatentMD: Benchmarking Markdown Boundary Failures in LLM-Generated Text7 Sep 2026
- 2026Universal Transformers for Circuit Computations: Perfect Length Generalization in Tiny Transformers31 Aug 2026
- 2026On the Representational Geometry of Dynamic Programs25 Aug 2026
- 2026Transcript-Managed Transformers: Monotone Multi-Agent Collapse and Universality with Two Pop-Enabled Transcripts31 Jul 2026
- 2026Relative Positions Generalize, Absolute Positions Memorize: An Implicit-Bias Account of Length Generalization in Attention21 Jul 2026
12 newest of 176 All 176 (JSON)