Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
This study intends to systematically disentangle pure logic reasoning and text understanding by investigating the contrast across abstract and contextualized logical problems from a comprehensive set of domains. We explore whether LLMs demonstrate genuine reasoning capabilities across various domains when the underlying logical structure remains constant. We focus on two main questions (1) Can abstract logical problems alone accurately benchmark an LLM's reasoning ability in real-world scenarios, disentangled from contextual support in practical settings? (2) Does fine-tuning LLMs on abstract logic problem generalize to contextualized logic problems and vice versa? To investigate these questions, we focus on standard propositional logic, specifically propositional deductive and abductive logic reasoning. In particular, we construct instantiated datasets for deductive and abductive reasoning with 4 levels of difficulty, encompassing 12 distinct categories or domains based on the categorization of Wikipedia. Our experiments aim to provide insights into disentangling context in logical reasoning and the true reasoning capabilities of LLMs and their generalization potential. The code and dataset are available at: https://github.com/agiresearch/ContextHub.
Key facts. Cited by 22 papers in the map (data through 7 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 20 of its 35 references that are in the map. First posted on arXiv 4 Jun 2024.
Builds on
20 of 35 references.
Closest ancestors · 5
Same direction, newest first
- 2024Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding4 Apr
- 2023NPHardEval: Dynamic Benchmark on Reasoning Ability of Large Language Models via Complexity Classes22 Dec
- 2023Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning20 May
- 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought3 Oct
- 2022Language models show human-like content effects on reasoning tasks14 Jul
Other references · 15
- 2023Llama 2: Open Foundation and Fine-Tuned Chat Modelscited by 12,865
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2023Qwen Technical Reportcited by 3,273
- 2022Scaling Instruction-Finetuned Language Modelscited by 2,997
- 2022Emergent Abilities of Large Language Modelscited by 2,483
- 2024Yi: Open Foundation Models by 01.AIcited by 706
- 2022PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Changecited by 372
- 2023War and Peace (WarAgent): Large Language Model-based Multi-Agent Simulation of World Warscited by 143
- 2023ARB: Advanced Reasoning Benchmark for Large Language Modelscited by 60
- 2024IsoBench: Benchmarking Multimodal Foundation Models on Isomorphic Representationscited by 37
- 2024BattleAgent: Multi-modal Dynamic Emulation on Historical Battles to Complement Historical Analysiscited by 20
Built on by
Citing papers per year: 2024: 6; 2025: 11; 2026: 5.
22 papers.
Sort:
By area:
- 2024To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoningcited by 257
- 2024AgentReview: Exploring Peer Review Dynamics with LLM Agentscited by 92
- 2025OmniRouter: Budget and Performance Controllable Multi-LLM Routingcited by 35
- 2024RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarioscited by 26
- 2024Simulated patient systems powered by large language model-based AI agents offer potential for transforming medical educationcited by 13
- 2024A Survey on Human-Centric LLMscited by 13
- 2025From Pixels to Places: A Systematic Benchmark for Evaluating Image Geolocalization Ability in Large Language Modelscited by 11
- 2025Invisible Prompts, Visible Threats: Malicious Font Injection in External Resources for Large Language Modelscited by 9
- 2025InductionBench: LLMs Fail in the Simplest Complexity Classcited by 8
- 2025Cache Mechanism for Agent RAG Systemscited by 5
- 2025Token Signature: Predicting Chain-of-Thought Gains with Token Decoding Feature in Large Language Modelscited by 4
- 2025Fine-Tuning is Subgraph Search: A New Lens on Learning Dynamicscited by 3
10 more
- 2025Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oraclescited by 2
- 2025AlgoSimBench: Identifying Algorithmically Similar Problems for Competitive Programmingcited by 2
- 2026Meet Dynamic Individual Preferences: Resolving Conflicting Human Value with Paired Fine-Tuningcited by 2
- 2026When Do LLMs Reason? A Dynamical Systems View via Entropy Phase Transitionscited by 2
- 2024TypedThinker: Diversify Large Language Model Reasoning with Typed Thinkingcited by 1
- 2026Individual Turing Test: A Case Study of LLM-based Simulation Using Longitudinal Personal Datacited by 1
- 2026Reforming the Mechanism: Editing Reasoning Patterns in LLMs with Circuit Reshapingcited by 1
- 2025On the Thinking-Language Modeling Gap in Large Language Modelscited by 0
- 2025Dual-Process Scaffold Reasoning for Enhancing LLM Code Debuggingcited by 0
- 2026Towards Precision Therapy in Hepatocellular Carcinoma: A Clinical-Reasoning LLM for Risk Stratification and Treatment Guidancecited by 0
- 2026Towards Precision Therapy in Hepatocellular Carcinoma: A Clinical-Reasoning LLM for Risk Stratification and Treatment Guidance9 Jul 2026
- 2026When Do LLMs Reason? A Dynamical Systems View via Entropy Phase Transitions20 May 2026
- 2026Meet Dynamic Individual Preferences: Resolving Conflicting Human Value with Paired Fine-Tuning14 Apr 2026
- 2026Reforming the Mechanism: Editing Reasoning Patterns in LLMs with Circuit Reshaping6 Mar 2026
- 2026Individual Turing Test: A Case Study of LLM-based Simulation Using Longitudinal Personal Data1 Mar 2026
- 2025Dual-Process Scaffold Reasoning for Enhancing LLM Code Debugging11 Nov 2025
- 2025Cache Mechanism for Agent RAG Systems4 Nov 2025
- 2025From Pixels to Places: A Systematic Benchmark for Evaluating Image Geolocalization Ability in Large Language Models3 Aug 2025
- 2025AlgoSimBench: Identifying Algorithmically Similar Problems for Competitive Programming21 Jul 2025
- 2025Token Signature: Predicting Chain-of-Thought Gains with Token Decoding Feature in Large Language Models6 Jun 2025
- 2025Invisible Prompts, Visible Threats: Malicious Font Injection in External Resources for Large Language Models22 May 2025
- 2025On the Thinking-Language Modeling Gap in Large Language Models19 May 2025
10 more
- 2025Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles9 Apr 2025
- 2025OmniRouter: Budget and Performance Controllable Multi-LLM Routing27 Feb 2025
- 2025InductionBench: LLMs Fail in the Simplest Complexity Class20 Feb 2025
- 2025Fine-Tuning is Subgraph Search: A New Lens on Learning Dynamics10 Feb 2025
- 2024RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios12 Dec 2024
- 2024A Survey on Human-Centric LLMs20 Nov 2024
- 2024TypedThinker: Diversify Large Language Model Reasoning with Typed Thinking2 Oct 2024
- 2024Simulated patient systems powered by large language model-based AI agents offer potential for transforming medical education27 Sep 2024
- 2024To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning18 Sep 2024
- 2024AgentReview: Exploring Peer Review Dynamics with LLM Agents18 Jun 2024
- 2024To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoningcited by 257
- 2024RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarioscited by 26
- 2025Token Signature: Predicting Chain-of-Thought Gains with Token Decoding Feature in Large Language Modelscited by 4
- 2025Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oraclescited by 2
- 2025AlgoSimBench: Identifying Algorithmically Similar Problems for Competitive Programmingcited by 2
- 2026When Do LLMs Reason? A Dynamical Systems View via Entropy Phase Transitionscited by 2
- 2024TypedThinker: Diversify Large Language Model Reasoning with Typed Thinkingcited by 1
- 2026Reforming the Mechanism: Editing Reasoning Patterns in LLMs with Circuit Reshapingcited by 1
- 2025On the Thinking-Language Modeling Gap in Large Language Modelscited by 0
- 2025Dual-Process Scaffold Reasoning for Enhancing LLM Code Debuggingcited by 0
- 2026When Do LLMs Reason? A Dynamical Systems View via Entropy Phase Transitions20 May 2026
- 2026Reforming the Mechanism: Editing Reasoning Patterns in LLMs with Circuit Reshaping6 Mar 2026
- 2025Dual-Process Scaffold Reasoning for Enhancing LLM Code Debugging11 Nov 2025
- 2025AlgoSimBench: Identifying Algorithmically Similar Problems for Competitive Programming21 Jul 2025
- 2025Token Signature: Predicting Chain-of-Thought Gains with Token Decoding Feature in Large Language Models6 Jun 2025
- 2025On the Thinking-Language Modeling Gap in Large Language Models19 May 2025
- 2025Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles9 Apr 2025
- 2024RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios12 Dec 2024
- 2024TypedThinker: Diversify Large Language Model Reasoning with Typed Thinking2 Oct 2024
- 2024To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning18 Sep 2024
- 2025OmniRouter: Budget and Performance Controllable Multi-LLM Routingcited by 35
- 2024A Survey on Human-Centric LLMscited by 13
- 2025From Pixels to Places: A Systematic Benchmark for Evaluating Image Geolocalization Ability in Large Language Modelscited by 11
- 2025InductionBench: LLMs Fail in the Simplest Complexity Classcited by 8
- 2025Fine-Tuning is Subgraph Search: A New Lens on Learning Dynamicscited by 3
- 2026Towards Precision Therapy in Hepatocellular Carcinoma: A Clinical-Reasoning LLM for Risk Stratification and Treatment Guidancecited by 0
- 2026Towards Precision Therapy in Hepatocellular Carcinoma: A Clinical-Reasoning LLM for Risk Stratification and Treatment Guidance9 Jul 2026
- 2025From Pixels to Places: A Systematic Benchmark for Evaluating Image Geolocalization Ability in Large Language Models3 Aug 2025
- 2025OmniRouter: Budget and Performance Controllable Multi-LLM Routing27 Feb 2025
- 2025InductionBench: LLMs Fail in the Simplest Complexity Class20 Feb 2025
- 2025Fine-Tuning is Subgraph Search: A New Lens on Learning Dynamics10 Feb 2025
- 2024A Survey on Human-Centric LLMs20 Nov 2024
Similar, not cited
Close in wording, no citation either way
- 2024Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs
- 2023Large Language Models are In-Context Semantic Reasoners rather than Symbolic Reasoners
- 2024Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach
- 2025LogiDynamics: Unraveling the Dynamics of Inductive, Abductive and Deductive Logical Inferences in LLM Reasoning
- 2026Beyond Surface Forms: Symbolic Edits as a Test for Logical Reasoning with LLMs
- 2024A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters
- 2025Do Language Models Follow Occam's Razor? An Evaluation of Parsimony in Inductive and Abductive Reasoning
- 2024Do Large Language Models Understand Logic or Just Mimick Context?