🤖 AI Summary
Existing large language models (LLMs) rely on chain-of-thought (CoT) prompting and test-time scaling (TTS) methods—such as beam search and diverse-verifiable tree search (DVTS)—for mathematical reasoning, yet suffer from severe path homogenization and inefficient utilization of intermediate reasoning steps. To address this, we propose a stepwise reasoning checkpoint analysis framework: it dynamically inserts verifiable checkpoints between CoT steps, integrates answer-clustering-guided diverse search with checkpoint candidate enhancement to significantly improve path diversity and fault tolerance, and further aggregates multiple intermediate results via consensus-based decision making. Evaluated on standard benchmarks including GSM8K and MATH, our method consistently outperforms state-of-the-art TTS approaches, achieving substantial accuracy gains. This work establishes a novel, efficient, and robust test-time optimization paradigm for LLM-based mathematical reasoning.
📝 Abstract
Mathematical reasoning through Chain-of-Thought (CoT) has emerged as a powerful capability of Large Language Models (LLMs), which can be further enhanced through Test-Time Scaling (TTS) methods like Beam Search and DVTS. However, these methods, despite improving accuracy by allocating more computational resources during inference, often suffer from path homogenization and inefficient use of intermediate results. To address these limitations, we propose Stepwise Reasoning Checkpoint Analysis (SRCA), a framework that introduces checkpoints between reasoning steps. It incorporates two key strategies: (1) Answer-Clustered Search, which groups reasoning paths by their intermediate checkpoint answers to maintain diversity while ensuring quality, and (2) Checkpoint Candidate Augmentation, which leverages all intermediate answers for final decision-making. Our approach effectively reduces path homogenization and creates a fault-tolerant mechanism by utilizing high-quality intermediate results. Experimental results show that SRCA improves reasoning accuracy compared to existing TTS methods across various mathematical datasets.