The Scaling Properties of Implicit Deductive Reasoning in Transformers
On the map: LLM reasoning → Prompting and chain-of-thought reasoning
Abstract (arXiv)
We investigate the scaling properties of implicit deductive reasoning over Horn clauses in depth-bounded Transformers. By discouraging the reliance on statistical shortcuts via counterfactual data augmentation, and promoting the learning of shared reasoning primitives across direct and CoT modes, we find that in sufficiently deep models with a bidirectional prefix mask, implicit reasoning approaches explicit CoT performance across graph topologies and problem widths, though CoT remains necessary for depth extrapolation. These findings represent a step toward achieving better compositional reasoning in Transformers. The code and models to reproduce this work are available at: https://github.com/envomp/Implicit-Deductive-Reasoning-in-Transformers
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Placed in Prompting and chain-of-thought reasoning, one of 17 directions in LLM reasoning. Builds on 62 of its 97 references that are in the map. First posted on arXiv 5 May 2026.
Builds on
62 of 97 references.
Closest ancestors · 7
Same direction, newest first
- 2026Effective Reasoning Chains Reduce Intrinsic Dimensionality9 Feb
- 2024Transformers Provably Solve Parity Efficiently with Chain of Thought11 Oct
- 2024To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning18 Sep
- 2024Chain of Thought Empowers Transformers to Solve Inherently Serial Problems20 Feb
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspective24 May
- 2023Language Models Don't Always Say What They Think: Unfaithful Explanations in Chain-of-Thought Prompting7 May
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Models28 Jan
Other references · 55
- 2017Attention Is All You Needcited by 59,932
- 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,204
- 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,491
- 2024The Llama 3 Herd of Modelscited by 14,192
- 2025Qwen3 Technical Reportcited by 8,195
- 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,146
- 2021RoFormer: Enhanced Transformer with Rotary Position Embeddingcited by 4,581
- 2022Locating and Editing Factual Associations in GPTcited by 2,609
- 2020Shortcut Learning in Deep Neural Networkscited by 1,928
- 2016Understanding intermediate layers using linear classifier probescited by 1,279
- 2020Gradient Surgery for Multi-Task Learningcited by 1,210
- 2019BERT Rediscovers the Classical NLP Pipelinecited by 1,046
38 more
- 2022Toy Models of Superpositioncited by 928
- 2023Distilling Step-by-Step! Outperforming Larger Language Models with Less Training Data and Smaller Model Sizescited by 710
- 2023The Linear Representation Hypothesis and the Geometry of Large Language Modelscited by 679
- 2018Universal Transformerscited by 613
- 2023Eliciting Latent Predictions from Transformers with the Tuned Lenscited by 579
- 2020Hopfield Networks is All You Needcited by 461
- 2019Learning the Difference that Makes a Difference with Counterfactually-Augmented Datacited by 428
- 2023Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoningcited by 379
- 2023Reasoning on Graphs: Faithful and Interpretable Large Language Model Reasoningcited by 326
- 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 309
- 2022Transformers Learn Shortcuts to Automatacited by 260
- 2023Looped Transformers as Programmable Computerscited by 224
- 2019SGD on Neural Networks Learns Functions of Increasing Complexitycited by 203
- 2022The Parallelism Tradeoff: Limitations of Log-Precision Transformerscited by 191
- 2024The Illusion of State in State-Space Modelscited by 181
- 2018Deep learning generalizes because the parameter-function map is biased towards simple functionscited by 180
- 2023LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Proverscited by 161
- 2020Measuring Association Between Labels and Free-Text Rationalescited by 159
- 2024The Geometry of Categorical and Hierarchical Concepts in Large Language Modelscited by 151
- 2022What Language Model Architecture and Pretraining Objective Work Best for Zero-Shot Generalization?cited by 149
- 2020WT5?! Training Text-to-Text Models to Explain their Predictionscited by 148
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 137
- 2022Faithful Reasoning Using Large Language Modelscited by 130
- 2024How Transformers Learn Causal Structure with Gradient Descentcited by 114
- 2023How do Language Models Bind Entities in Context?cited by 102
- 2022On the Paradox of Learning to Reason from Datacited by 93
- 2024Premise Order Matters in Reasoning with Large Language Modelscited by 71
- 2023Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcutscited by 63
- 2025Parallel-R1: Towards Parallel Thinking via Reinforcement Learningcited by 59
- 2025Magistralcited by 57
- 2025A Little Depth Goes a Long Way: The Expressive Power of Log-Depth Transformerscited by 49
- 2024FiDeLiS: Faithful Reasoning in Large Language Model for Knowledge Graph Question Answeringcited by 38
- 2025FlowRL: Matching Reward Distributions for LLM Reasoningcited by 38
- 2025The Non-Linear Representation Dilemma: Is Causal Abstraction Enough for Mechanistic Interpretability?cited by 34
- 2023On the Expressivity Role of LayerNorm in Transformers' Attentioncited by 32
- 2024Do LLMs Overcome Shortcut Learning? An Evaluation of Shortcut Challenges in Large Language Modelscited by 25
- 2024Your Transformer is Secretly Linearcited by 23
- 2025Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformerscited by 12
50 most cited of 55 All 55 (JSON)
Built on by
Citing papers per year: 2026: 1.
1 paper.
Similar, not cited
Close in wording, no citation either way
- 2024Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization
- 2024Understanding Transformer Reasoning Capabilities via Graph Algorithms
- 2026Loop, Think, & Generalize: Implicit Reasoning in Recurrent-Depth Transformers
- 2024Reasoning in Transformers -- Mitigating Spurious Correlations and Reasoning Shortcuts
- 2023Examining the Emergence of Deductive Reasoning in Generative Language Models
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers
- 2026Turbo Connection: Reasoning as Information Flow from Higher to Lower Layers
- 2025Uncovering Graph Reasoning in Decoder-only Transformers with Circuit Tracing