mlsanityData to 14 Oct 2026

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning

arXiv 2601.02902 ↗First posted 6 Jan 2026cs.AI cs.CL cs.LOcited by 25

On the map: LLM reasoning → Reasoning benchmarks and evaluation

Abstract (arXiv)

Symbolic logical reasoning is a critical yet underexplored capability of large language models (LLMs), providing reliable and verifiable decision-making in high-stakes domains such as mathematical reasoning and legal judgment. In this study, we present a systematic analysis of logical reasoning under controlled increases in logical complexity, and reveal a previously unrecognized phenomenon, which we term Logical Phase Transitions: rather than degrading smoothly, logical reasoning performance remains stable within a regime but collapses abruptly beyond a critical logical depth, mirroring physical phase transitions such as water freezing beyond a critical temperature threshold. Building on this insight, we propose Neuro-Symbolic Curriculum Tuning, a principled framework that adaptively aligns natural language with logical symbols to establish a shared representation, and reshapes training dynamics around phase-transition boundaries to progressively strengthen reasoning at increasing logical depths. Experiments on five benchmarks show that our approach effectively mitigates logical reasoning collapse at high complexity, yielding average accuracy gains of +1.26 in naive prompting and +3.95 in CoT, while improving generalization to unseen logical compositions. Code and data are available at https://github.com/AI4SS/Logical-Phase-Transitions.

Key facts. Cited by 25 papers in the map (data through 14 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 33 of its 67 references that are in the map. First posted on arXiv 6 Jan 2026.

Builds on

33 of 67 references.

Closest ancestors · 11

Same direction, newest first

  1. 2025Semantic-Aware Logical Reasoning via a Semiotic Framework29 Sep
  2. 2025Qwen3 Technical Report14 May
  3. 2025Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation10 Feb
  4. 2024Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework22 Dec
  5. 2024Exploring the Role of Reasoning Structures for Constructing Proofs in Multi-Step Natural Language Reasoning with Large Language Models11 Oct
  6. 2024Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning10 Oct
  7. 2023Cumulative Reasoning with Large Language Models8 Aug
  8. 2023Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning20 May
  9. 2022Towards Reasoning in Large Language Models: A Survey20 Dec
  10. 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought3 Oct
  11. 2022FOLIO: Natural Language Reasoning with First-Order Logic2 Sep

Other references · 22

  1. 2023GPT-4 Technical Reportcited by 18,396
  2. 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,330
  3. 2023A Survey of Large Language Modelscited by 2,576
  4. 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 324
  5. 2025The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexitycited by 302
  6. 2025Qwen2.5-1M Technical Reportcited by 164
  7. 2023MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoningcited by 156
  8. 2024Faithful Logical Reasoning via Symbolic Chain-of-Thoughtcited by 100
  9. 2023Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translationcited by 59
  10. 2025Rethinking Entropy Interventions in RLVR: An Entropy Change Perspectivecited by 52
  11. 2025AMO-Bench: Large Language Models Still Struggle in High School Math Competitionscited by 38
  12. 2024Coupled Mamba: Enhanced Multi-modal Fusion with Coupled State Space Modelcited by 31
10 more
  1. 2025Think-While-Generating: On-the-Fly Reasoning for Personalized Long-Form Generationcited by 30
  2. 2025SF2T: Self-supervised Fragment Finetuning of Video-LLMs for Fine-Grained Understandingcited by 25
  3. 2025STAGE: Storyboard-Anchored Generation for Cinematic Multi-shot Narrativecited by 23
  4. 2024Deep SE(3)-Equivariant Geometric Reasoning for Precise Placement Taskscited by 19
  5. 2025LoRA-Mixer: Coordinate Modular LoRA Experts Through Serial Attention Routingcited by 18
  6. 2025MVP: Winning Solution to SMP Challenge 2025 Video Trackcited by 14
  7. 2025DualVLA: Building a Generalizable Embodied Agent via Partial Decoupling of Reasoning and Actioncited by 12
  8. 2025InSPO: Unlocking Intrinsic Self-Reflection for LLM Preference Optimizationcited by 11
  9. 2025A Fano-Style Accuracy Upper Bound for LLM Single-Pass Reasoning in Multi-Hop QAcited by 9
  10. 2025FLARE: Fully Integration of Vision-Language Representations for Deep Cross-Modal Understandingcited by 4

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 25.

25 papers.

Sort:

By area:

  1. 2026Neural Chain-of-Thought Search: Searching the Optimal Reasoning Path to Enhance Large Language Modelscited by 8
  2. 2026Reason in Chains, Learn in Trees: Self-Rectification and Grafting for Multi-turn Agent Policy Optimizationcited by 8
  3. 2026Recursive Self-Evolving Agents via Held-Out Selectioncited by 7
  4. 2026Rethinking Layer-Wise Information Allocation for Vision Foundation Model Adaptationcited by 7
  5. 2026From log π to π: Taming Divergence in Soft Clipping via Bilateral Decoupled Decay of Probability Gradient Weightcited by 6
  6. 2026One Refiner to Unlock Them All: Inference-Time Reasoning Elicitation via Reinforcement Query Refinementcited by 6
  7. 2026PERM: Psychology-grounded Empathetic Reward Modeling for Large Language Modelscited by 5
  8. 2026Seeing Further and Wider: Joint Spatio-Temporal Enlargement for Micro-Video Popularity Predictioncited by 5
  9. 2026Large Language Model as Token Compressor and Decompressorcited by 4
  10. 2026ActorMind: Emulating Human Actor Reasoning for Speech Role-Playingcited by 4
  11. 2026Sparse Growing Transformer: Training-Time Sparse Depth Allocation via Progressive Attention Loopingcited by 3
  12. 2026STRIDE-ED: A Strategy-Grounded Stepwise Reasoning Framework for Empathetic Dialogue Systemscited by 3
13 more
  1. 2026HotComment: A Benchmark for Evaluating Popularity of Online Commentscited by 3
  2. 2026CurEvo: Curriculum-Guided Self-Evolution for Video Understandingcited by 3
  3. 2026OmniTrend: Content-Context Modeling for Scalable Social Popularity Predictioncited by 1
  4. 2026IMAGINE: Adaptive Schema-Imagery Enhanced Composition for Composed Video Retrievalcited by 1
  5. 2026Semiotic logical hexagon theory for LLM logical reasoningcited by 1
  6. 2026Surfacing the Unsaid: CUE-Bench for Affective Stance in Chinese Discoursecited by 1
  7. 2026From Topology to Trajectory: LLM-Driven World Models For Supply Chain Resiliencecited by 0
  8. 2026GateMOT: Q-Gated Attention for Dense Object Trackingcited by 0
  9. 2026When Does Critique Improve AI-Assisted Theoretical Physics? SCALAR: Structured Critic--Actor Loop for Agentic Reasoningcited by 0
  10. 2026Customer-Agent: Overcoming Context Limitations in Ultra-Long Shopping Trajectories via Tool-Augmented Agents and RLVRcited by 0
  11. 2026BV-Blend: Uncertainty-Weighted Historical Baselines for Stable Critic-Free RL with Verifiable Rewardscited by 0
  12. 2026LightAIR: Lightweight Action Inversion and Riemannian Rectification for Text-based Person Anomaly Searchcited by 0
  13. 2026Too Good to Be Real? Diagnosing and Reducing the Gap Between AI Preference and Real User Engagementcited by 0

Similar, not cited

Close in wording, no citation either way

  1. 2026IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning
  2. 2025Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better
  3. 2024Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach
  4. 2026ReEfBench: Quantifying the Reasoning Efficiency of LLMs
  5. 2026Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
  6. 2025Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
  7. 2025Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
  8. 2025Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning