Thinking Long, but Short: Stable Sequential Test-Time Scaling for Large Reasoning Models
Michael R. Metel, Yufei Cui, Boxing Chen, Prasanna Parthasarathi
TL;DR
This work addresses instability in sequential test-time scaling for large reasoning models by introducing Min-Seek, a training-free method that stabilizes long reasoning chains. It achieves this by retaining only the shortest past reconstruction cycles in a custom KV cache that stores keys without position embeddings, enabling reasoning beyond the model’s maximum context length with linear complexity. Empirically, Min-Seek delivers consistent accuracy gains and robustness across multiple datasets and two distilled DeepSeek-R1 models, outperforming Budget Forcing and offering notable speedups. The approach provides a practical path to unbounded, interpretable long-horizon reasoning in large language models while maintaining efficiency and avoiding the need for context-length fine-tuning.
Abstract
Sequential test-time scaling is a promising training-free method to improve large reasoning model accuracy, but as currently implemented, significant limitations have been observed. Inducing models to think for longer can increase their accuracy, but as the length of reasoning is further extended, it has also been shown to result in accuracy degradation and model instability. This work presents a novel sequential test-time scaling method, Min-Seek, which improves model accuracy significantly over a wide range of induced thoughts, stabilizing the accuracy of sequential scaling, and removing the need for reasoning length fine-tuning. Beyond improving model accuracy over a variety of reasoning tasks, our method is inherently efficient, as only the KV pairs of one additional induced thought are kept in the KV cache during reasoning. With a custom KV cache which stores keys without position embeddings, by dynamically encoding them contiguously before each new generated thought, our method can continue to reason well beyond a model's maximum context length, and under mild conditions has linear computational complexity.
