Empirical Investigation of Neural Symbolic Reasoning Strategies
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
Neural reasoning accuracy improves when generating intermediate reasoning steps. However, the source of this improvement is yet unclear. Here, we investigate and factorize the benefit of generating intermediate steps for symbolic reasoning. Specifically, we decompose the reasoning strategy w.r.t. step granularity and chaining strategy. With a purely symbolic numerical reasoning dataset (e.g., A=1, B=3, C=A+3, C?), we found that the choice of reasoning strategies significantly affects the performance, with the gap becoming even larger as the extrapolation length becomes longer. Surprisingly, we also found that certain configurations lead to nearly perfect performance, even in the case of length extrapolation. Our results indicate the importance of further exploring effective strategies for neural reasoning models.
Key facts. Cited by 1 paper 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 33 references that are in the map. First posted on arXiv 16 Feb 2023.
Builds on
27 of 33 references.
Closest ancestors · 3
Same direction, newest first
- 2022FaiRR: Faithful and Robust Deductive Reasoning over Natural Language19 Mar
- 2022Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review24 Feb
- 2021Show Your Work: Scratchpads for Intermediate Computation with Language Models30 Nov
Other references · 24
- 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,491
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2019BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and Comprehensioncited by 5,874
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,601
- 2022Large Language Models are Zero-Shot Reasonerscited by 4,323
- 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,359
- 2019Right for the Wrong Reasons: Diagnosing Syntactic Heuristics in Natural Language Inferencecited by 864
- 2018Annotation Artifacts in Natural Language Inference Datacited by 656
- 2017Adversarial Examples for Evaluating Reading Comprehension Systemscited by 568
- 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 309
- 2020Neurosymbolic AI: The 3rd Wavecited by 253
12 more
- 2020Unsupervised Commonsense Question Answering with Self-Talkcited by 161
- 2017End-to-End Differentiable Provingcited by 159
- 2021Making Transformers Solve Compositional Taskscited by 72
- 2018What Makes Reading Comprehension Questions Easier?cited by 59
- 2022Generating Natural Language Proofs with Verifier-Guided Searchcited by 52
- 2021BERT & Family Eat Word Salad: Experiments with Text Understandingcited by 44
- 2020Measuring Systematic Generalization in Neural Proof Generation with Transformerscited by 43
- 2022Modeling Multi-hop Question Answering as Single Sequence Predictioncited by 21
- 2021Teaching Autoregressive Language Models Complex Tasks By Demonstrationcited by 15
- 2021Numerical reasoning in machine reading comprehension tasks: are we there yet?cited by 9
- 2018DeepLogic: Towards End-to-End Differentiable Logical Reasoningcited by 8
- 2021Neural Unification for Logic Reasoning over Natural Languagecited by 8
Built on by
Citing papers per year: 2023: 1.
1 paper.
Similar, not cited
Close in wording, no citation either way
- 2023Code Prompting: a Neural Symbolic Method for Complex Reasoning in Large Language Models
- 2025Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning
- 2026Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification
- 2025Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
- 2025Emergent Symbolic Mechanisms Support Abstract Reasoning in Large Language Models
- 2026Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law
- 2025A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
- 2023Neuro-Symbolic Reasoning Shortcuts: Mitigation Strategies and their Limitations