Can Transformers Reason in Fragments of Natural Language?
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
State-of-the-art deep-learning-based approaches to Natural Language Processing (NLP) are credited with various capabilities that involve reasoning with natural language texts. In this paper we carry out a large-scale empirical study investigating the detection of formally valid inferences in controlled fragments of natural language for which the satisfiability problem becomes increasingly complex. We find that, while transformer-based language models perform surprisingly well in these scenarios, a deeper analysis re-veals that they appear to overfit to superficial patterns in the data rather than acquiring the logical principles governing the reasoning in these fragments.
Key facts. Cited by 8 papers in the map (data through 7 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 27 of its 49 references that are in the map. First posted on arXiv 10 Nov 2022.
Builds on
27 of 49 references.
References · 27
- 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
- 2019RoBERTa: A Robustly Optimized BERT Pretraining Approachcited by 13,266
- 2016SQuAD: 100,000+ Questions for Machine Comprehension of Textcited by 4,115
- 2019XLNet: Generalized Autoregressive Pretraining for Language Understandingcited by 2,801
- 2019ALBERT: A Lite BERT for Self-supervised Learning of Language Representationscited by 2,772
- 2017A Broad-Coverage Challenge Corpus for Sentence Understanding through Inferencecited by 2,665
- 2015A large annotated corpus for learning natural language inferencecited by 1,837
- 2016CLEVR: A Diagnostic Dataset for Compositional Language and Elementary Visual Reasoningcited by 1,445
- 2019Energy and Policy Considerations for Deep Learning in NLPcited by 1,242
- 2018Annotation Artifacts in Natural Language Inference Datacited by 656
15 more
- 2015Neural Module Networkscited by 375
- 2020Transformers as Soft Reasoners over Languagecited by 265
- 2016Enhanced LSTM for Natural Language Inferencecited by 199
- 2018Semidefinite relaxations for certifying robustness to adversarial examplescited by 178
- 2019Certified Robustness to Adversarial Word Substitutionscited by 164
- 2018Breaking NLI Systems with Sentences that Require Simple Lexical Inferencescited by 134
- 2020Robustness Verification for Transformerscited by 76
- 2019Probing Natural Language Inference Models through Semantic Fragmentscited by 64
- 2018What Makes Reading Comprehension Questions Easier?cited by 59
- 2020Probing Linguistic Systematicitycited by 37
- 2020Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language?cited by 29
- 2020Leap-Of-Thought: Teaching Pre-Trained Models to Systematically Reason Over Implicit Knowledgecited by 24
- 2019Diversify Your Datasets: Analyzing Generalization via Controlled Variance in Adversarial Datasetscited by 21
- 2020A Framework for Evaluation of Machine Reading Comprehension Gold Standardscited by 18
- 2021Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiabilitycited by 18
Built on by
Citing papers per year: 2022: 1; 2023: 3; 2024: 0; 2025: 2; 2026: 2.
8 papers.
- 2025ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoningcited by 186
- 2022LAMBADA: Backward Chaining for Automated Reasoning in Natural Languagecited by 66
- 2023Dialogue Chain-of-Thought Distillation for Commonsense-aware Conversational Agentscited by 41
- 2023Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biasescited by 14
- 2025Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineeringcited by 2
- 2026Invariant Learning Dynamics of Transformers in Inductive Reasoning Taskscited by 1
- 2023Transformers in the Service of Description Logic-based Contextscited by 0
- 2026Logical Judgments Under Pressure: Diagnosing Syllogistic Stability with Learned Soft Prefixescited by 0
- 2026Logical Judgments Under Pressure: Diagnosing Syllogistic Stability with Learned Soft Prefixes20 Jul 2026
- 2026Invariant Learning Dynamics of Transformers in Inductive Reasoning Tasks13 Jul 2026
- 2025Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering12 Sep 2025
- 2025ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning3 Feb 2025
- 2023Transformers in the Service of Description Logic-based Contexts15 Nov 2023
- 2023Dialogue Chain-of-Thought Distillation for Commonsense-aware Conversational Agents13 Oct 2023
- 2023Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases21 Jun 2023
- 2022LAMBADA: Backward Chaining for Automated Reasoning in Natural Language20 Dec 2022
Similar, not cited
Close in wording, no citation either way
- 2025Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
- 2024Reasoning in Transformers -- Mitigating Spurious Correlations and Reasoning Shortcuts
- 2024Transformers meet Neural Algorithmic Reasoners
- 2023Assessing Logical Reasoning Capabilities of Encoder-Only Transformer Models
- 2024Transformer-based Language Models for Reasoning in the Description Logic ALCQ
- 2023Logical Reasoning over Natural Language as Knowledge Representation: A Survey
- 2024Reliable Reasoning Beyond Natural Language
- 2023Large Language Models Are Not Strong Abstract Reasoners