Explainable Verbal Reasoner Plus (EVR+): A Natural Language Reasoning Framework that Supports Diverse Compositional Reasoning
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
Languages models have been successfully applied to a variety of reasoning tasks in NLP, yet the language models still suffer from compositional generalization. In this paper we present Explainable Verbal Reasoner Plus (EVR+), a reasoning framework that enhances language models' compositional reasoning ability by (1) allowing the model to explicitly generate and execute symbolic operators, and (2) allowing the model to decompose a complex task into several simpler ones in a flexible manner. Compared with its predecessor Explainable Verbal Reasoner (EVR) and other previous approaches adopting similar ideas, our framework supports more diverse types of reasoning such as nested loops and different types of recursion. To evaluate our reasoning framework, we build a synthetic dataset with five tasks that require compositional reasoning. Results show that our reasoning framework can enhance the language model's compositional generalization performance on the five tasks, using a fine-tuned language model. We also discussed the possibility and the challenges to combine our reasoning framework with a few-shot prompted language model.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 34 of its 37 references that are in the map. First posted on arXiv 28 Apr 2023.
Builds on
34 of 37 references.
Closest ancestors · 4
Same direction, newest first
- 2022LAMBADA: Backward Chaining for Automated Reasoning in Natural Language20 Dec
- 2022Interpretable Proof Generation via Iterative Backward Reasoning22 May
- 2022Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning19 May
- 2022FaiRR: Faithful and Robust Deductive Reasoning over Natural Language19 Mar
Other references · 30
- 2020Language Models are Few-Shot Learnerscited by 32,419
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2019BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and Comprehensioncited by 5,893
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
- 2021What Makes Good In-Context Examples for GPT-3?cited by 1,195
- 2022Decomposed Prompting: A Modular Approach for Solving Complex Taskscited by 558
- 2020UnifiedQA: Crossing Format Boundaries With a Single QA Systemcited by 476
- 2021Sentence-T5: Scalable Sentence Encoders from Pre-trained Text-to-Text Modelscited by 463
- 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 324
- 2015Towards AI-Complete Question Answering: A Set of Prerequisite Toy Taskscited by 314
- 2019Measuring Compositional Generalization: A Comprehensive Method on Realistic Datacited by 284
18 more
- 2020Transformers as Soft Reasoners over Languagecited by 270
- 2019Compositionality decomposed: how do neural networks generalise?cited by 265
- 2019Towards Complex Text-to-SQL in Cross-Domain Database with Intermediate Representationcited by 210
- 2019CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Textcited by 162
- 2021Explaining Answers with Entailment Treescited by 152
- 2020Break It Down: A Question Understanding Benchmarkcited by 131
- 2020Compositional Generalization in Semantic Parsing: Pre-training vs. Specialized Architecturescited by 95
- 2022Successive Prompting for Decomposing Complex Questionscited by 94
- 2022Iteratively Prompt Pre-trained Language Models for Chain of Thoughtcited by 75
- 2021Making Transformers Solve Compositional Taskscited by 72
- 2020Text Modular Networks: Learning to Decompose Tasks in the Language of Existing Modelscited by 65
- 2022SeqZero: Few-shot Compositional Semantic Parsing with Sequential Prompts and Zero-shot Modelscited by 38
- 2022Natural Language Deduction through Search over Statement Compositionscited by 35
- 2019Everything Happens for a Reason: Discovering the Purpose of Actions in Procedural Textcited by 31
- 2022Entailment Tree Explanations via Iterative Retrieval-Generation Reasonercited by 26
- 2021Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiabilitycited by 18
- 2022METGEN: A Module-Based Entailment Tree Generation Framework for Answer Explanationcited by 17
- 2021Dyna-bAbI: unlocking bAbI's potential with dynamic synthetic benchmarkingcited by 7
Built on by
Citing papers per year: 2023: 1.
1 paper.
- 2023Faith and Fate: Limits of Transformers on Compositionalitycited by 503
- 2023Faith and Fate: Limits of Transformers on Compositionality29 May 2023
Similar, not cited
Close in wording, no citation either way
- 2026Building Multilingual Bridges: Data Mixing as the Pillar of Generalization for In-Language Reasoning
- 2024LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
- 2024Conceptual and Unbiased Reasoning in Language Models
- 2024Reliable Reasoning Beyond Natural Language
- 2025Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
- 2023Language Models can be Logical Solvers
- 2024Transformer-based Language Models for Reasoning in the Description Logic ALCQ
- 2024Exploring the Role of Reasoning Structures for Constructing Proofs in Multi-Step Natural Language Reasoning with Large Language Models