mlsanityData to 14 Oct 2026

Learning to Reason via Mixture-of-Thought for Logical Reasoning

arXiv 2505.15817 ↗First posted 21 May 2025cs.CLcited by 20

On the map: LLM reasoning → Reasoning benchmarks and evaluation

Abstract (arXiv)

Human beings naturally utilize multiple reasoning modalities to learn and solve logical problems, i.e., different representational formats such as natural language, code, and symbolic logic. In contrast, most existing LLM-based approaches operate with a single reasoning modality during training, typically natural language. Although some methods explored modality selection or augmentation at inference time, the training process remains modality-blind, limiting synergy among modalities. To fill in this gap, we propose Mixture-of-Thought (MoT), a framework that enables LLMs to reason across three complementary modalities: natural language, code, and a newly introduced symbolic modality, truth-table, which systematically enumerates logical cases and partially mitigates key failure modes in natural language reasoning. MoT adopts a two-phase design: (1) self-evolving MoT training, which jointly learns from filtered, self-generated rationales across modalities; and (2) MoT inference, which fully leverages the synergy of three modalities to produce better predictions. Experiments on logical reasoning benchmarks including FOLIO and ProofWriter demonstrate that our MoT framework consistently and significantly outperforms strong LLM baselines with single-modality chain-of-thought approaches, achieving up to +11.7pp average accuracy gain. Further analyses show that our MoT framework benefits both training and inference stages; that it is particularly effective on harder logical reasoning problems; and that different modalities contribute complementary strengths, with truth-table reasoning helping to overcome key bottlenecks in natural language inference.

Key facts. Cited by 20 papers in the map (data through 14 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 36 of its 43 references that are in the map. First posted on arXiv 21 May 2025.

Builds on

36 of 43 references.

Closest ancestors · 9

Same direction, newest first

  1. 2025Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation10 Feb
  2. 2025VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning24 Jan
  3. 2024Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning10 Oct
  4. 2024HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning28 Sep
  5. 2024Quiet-STaR: Language Models Can Teach Themselves to Think Before Speaking14 Mar
  6. 2023LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers23 Oct
  7. 2023Large Language Model Cascades with Mixture of Thoughts Representations for Cost-efficient Reasoning4 Oct
  8. 2023Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning20 May
  9. 2022FOLIO: Natural Language Reasoning with First-Order Logic2 Sep

Other references · 27

  1. 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
  2. 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,330
  3. 2023Efficient Memory Management for Large Language Model Serving with PagedAttentioncited by 5,944
  4. 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
  5. 2024Qwen2.5 Technical Reportcited by 4,942
  6. 2024Gemma 2: Improving Open Language Models at a Practical Sizecited by 1,998
  7. 2022Competition-Level Code Generation with AlphaCodecited by 1,462
  8. 2023Encouraging Divergent Thinking in Large Language Models through Multi-Agent Debatecited by 1,011
  9. 2024Large Language Monkeys: Scaling Inference Compute with Repeated Samplingcited by 991
  10. 2022STaR: Bootstrapping Reasoning With Reasoningcited by 940
  11. 2022Large Language Models Are Reasoning Teacherscited by 329
  12. 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 324
15 more
  1. 2025rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinkingcited by 313
  2. 2024V-STaR: Training Verifiers for Self-Taught Reasonerscited by 217
  3. 2023Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generationcited by 148
  4. 2024Faithful Logical Reasoning via Symbolic Chain-of-Thoughtcited by 100
  5. 2024Self-Taught Evaluatorscited by 72
  6. 2024Self-Contrast: Better Reflection Through Inconsistent Solving Perspectivescited by 71
  7. 2024Lean-STaR: Learning to Interleave Thinking and Provingcited by 68
  8. 2025START: Self-taught Reasoner with Toolscited by 47
  9. 2023Exploring Human-Like Translation Strategy with Large Language Modelscited by 44
  10. 2025Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspectivecited by 29
  11. 2024Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Modelscited by 23
  12. 2023Think Outside the Code: Brainstorming Boosts Large Language Models in Code Generationcited by 19
  13. 2024ReGenesis: LLMs can Grow into Reasoning Generalists via Self-Improvementcited by 18
  14. 2024Diversity of Thought Elicits Stronger Reasoning Capabilities in Multi-Agent Debate Frameworkscited by 12
  15. 2014Grounding FO and FO(ID) with Boundscited by 3

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2025: 17; 2026: 3.

20 papers.

Sort:

By area:

  1. 2025R-Zero: Self-Evolving Reasoning LLM from Zero Datacited by 228
  2. 2025Self-Rewarding Vision-Language Model via Reasoning Decompositioncited by 97
  3. 2025Parallel-R1: Towards Parallel Thinking via Reinforcement Learningcited by 61
  4. 2025One Token to Fool LLM-as-a-Judgecited by 60
  5. 2025Evolving Language Models without Labels: Majority Drives Selection, Novelty Promotes Variationcited by 45
  6. 2025Emergent Hierarchical Reasoning in LLMs through Reinforcement Learningcited by 42
  7. 2025CDE: Curiosity-Driven Exploration for Efficient Reinforcement Learning in Large Language Modelscited by 29
  8. 2025Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Studycited by 17
  9. 2025ImAgent: A Unified Multimodal Agent Framework for Test-Time Scalable Image Generationcited by 17
  10. 2025Multi-Crit: Benchmarking Multimodal Judges on Pluralistic Criteria-Followingcited by 15
  11. 2026CoBA-RL: Capability-Oriented Budget Allocation for Reinforcement Learning in LLMscited by 12
  12. 2025R1-RE: Cross-Domain Relation Extraction with RLVRcited by 11
8 more
  1. 2025ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMscited by 9
  2. 2025Stable and Efficient Single-Rollout RL for Multimodal Reasoningcited by 8
  3. 2025Training Large Language Models To Reason In Parallel With Global Forking Tokenscited by 6
  4. 2025Putting on the Thinking Hats: A Survey on Chain of Thought Fine-tuning from the Perspective of Human Reasoning Mechanismcited by 4
  5. 2025Agentic-R1: Distilled Dual-Strategy Reasoningcited by 3
  6. 2025Prompting Test-Time Scaling Is A Strong LLM Reasoning Data Augmentationcited by 2
  7. 2026VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipelinecited by 2
  8. 2026Separate First, Fuse Later: Mitigating Cross-Modal Interference in Audio-Visual LLMs Reasoning with Modality-Specific Chain-of-Thoughtcited by 2

Similar, not cited

Close in wording, no citation either way

  1. 2025Mixture of Reasonings: Teach Large Language Models to Reason with Adaptive Strategies
  2. 2022Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning
  3. 2025Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models
  4. 2025Thinking in Many Modes: How Composite Reasoning Elevates Large Language Model Performance with Limited Data
  5. 2024Conditional and Modal Reasoning in Large Language Models
  6. 2024LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
  7. 2024CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge
  8. 2023DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy