Transformers as Soft Reasoners over Language
Not on the map. Why?
Cited by 134 in LLM reasoning, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
Beginning with McCarthy's Advice Taker (1959), AI has pursued the goal of providing a system with explicit, general knowledge and having the system reason over that knowledge. However, expressing the knowledge in a formal (logical or probabilistic) representation has been a major obstacle to this research. This paper investigates a modern approach to this problem where the facts and rules are provided as natural language sentences, thus bypassing a formal representation. We train transformers to reason (or emulate reasoning) over these sentences using synthetically generated data. Our models, that we call RuleTakers, provide the first empirical demonstration that this kind of soft reasoning over language is learnable, can achieve high (99%) accuracy, and generalizes to test data requiring substantially deeper chaining than seen during training (95%+ scores). We also demonstrate that the models transfer well to two hand-authored rulebases, and to rulebases paraphrased into more natural language. These findings are significant as it suggests a new role for transformers, namely as limited "soft theorem provers" operating over explicit theories in language. This in turn suggests new possibilities for explainability, correctability, and counterfactual reasoning in question-answering.
Key facts. Cited by 265 papers in the map (data through 7 Oct 2026). First posted on arXiv 14 Feb 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 28; 2022: 56; 2023: 56; 2024: 37; 2025: 52; 2026: 36.
265 papers.
Sort:
By area:
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2023Large Language Models Can Be Easily Distracted by Irrelevant Contextcited by 820
- 2023Faith and Fate: Limits of Transformers on Compositionalitycited by 496
- 2023Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoningcited by 379
- 2022Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoningcited by 331
- 2022Reasoning with Language Model Prompting: A Surveycited by 251
- 2023Reasoning or Reciting? Exploring the Capabilities and Limitations of Language Models Through Counterfactual Taskscited by 243
- 2022FOLIO: Natural Language Reasoning with First-Order Logiccited by 233
- 2024BABILong: Testing the Limits of LLMs with Long Context Reasoning-in-a-Haystackcited by 211
- 2022Exploring Length Generalization in Large Language Modelscited by 204
- 2023REFINER: Reasoning Feedback on Intermediate Representationscited by 203
- 2025ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoningcited by 186
38 more
- 2021Thinking Like Transformerscited by 182
- 2023Talk like a Graph: Encoding Graphs for Large Language Modelscited by 175
- 2022Language models show human-like content effects on reasoning taskscited by 171
- 2022A Review on Language Models as Knowledge Basescited by 156
- 2024Same Task, More Tokens: the Impact of Input Length on the Reasoning Performance of Large Language Modelscited by 150
- 2022Towards Faithful Model Explanation in NLP: A Surveycited by 129
- 2021COCO-LM: Correcting and Contrasting Text Sequences for Language Model Pretrainingcited by 126
- 2024On Memorization of Large Language Models in Logical Reasoningcited by 114
- 2023GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoningcited by 107
- 2023DyVal: Dynamic Evaluation of Large Language Models for Reasoning Taskscited by 100
- 2022On the Paradox of Learning to Reason from Datacited by 93
- 2023Think Twice: Perspective-Taking Improves Large Language Models' Theory-of-Mind Capabilitiescited by 86
- 2021NaturalProofs: Mathematical Theorem Proving in Natural Languagecited by 80
- 2023A Comprehensive Survey on Applications of Transformers for Deep Learning Taskscited by 70
- 2024MOOSE-Chem: Large Language Models for Rediscovering Unseen Chemistry Scientific Hypothesescited by 68
- 2024LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Modelscited by 67
- 2022LAMBADA: Backward Chaining for Automated Reasoning in Natural Languagecited by 66
- 2023Large Language Models can Learn Rulescited by 66
- 2023Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyondcited by 65
- 2023Natural Language Reasoning, A Surveycited by 61
- 2023Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translationcited by 59
- 2021BeliefBank: Adding Memory to a Pre-Trained Language Model for a Systematic Notion of Beliefcited by 56
- 2024A Survey on Deep Learning for Theorem Provingcited by 55
- 2022Generating Natural Language Proofs with Verifier-Guided Searchcited by 52
- 2023Large Language Models Are Not Strong Abstract Reasonerscited by 52
- 2025Empowering LLMs with Logical Reasoning: A Comprehensive Surveycited by 51
- 2021Ethical-Advice Taker: Do Language Models Understand Natural Language Interventions?cited by 46
- 2025DUMP: Automated Distribution-Level Curriculum Learning for RL-based LLM Post-trainingcited by 45
- 2025Advancing Reasoning in Large Language Models: Promising Methods and Approachescited by 43
- 2023BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Informationcited by 42
- 2021Turning Tables: Generating Examples from Semi-structured Tables for Endowing Language Models with Reasoning Skillscited by 39
- 2022Entailer: Answering Questions with Faithful and Truthful Chains of Reasoningcited by 38
- 2022Towards Teachable Reasoning Systems: Using a Dynamic Memory of User Feedback for Continual System Improvementcited by 37
- 2023Revealing the structure of language model capabilitiescited by 35
- 2023Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Modelscited by 35
- 2021Analyzing Commonsense Emergence in Few-shot Knowledge Modelscited by 34
- 2022Transfer Learning with Synthetic Corpora for Spatial Role Labeling and Reasoningcited by 32
- 2022Language Models as Inductive Reasonerscited by 32
50 most cited of 265 All 265 (JSON)
- 2026Is This Evidence Decision-Critical? Learning to Verify Rule-Governed Decisions30 Sep 2026
- 2026ArgGYM: A Procedural, Engine-Verified Benchmark for Structured Defeasible Reasoning29 Sep 2026
- 2026Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning29 Sep 2026
- 2026Explaining Textual Entailment with Lexical Entailments: Using LLMs to Supply Lexical Relations for Formal Proofs26 Sep 2026
- 2026Governed Deduction: Policy-Grounded Premise Authorization Beyond Relevance25 Sep 2026
- 2026Neurosymbolic Routing for Reliable Reasoning on Resource-Constrained Edge Devices24 Sep 2026
- 2026Wrong Prediction, Right Answer: Recovering Evidence from Collapsed LLM Sequence Scores31 Aug 2026
- 2026DERELAB: Probing Defeasible Reasoning and Confirmation Bias in LLMs with a Generative Benchmark31 Aug 2026
- 2026RuleWeaver: Benchmarking Rule-Centered Scenario Reasoning for Large Language Models27 Aug 2026
- 2026Beyond Factual Knowledge: Benchmarking and Learning Step-Level Procedural Rule Reasoning in Large Language Models24 Aug 2026
- 2026No Judgment Without a Reason: Counterfactual Receipts for Versioned AI Evaluators21 Aug 2026
- 2026Circuit Claims Depend on What Is Extracted and How It Is Compared21 Jul 2026
38 more
- 2026NormWorlds-CF: Solver-Verified Counterfactual Normative Reasoning with Metamorphic-Relation GRPO4 Jul 2026
- 2026Coherence Under Commitment: Probing Generalization and Vacuous Memorization in LLM Logical Reasoning19 Jun 2026
- 2026QMFOL: Benchmarking Large Language Model Reasoning via Quantifiable Monadic First-Order Logic Test Case Generation18 Jun 2026
- 2026PrologMCP: A Standardized Prolog Tool Interface for LLM Agents12 Jun 2026
- 2026Every Eval Ever: A Unifying Schema and Community Repository for AI Evaluation Results12 Jun 2026
- 2026Forecasting Future Behavior as a Learning Task9 Jun 2026
- 2026Boosting Inference with Guided Reasoning: Stochastic Exploration for Recursive Models24 May 2026
- 2026HalluWorld: A Controlled Benchmark for Hallucination via Reference World Models19 May 2026
- 2026HyperLens: Quantifying Cognitive Effort in LLMs with Fine-grained Confidence Trajectory7 May 2026
- 2026Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs9 Apr 2026
- 2026Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering12 Mar 2026
- 2026Pencil Puzzle Bench: A Benchmark for Multi-Step Verifiable Reasoning2 Mar 2026
- 2026When does Chain-of-Thought Help: A Markovian Perspective27 Feb 2026
- 2026LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification24 Feb 2026
- 2026INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic21 Feb 2026
- 2026ABD: Default Exception Abduction in Finite First Order Worlds21 Feb 2026
- 2026Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Traces16 Feb 2026
- 2026Evaluating Robustness of Reasoning Models on Parameterized Logical Problems13 Feb 2026
- 2026Patch the Distribution Mismatch: RL Rewriting Agent for Stable Off-Policy SFT11 Feb 2026
- 2026Abstract Activation Spaces for Content-Invariant Reasoning in Large Language Models2 Feb 2026
- 2026A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic26 Jan 2026
- 2026Large Language Model for OWL Proofs18 Jan 2026
- 2026IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning12 Jan 2026
- 2026An Agentic Framework for Neuro-Symbolic Programming2 Jan 2026
- 2025Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors6 Dec 2025
- 2025ARCHE: A Novel Task to Evaluate LLMs on Latent Reasoning Chain Extraction16 Nov 2025
- 2025DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning4 Nov 2025
- 2025Are Language Models Efficient Reasoners? A Perspective from Logic Programming29 Oct 2025
- 2025RiddleBench: A New Generative Reasoning Benchmark for LLMs28 Oct 2025
- 2025Chain of Execution Supervision Promotes General Reasoning in Large Language Models24 Oct 2025
- 2025Explainability of Large Language Models: Opportunities and Challenges toward Generating Trustworthy Explanations20 Oct 2025
- 2025Which Word Orders Facilitate Length Generalization in LMs? An Investigation with GCG-Based Artificial Languages14 Oct 2025
- 2025LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models13 Oct 2025
- 2025A Layered Intuition -- Method Model with Scope Extension for LLM Reasoning12 Oct 2025
- 2025Deductive Logic in Language Models: Horizontal vs Vertical Reasoning10 Oct 2025
- 2025If Probable, Then Acceptable? Understanding Conditional Acceptability Judgments in Large Language Models9 Oct 2025
- 2025Two-Stage Voting for Robust and Efficient Suicide Risk Detection on Social Media9 Oct 2025
- 2025Rethinking Reasoning Quality in Large Language Models through Enhanced Chain-of-Thought via RL7 Sep 2025
50 newest of 265 All 265 (JSON)
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2023Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoningcited by 379
- 2022Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoningcited by 331
- 2022Reasoning with Language Model Prompting: A Surveycited by 251
- 2023Reasoning or Reciting? Exploring the Capabilities and Limitations of Language Models Through Counterfactual Taskscited by 243
- 2022FOLIO: Natural Language Reasoning with First-Order Logiccited by 233
- 2024BABILong: Testing the Limits of LLMs with Long Context Reasoning-in-a-Haystackcited by 211
- 2023REFINER: Reasoning Feedback on Intermediate Representationscited by 203
- 2025ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoningcited by 186
- 2022Language models show human-like content effects on reasoning taskscited by 171
- 2024Same Task, More Tokens: the Impact of Input Length on the Reasoning Performance of Large Language Modelscited by 150
- 2024On Memorization of Large Language Models in Logical Reasoningcited by 114
12 most cited of 133 All 133 (JSON)
- 2026ArgGYM: A Procedural, Engine-Verified Benchmark for Structured Defeasible Reasoning29 Sep 2026
- 2026Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning29 Sep 2026
- 2026Neurosymbolic Routing for Reliable Reasoning on Resource-Constrained Edge Devices24 Sep 2026
- 2026Wrong Prediction, Right Answer: Recovering Evidence from Collapsed LLM Sequence Scores31 Aug 2026
- 2026DERELAB: Probing Defeasible Reasoning and Confirmation Bias in LLMs with a Generative Benchmark31 Aug 2026
- 2026RuleWeaver: Benchmarking Rule-Centered Scenario Reasoning for Large Language Models27 Aug 2026
- 2026Beyond Factual Knowledge: Benchmarking and Learning Step-Level Procedural Rule Reasoning in Large Language Models24 Aug 2026
- 2026NormWorlds-CF: Solver-Verified Counterfactual Normative Reasoning with Metamorphic-Relation GRPO4 Jul 2026
- 2026Coherence Under Commitment: Probing Generalization and Vacuous Memorization in LLM Logical Reasoning19 Jun 2026
- 2026QMFOL: Benchmarking Large Language Model Reasoning via Quantifiable Monadic First-Order Logic Test Case Generation18 Jun 2026
- 2026PrologMCP: A Standardized Prolog Tool Interface for LLM Agents12 Jun 2026
- 2026Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs9 Apr 2026
12 newest of 133 All 133 (JSON)
- 2024Towards Rationality in Language and Multimodal Agents: A Surveycited by 15
- 2026An Agentic Framework for Neuro-Symbolic Programmingcited by 1
- 2026Patch the Distribution Mismatch: RL Rewriting Agent for Stable Off-Policy SFTcited by 0
- 2026No Judgment Without a Reason: Counterfactual Receipts for Versioned AI Evaluatorscited by 0
- 2026No Judgment Without a Reason: Counterfactual Receipts for Versioned AI Evaluators21 Aug 2026
- 2026Patch the Distribution Mismatch: RL Rewriting Agent for Stable Off-Policy SFT11 Feb 2026
- 2026An Agentic Framework for Neuro-Symbolic Programming2 Jan 2026
- 2024Towards Rationality in Language and Multimodal Agents: A Survey1 Jun 2024
- 2023Large Language Models Can Be Easily Distracted by Irrelevant Contextcited by 820
- 2023Faith and Fate: Limits of Transformers on Compositionalitycited by 496
- 2022Exploring Length Generalization in Large Language Modelscited by 204
- 2021Thinking Like Transformerscited by 182
- 2023Talk like a Graph: Encoding Graphs for Large Language Modelscited by 175
- 2022A Review on Language Models as Knowledge Basescited by 156
- 2022Towards Faithful Model Explanation in NLP: A Surveycited by 129
- 2021COCO-LM: Correcting and Contrasting Text Sequences for Language Model Pretrainingcited by 126
- 2021NaturalProofs: Mathematical Theorem Proving in Natural Languagecited by 80
- 2023A Comprehensive Survey on Applications of Transformers for Deep Learning Taskscited by 70
- 2024MOOSE-Chem: Large Language Models for Rediscovering Unseen Chemistry Scientific Hypothesescited by 68
- 2023Large Language Models can Learn Rulescited by 66
12 most cited of 122 All 122 (JSON)
- 2026Is This Evidence Decision-Critical? Learning to Verify Rule-Governed Decisions30 Sep 2026
- 2026Explaining Textual Entailment with Lexical Entailments: Using LLMs to Supply Lexical Relations for Formal Proofs26 Sep 2026
- 2026Governed Deduction: Policy-Grounded Premise Authorization Beyond Relevance25 Sep 2026
- 2026Circuit Claims Depend on What Is Extracted and How It Is Compared21 Jul 2026
- 2026Every Eval Ever: A Unifying Schema and Community Repository for AI Evaluation Results12 Jun 2026
- 2026Forecasting Future Behavior as a Learning Task9 Jun 2026
- 2026Boosting Inference with Guided Reasoning: Stochastic Exploration for Recursive Models24 May 2026
- 2026HyperLens: Quantifying Cognitive Effort in LLMs with Fine-grained Confidence Trajectory7 May 2026
- 2026Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering12 Mar 2026
- 2026INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic21 Feb 2026
- 2026ABD: Default Exception Abduction in Finite First Order Worlds21 Feb 2026
- 2025Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors6 Dec 2025
12 newest of 122 All 122 (JSON)