Learning to Reason via Mixture-of-Thought for Logical Reasoning
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
- 2025Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation10 Feb
- 2025VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning24 Jan
- 2024Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning10 Oct
- 2024HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning28 Sep
- 2024Quiet-STaR: Language Models Can Teach Themselves to Think Before Speaking14 Mar
- 2023LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers23 Oct
- 2023Large Language Model Cascades with Mixture of Thoughts Representations for Cost-efficient Reasoning4 Oct
- 2023Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning20 May
- 2022FOLIO: Natural Language Reasoning with First-Order Logic2 Sep
Other references · 27
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,330
- 2023Efficient Memory Management for Large Language Model Serving with PagedAttentioncited by 5,944
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
- 2024Qwen2.5 Technical Reportcited by 4,942
- 2024Gemma 2: Improving Open Language Models at a Practical Sizecited by 1,998
- 2022Competition-Level Code Generation with AlphaCodecited by 1,462
- 2023Encouraging Divergent Thinking in Large Language Models through Multi-Agent Debatecited by 1,011
- 2024Large Language Monkeys: Scaling Inference Compute with Repeated Samplingcited by 991
- 2022STaR: Bootstrapping Reasoning With Reasoningcited by 940
- 2022Large Language Models Are Reasoning Teacherscited by 329
- 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 324
15 more
- 2025rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinkingcited by 313
- 2024V-STaR: Training Verifiers for Self-Taught Reasonerscited by 217
- 2023Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generationcited by 148
- 2024Faithful Logical Reasoning via Symbolic Chain-of-Thoughtcited by 100
- 2024Self-Taught Evaluatorscited by 72
- 2024Self-Contrast: Better Reflection Through Inconsistent Solving Perspectivescited by 71
- 2024Lean-STaR: Learning to Interleave Thinking and Provingcited by 68
- 2025START: Self-taught Reasoner with Toolscited by 47
- 2023Exploring Human-Like Translation Strategy with Large Language Modelscited by 44
- 2025Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspectivecited by 29
- 2024Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Modelscited by 23
- 2023Think Outside the Code: Brainstorming Boosts Large Language Models in Code Generationcited by 19
- 2024ReGenesis: LLMs can Grow into Reasoning Generalists via Self-Improvementcited by 18
- 2024Diversity of Thought Elicits Stronger Reasoning Capabilities in Multi-Agent Debate Frameworkscited by 12
- 2014Grounding FO and FO(ID) with Boundscited by 3
Built on by
Citing papers per year: 2025: 17; 2026: 3.
20 papers.
Sort:
By area:
- 2025R-Zero: Self-Evolving Reasoning LLM from Zero Datacited by 228
- 2025Self-Rewarding Vision-Language Model via Reasoning Decompositioncited by 97
- 2025Parallel-R1: Towards Parallel Thinking via Reinforcement Learningcited by 61
- 2025One Token to Fool LLM-as-a-Judgecited by 60
- 2025Evolving Language Models without Labels: Majority Drives Selection, Novelty Promotes Variationcited by 45
- 2025Emergent Hierarchical Reasoning in LLMs through Reinforcement Learningcited by 42
- 2025CDE: Curiosity-Driven Exploration for Efficient Reinforcement Learning in Large Language Modelscited by 29
- 2025Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Studycited by 17
- 2025ImAgent: A Unified Multimodal Agent Framework for Test-Time Scalable Image Generationcited by 17
- 2025Multi-Crit: Benchmarking Multimodal Judges on Pluralistic Criteria-Followingcited by 15
- 2026CoBA-RL: Capability-Oriented Budget Allocation for Reinforcement Learning in LLMscited by 12
- 2025R1-RE: Cross-Domain Relation Extraction with RLVRcited by 11
8 more
- 2025ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMscited by 9
- 2025Stable and Efficient Single-Rollout RL for Multimodal Reasoningcited by 8
- 2025Training Large Language Models To Reason In Parallel With Global Forking Tokenscited by 6
- 2025Putting on the Thinking Hats: A Survey on Chain of Thought Fine-tuning from the Perspective of Human Reasoning Mechanismcited by 4
- 2025Agentic-R1: Distilled Dual-Strategy Reasoningcited by 3
- 2025Prompting Test-Time Scaling Is A Strong LLM Reasoning Data Augmentationcited by 2
- 2026VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipelinecited by 2
- 2026Separate First, Fuse Later: Mitigating Cross-Modal Interference in Audio-Visual LLMs Reasoning with Modality-Specific Chain-of-Thoughtcited by 2
- 2026Separate First, Fuse Later: Mitigating Cross-Modal Interference in Audio-Visual LLMs Reasoning with Modality-Specific Chain-of-Thought11 May 2026
- 2026VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline11 Apr 2026
- 2026CoBA-RL: Capability-Oriented Budget Allocation for Reinforcement Learning in LLMs3 Feb 2026
- 2025Stable and Efficient Single-Rollout RL for Multimodal Reasoning20 Dec 2025
- 2025Multi-Crit: Benchmarking Multimodal Judges on Pluralistic Criteria-Following26 Nov 2025
- 2025ImAgent: A Unified Multimodal Agent Framework for Test-Time Scalable Image Generation14 Nov 2025
- 2025Putting on the Thinking Hats: A Survey on Chain of Thought Fine-tuning from the Perspective of Human Reasoning Mechanism15 Oct 2025
- 2025Prompting Test-Time Scaling Is A Strong LLM Reasoning Data Augmentation10 Oct 2025
- 2025Training Large Language Models To Reason In Parallel With Global Forking Tokens1 Oct 2025
- 2025Evolving Language Models without Labels: Majority Drives Selection, Novelty Promotes Variation18 Sep 2025
- 2025CDE: Curiosity-Driven Exploration for Efficient Reinforcement Learning in Large Language Models11 Sep 2025
- 2025Parallel-R1: Towards Parallel Thinking via Reinforcement Learning9 Sep 2025
8 more
- 2025Emergent Hierarchical Reasoning in LLMs through Reinforcement Learning3 Sep 2025
- 2025Self-Rewarding Vision-Language Model via Reasoning Decomposition27 Aug 2025
- 2025R-Zero: Self-Evolving Reasoning LLM from Zero Data7 Aug 2025
- 2025One Token to Fool LLM-as-a-Judge11 Jul 2025
- 2025Agentic-R1: Distilled Dual-Strategy Reasoning8 Jul 2025
- 2025R1-RE: Cross-Domain Relation Extraction with RLVR7 Jul 2025
- 2025ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs18 Jun 2025
- 2025Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study5 Jun 2025
- 2025R-Zero: Self-Evolving Reasoning LLM from Zero Datacited by 228
- 2025Self-Rewarding Vision-Language Model via Reasoning Decompositioncited by 97
- 2025Parallel-R1: Towards Parallel Thinking via Reinforcement Learningcited by 61
- 2025Emergent Hierarchical Reasoning in LLMs through Reinforcement Learningcited by 42
- 2025CDE: Curiosity-Driven Exploration for Efficient Reinforcement Learning in Large Language Modelscited by 29
- 2025Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Studycited by 17
- 2026CoBA-RL: Capability-Oriented Budget Allocation for Reinforcement Learning in LLMscited by 12
- 2025ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMscited by 9
- 2025Stable and Efficient Single-Rollout RL for Multimodal Reasoningcited by 8
- 2025Training Large Language Models To Reason In Parallel With Global Forking Tokenscited by 6
- 2025Putting on the Thinking Hats: A Survey on Chain of Thought Fine-tuning from the Perspective of Human Reasoning Mechanismcited by 4
- 2025Agentic-R1: Distilled Dual-Strategy Reasoningcited by 3
12 most cited of 14 All 14 (JSON)
- 2026Separate First, Fuse Later: Mitigating Cross-Modal Interference in Audio-Visual LLMs Reasoning with Modality-Specific Chain-of-Thought11 May 2026
- 2026CoBA-RL: Capability-Oriented Budget Allocation for Reinforcement Learning in LLMs3 Feb 2026
- 2025Stable and Efficient Single-Rollout RL for Multimodal Reasoning20 Dec 2025
- 2025Putting on the Thinking Hats: A Survey on Chain of Thought Fine-tuning from the Perspective of Human Reasoning Mechanism15 Oct 2025
- 2025Prompting Test-Time Scaling Is A Strong LLM Reasoning Data Augmentation10 Oct 2025
- 2025Training Large Language Models To Reason In Parallel With Global Forking Tokens1 Oct 2025
- 2025CDE: Curiosity-Driven Exploration for Efficient Reinforcement Learning in Large Language Models11 Sep 2025
- 2025Parallel-R1: Towards Parallel Thinking via Reinforcement Learning9 Sep 2025
- 2025Emergent Hierarchical Reasoning in LLMs through Reinforcement Learning3 Sep 2025
- 2025Self-Rewarding Vision-Language Model via Reasoning Decomposition27 Aug 2025
- 2025R-Zero: Self-Evolving Reasoning LLM from Zero Data7 Aug 2025
- 2025Agentic-R1: Distilled Dual-Strategy Reasoning8 Jul 2025
12 newest of 14 All 14 (JSON)
- 2025One Token to Fool LLM-as-a-Judgecited by 60
- 2025One Token to Fool LLM-as-a-Judge11 Jul 2025
- 2025Evolving Language Models without Labels: Majority Drives Selection, Novelty Promotes Variationcited by 45
- 2025ImAgent: A Unified Multimodal Agent Framework for Test-Time Scalable Image Generationcited by 17
- 2025R1-RE: Cross-Domain Relation Extraction with RLVRcited by 11
- 2026VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipelinecited by 2
- 2026VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline11 Apr 2026
- 2025ImAgent: A Unified Multimodal Agent Framework for Test-Time Scalable Image Generation14 Nov 2025
- 2025Evolving Language Models without Labels: Majority Drives Selection, Novelty Promotes Variation18 Sep 2025
- 2025R1-RE: Cross-Domain Relation Extraction with RLVR7 Jul 2025
Similar, not cited
Close in wording, no citation either way
- 2025Mixture of Reasonings: Teach Large Language Models to Reason with Adaptive Strategies
- 2022Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning
- 2025Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models
- 2025Thinking in Many Modes: How Composite Reasoning Elevates Large Language Model Performance with Limited Data
- 2024Conditional and Modal Reasoning in Large Language Models
- 2024LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
- 2024CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge
- 2023DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy