From System 1 to System 2: A Survey of Reasoning Large Language Models
Top Cited Papers
- 25 November 2025
- journal article
- review article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Pattern Analysis and Machine Intelligence
- Vol. 48 (3) , 3335-3354
Abstract
Achieving human-level intelligence requires refining the transition from the fast, intuitive System 1 to the slower, more deliberate System 2 reasoning. While System 1 excels in quick, heuristic decisions, System 2 relies on logical reasoning for more accurate judgments and reduced biases. Foundational Large Language Models (LLMs) excel at fast decision-making but lack the depth for complex reasoning, as they have not yet fully embraced the step-by-step analysis characteristic of true System 2 thinking. Recently, reasoning LLMs like OpenAI’s o1/o3 and DeepSeek’s R1 have demonstrated expert-level performance in fields such as mathematics and coding, closely mimicking the deliberate reasoning of System 2 and showcasing human-like cognitive abilities. This survey begins with a brief overview of the progress in foundational LLMs and the early development of System 2 technologies, exploring how their combination has paved the way for reasoning LLMs. Next, we discuss how to construct reasoning LLMs, trace the evolution of various reasoning models, and examine the core methods that enable advanced reasoning behind them. Additionally, we provide an overview of reasoning benchmarks, offering an in-depth comparison of the performance of representative reasoning LLMs. Finally, we explore promising directions for advancing reasoning LLMs and maintain a real-time GitHub Repository to track the latest developments. We hope this survey will serve as a valuable resource to inspire innovation and drive progress in this rapidly evolving field.Keywords
All Related Versions
Funding Information
- National Natural Science Foundation of China (62436009)
This publication has 76 references indexed in Scilit:
- MATHVERSE: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?2024
- Making Large Language Models Better Planners with Reasoning-Decision Alignment2024
- Beyond games: a systematic review of neural Monte Carlo tree search applicationsApplied Intelligence, 2023
- Prediction and forecasting of worldwide corona virus (COVID‐19) outbreak using time series and machine learningConcurrency and Computation: Practice and Experience, 2022
- Monte Carlo Tree Search: a review of recent modifications and applicationsArtificial Intelligence Review, 2022
- Monte-Carlo tree search and rapid action value estimation in computer GoArtificial Intelligence, 2011
- Resolution Theorem Proving2001
- Q-learningMachine Learning, 1992
- Computation-oriented reductions of predicate to propositional logicDecision Support Systems, 1988
- A FRAMEWORK FOR REPRESENTING KNOWLEDGE1988