REVIEW 4 major objections 4 minor 34 cited by
When More is Less: Understanding Chain-of-Thought Length in LLMs
T0 review · 4 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read Chain-of-thought accuracy peaks at an intermediate length: longer is not better.
desk verdict Empirical inverted-U is solid and useful; the scaling-law proof is conditional on an unverified linear ansatz, and the general extension does not prove what it claims. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the per-step success product in Proposition 4.2: each CoT step must both state the right sub-question and answer it correctly, so $N$ steps compound the per-step success probability $(1-\sigma(T))(1-E(N,M,T))$ into $A(N)$. Longer chains make each sub-question easier (lower $E$) but multiply more factors, and they also increase the chance of a sub-question error. The explicit linear forms $\sigma(T)=T/C$ and $E(N,M,T)=T/(NM)$ turn this tradeoff into the closed-form optimum of Theorem 4.3, whose derivative condition is solved by the Lambert W function (the function $w$ with $w e^w = x$).
What would settle it
Take a reasoning task with verification steps that catch earlier errors, so per-step error decays faster than linearly with $N$, and measure accuracy against CoT length over a wide range; if accuracy keeps rising monotonically instead of peaking, the inverted-U claim and its linear error model are falsified. A second check is to measure the optimal length for one fixed difficulty across a fine grid of model sizes; if the optimum does not decrease monotonically with capability, Corollary 4.4 is contradicted.
Extended reading notes
Core claim
The paper's central claim is formalized as a product decomposition of final accuracy: $A(N) = \alpha [(1-\sigma(T))(1-E(N,M,T))]^N$, where $N$ is the number of reasoning steps, $T$ is task difficulty, $M$ is model capability, $\sigma(T)$ is the error rate of generating a sub-question, and $E(N,M,T)$ is the error rate of answering each sub-question. Under the linear-error model $\sigma(T)=T/C$ and $E(N,M,T)=T/(NM)$, the accuracy function has an interior maximum at $N^*=T Z/(M(Z+1))$ with $Z=W_{-1}(-1-T/(Ce))$; this optimum increases with $T$ and decreases with $M$. Thus the author's intended claim is not merely that long CoTs fail, but that there is a provable, predictable peak length that explains both overthinking and the preference of stronger models for shorter reasoning paths.
Load-bearing premise
The theory assumes the two error rates take the exact linear forms $\sigma(T)=T/C$ and $E(N,M,T)=T/(NM)$, and these forms already build in the inverse dependence on $N$ and $M$ that the optimal-length formula outputs; if the true per-step error rates are not linear in $T/(NM)$ and $T/C$, the explicit formula for $N^*$ and the monotonicity results do not follow. The empirical optimal-length measurements additionally depend on coarse length binning and on excluding questions whose accuracy is near zero or near one.
Editorial extensions
If this is right
- Models trained on chains of their own optimal length outperform models trained on uniformly mixed chain lengths, and a smaller model with correctly sized chains can beat a larger model with poorly sized chains.
- Filtering out very long chains before majority voting (Length-Filtered Vote) improves accuracy over plain majority voting because very short and very long chains contribute noisier votes.
- Reinforcement learning with outcome rewards converges to the optimal chain length, so the observed shrinking of CoT during RL is the expected consequence of reward optimization, not a separate anomaly.
- Optimal per-step complexity rises with task difficulty, so forcing every problem into the same step granularity is suboptimal for hard tasks.
Reading between the lines
- If the inverted-U law holds across real tasks, then test-time compute is not monotone: for each question there is a compute budget beyond which extra tokens actively hurt accuracy, so overthinking is a measurable phenomenon rather than just a cost concern.
- The theory predicts that when two models of different sizes are fine-tuned on the same fixed-length CoT corpus, the larger model will be further from its potential until the chain lengths in the data are re-matched to its capability; this is a direct comparison a user could run.
- Length-aware filtering could be extended to reward shaping during RL by explicitly penalizing chains far from the estimated optimal length, which may speed convergence to the same peak that outcome-only rewards reach more slowly.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies how chain-of-thought (CoT) length affects LLM accuracy. It argues that accuracy follows an inverted U-shaped curve in CoT length, that the optimal length increases with task difficulty and decreases with model capability (simplicity bias), and that RL training shifts models toward shorter chains. The evidence is threefold: real-world evaluations on Qwen and Llama models over MATH, MMLU, and GPQA; controlled synthetic arithmetic experiments with GPT-2 models of varying depth; and a theoretical model in which total accuracy is A(N)=alpha[(1-E)(1-sigma)]^N. Under the linear ansatz sigma(T)=T/C and E(N,M,T)=T/(NM), Theorem 4.3 gives an explicit optimum N*=T Z/(M(Z+1)), and Corollary 4.4 states the scaling laws. The paper also proposes training with optimal-length CoT data and a length-filtered majority vote. I agree with the reader that the controlled synthetic experiments cleanly demonstrate the inverted U and the scaling trends, but the formal scaling laws are conditional on an unvalidated functional ansatz, the printed Lambert-W formula in Theorem 4.3 is mistyped, and the general extension in Appendix F does not logically establish monotonicity of the maximizer from monotonicity of a lower bound.
Significance. If fully established, the paper would be a useful contribution: it challenges the default assumption that longer CoT is always better, offers a transparent mechanism (the trade-off between task decomposition and error accumulation), and gives practical guidance for adaptive CoT calibration. The controlled synthetic experiments are a genuine strength: they systematically vary task difficulty and model capability, show the inverted U, and demonstrate that RL converges to the optimal length. The theoretical model is simple and the empirical inverted-U does not depend on the theory for its support. The significance is currently limited because the scaling laws are largely derived from assumed functional forms rather than independently confirmed, and the real-world length estimates are noisy. With the theory either validated or explicitly presented as a conditional heuristic, the paper would be a solid empirical and conceptual contribution.
major comments (4)
- [Section 4.1, Theorem 4.3, Corollary 4.4] The central scaling laws are largely a restatement of the linear ansatz. With sigma(T)=T/C and E(N,M,T)=T/(NM), the maximizer of Eq. (1) is N*=T Z/(M(Z+1)) with Z independent of M, so N* is proportional to 1/M by construction and the T-dependence is inserted through the numerator T and through Z. Corollary 4.4 therefore derives dependencies that are already encoded in the assumptions; no independent evidence is provided for the specific linear forms. Appendix E.2, the only empirical support cited for the model, reports training-loss ratios rather than estimating E or sigma, and its statement that the subtask error rate is taken constant with t is in tension with E=T/(NM), which varies with the per-step size t=T/N. The formal claims should be reframed as conditional on the ansatz, or the ansatz should be validated.
- [Theorem 4.3] The theorem statement defines Z=W_{-1}(-1-T/(Ce)), but for 0<T/C<0.9 this argument is less than -1, which is outside the real domain of the Lambert W function. The proof in Appendix G.2 correctly uses W_{-1}(-(1-T/C)/e). The theorem statement must be corrected; as printed, the formula in Eq. (2) is not meaningful for the stated regime.
- [Appendix F, Corollaries F.4 and F.5] Theorem F.3 establishes only a lower bound NLB(M,T) on any interior maximizer N*; it does not establish that A(N) has a maximum at all, nor that the maximizer is unique. Corollaries F.4 and F.5 infer monotonicity of N* from monotonicity of the lower bound, which is not logically valid: a lower bound can move monotonically while the maximizer itself moves in the opposite direction or ceases to exist. The claimed qualitative scaling laws under general error functions therefore remain unproved. Additionally, Eq. (19) in the proof of Theorem F.3 misprints the derivative: it should be ln((1-sigma)(1-E(x))) - xE'(x)/(1-E(x)), not ln(1-sigma(1-E(x))) - xE'(x)/(1-E(x)); the printed inequality does not follow from the written expression.
- [Section 2.1 and Appendix C.1] The real-world estimate of optimal CoT length is fragile. For each question, the optimal length is the best length bin among 60 sampled solutions, which is a noisy quantity, and the analysis uses coarse bin widths (5 in the cross-model comparison, 2 in the difficulty analysis) and excludes questions with accuracy below 0.01 or above 0.99 after the fact. No error bars or confidence intervals are provided for the estimated optimal lengths themselves, only for the regression line in Figure 2b. Figure 2a uses only four model sizes without repeated seeds. This weakens the real-world evidence for the scaling laws, although the controlled synthetic experiments stand independently.
minor comments (4)
- [Section 3.2 heading] The heading contains a duplicated word: 'Scaling Laws of the Optimal CoT Length and and Practical Insights'. It should be 'and Practical Insights'.
- [Abstract and Section 5.2] There are typographical artifacts in the text, including 'Length-aware Voteto' in the abstract and 'Length-Filtered V ote' in Section 5.2 and Figure 4c; these should be cleaned up.
- [Appendix E.2] The sentence 'the loss of subtask generation tokens for the easiest subtask (t=1) is about 3 times larger than the hardest subtask (t=12)' appears to contradict the intended claim that harder subtasks have larger loss; please clarify whether this is a ratio reversal or a typo.
- [Appendix H, Algorithm 1] In Length-Filtered Vote, if a length bin L_j is empty, the computation of p_j[a] divides by |L_j|=0; the algorithm should specify how empty bins are handled.
Circularity Check
No significant circularity: theoretical results are conditional on explicitly stated error-rate assumptions; empirical inverted-U and scaling claims are independently measured.
full rationale
The paper's formal results are conditional derivations from explicitly stated assumptions rather than disguised restatements of the target conclusions. Proposition 4.2 defines a product-form accuracy model, and the linear ansatz E(N,M,T)=T/(NM) with σ(T)=T/C in Section 4.1 is introduced as a 'simple case' and motivated by subtask-loss measurements in Appendix E.2, not fitted to the optimal-length data. Theorem 4.3 and Corollary 4.4 are algebraic consequences of that ansatz; they do not feed the empirical inverted-U observations back into the theory as inputs. The empirical scaling laws and inverted-U curves in Sections 2 and 3 come from controlled measurements independent of the theoretical model, and the RL convergence result (Corollary 4.5) is a standard policy-gradient/replicator-dynamics fact proved for arbitrary reward A(N). The only author self-citation, [41], appears in Related Work and is not load-bearing. The logically invalid inference from a lower bound to monotonicity of the maximizer in Corollaries F.4 and F.5 is a correctness flaw, not a circularity, because it does not assume the conclusion it purports to prove. No step in the derivation chain reduces by construction to its own inputs.
Assumptions & free parameters
free parameters (2)
- C
- M
assumptions (4)
- domain assumption CoT step errors are independent and multiply: the final accuracy is the product of per-step success probabilities (Definition 4.1, Proposition 4.2).
- ad hoc to paper Sub-question error per token is a constant sigma(T) independent of model capability and step granularity, with linear form sigma(T)=T/C.
- ad hoc to paper Sub-answer error rate has the exact linear form E(N,M,T)=T/(NM), decreasing linearly in N and M.
- domain assumption RL training is modeled as a stateless multi-armed bandit with binary outcome rewards and a softmax policy.
Cite this review
Pith. "Pith review of When More is Less: Understanding Chain-of-Thought Length in LLMs." pith.science (2026). https://pith.science/paper/CB6LK7KV
@misc{pith2026250207266,
author = {Pith},
title = {Pith review of: When More is Less: Understanding Chain-of-Thought Length in LLMs},
year = {2026},
howpublished = {\url{https://pith.science/paper/CB6LK7KV}},
note = {Machine review of arXiv:2502.07266}
}
read the original abstract
Large Language Models (LLMs) employ Chain-of-Thought (CoT) reasoning to deconstruct complex problems. While longer CoTs are often presumed superior, this paper challenges that notion, arguing that longer is not always better. Drawing on combined evidence from real-world observations, controlled experiments, and theoretical analysis, we demonstrate that task accuracy typically follows an inverted U-shaped curve with CoT length, where performance initially improves but eventually decreases as the number of CoT steps increases. With controlled experiments, we further uncover the scaling behaviors of the optimal CoT length: it increases with task difficulty but decreases with model capability, exposing an inherent simplicity bias where more capable models favor shorter, more efficient CoT reasoning. This bias is also evident in Reinforcement Learning (RL) training, where models gravitate towards shorter CoTs as their accuracy improves. To have a deep understanding of these dynamics, we establish a simple theoretical model that formally proves these phenomena, including the optimal length's scaling laws and the emergence of simplicity bias during RL. Guided by this framework, we demonstrate significant practical benefits from training with optimally-lengthed CoTs and employing length-aware filtering at inference. These findings offer both a principled understanding of the "overthinking" phenomenon and multiple practical guidelines for CoT calibration, enabling LLMs to achieve optimal reasoning performance with adaptive CoTs tailored to task complexity and model capability.
Figures
Figures from the paper (6 more)
Forward citations
Cited by 34 Pith papers
-
ReSum: Synergizing LLM Reasoning and Summarization with Reinforcement Learning
ReSum trains LLMs via RLVR to self-summarize reasoning trajectories, yielding 4% average performance gains and 18.6% shorter rollouts through contrastive rollout branches.
-
Stepwise Reasoning Checkpoint Analysis: A Test Time Scaling Method to Enhance LLMs' Reasoning
A checkpoint-based search and candidate augmentation method improves small LLM mathematical reasoning accuracy over existing test-time scaling baselines.
-
OPD-V: Visual On-Policy Self-Distillation with Modality Balance
OPD-V uses the gap between a zoom-in teacher and a mask teacher, the Modality-Balance Logits Margin, to pick which on-policy tokens to distill, improving MLLM visual reasoning and cutting training time.
-
Copy Less, Ground More: Overcoming Repetitive Copying in Long-Context Reasoning via Evidence-Aware Reinforcement Learning
GEAR adds a grounding reward for overlap with key evidence and a distractor penalty to the RL accuracy signal, reducing repetitive copying and improving long-context reasoning accuracy by up to 4.6 points over accurac...
-
Contrastive On-Policy Distillation
Contrasting a teacher's token scores under light- and heavy-thinking prompts yields a training signal that cuts reasoning length roughly in half without hurting accuracy.
-
Latency and Token-Aware Test-Time Compute
A learned per-query router selects both the inference-scaling method and its compute budget to balance accuracy, token use, and latency, outperforming static strategies on math reasoning.
-
Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
A minimal-prior pipeline with automated data curation and verifier-driven RL lets small LLMs generate verifiable Dafny specifications and beat larger proprietary models on a synthetic compositional benchmark.
-
Long-Short Alignment for Effective Long-Context Modeling in LLMs
A long-short misalignment metric quantifies output distribution drift across context lengths, correlates with long-context performance, and a regularizer based on it improves fine-tuned LLMs.
-
A Theory of Inference Compute Scaling: Reasoning through Directed Stochastic Skill Search
A skill-graph random-walk model gives closed-form accuracy-versus-compute formulas for four reasoning strategies and connects them to training scaling.
-
Overclocking LLM Reasoning: Monitoring and Controlling Thinking Path Lengths in LLMs
A fitted progress vector in LLM hidden states can monitor and, when added during decoding, shorten the thinking phase, often improving accuracy and cutting tokens.
-
What makes Reasoning Models Different? Follow the Reasoning Leader for Efficient Decoding
FoReaL-Decoding lets a strong reasoning model generate the first few tokens of each sentence and a weaker model complete the sentence, cutting theoretical FLOPs by 30-55% while retaining 86-100% of accuracy on four ma...
-
G1: Teaching LLMs to Reason on Graphs with Reinforcement Learning
Reinforcement learning on synthetic graph-theoretic tasks sharply improves LLM graph reasoning, transferring to larger graphs, new encodings, and real-world tasks.
-
Guided by Gut: Efficient Test-Time Scaling with Reinforced Intrinsic Confidence
Guided by Gut lets an LLM guide its own search using token-level confidence and step novelty, with a RL fine-tuning step to calibrate that confidence, achieving PRM-level accuracy at far lower compute and memory.
-
Stable Reinforcement Learning for Efficient Reasoning
GRPO-lambda switches between accuracy-only rewards and length-penalty rewards based on group correctness, stabilizing RL training and cutting chain-of-thought length by 47.3% while slightly raising accuracy.
-
Not All Thoughts are Generated Equal: Efficient LLM Reasoning via Multi-Turn Reinforcement Learning
A two-model collaborative reasoning framework (Long⊗Short) scores reasoning thoughts by rollout accuracy, trains one model for important thoughts and one for the rest, and reports over 80% token savings with small acc...
-
S-GRPO: Early Exit via Reinforcement Learning in Reasoning Models
S-GRPO trains reasoning models to answer from truncated thinking paths with decaying rewards for earlier correct answers, cutting output length by 35-61% while slightly raising accuracy.
-
Between Underthinking and Overthinking: An Empirical Study of Reasoning Length and correctness in LLMs
LLMs exhibit a non-monotonic length-accuracy pattern, overthinking easy questions and underthinking hard ones, and simple length-preference tuning reduces output length without major accuracy loss.
-
Structured Thoughts For Improved Reasoning And Context Pruning
Structured try/outcome SFT improves math reasoning by up to 8% over standard SFT and enables pruning ~85% of context with ~9% accuracy drop.
-
ReflectRL: Learning from Golden Negative Trajectories via Reflective-to-Direct Reasoning
ReflectRL repurposes failed expert reasoning traces as reflective scaffolding during RL and distillation training, then transitions the policy to direct reasoning, improving math and science benchmark scores.
-
Is Your Model Thinking or Just Stagnating? PUMA: Diagnosing Reasoning Pathology via Phase-Momentum Alignment
PUMA detects when a reasoning model's entropy drop aligns with hidden-state momentum, truncates at that point, and reports improved accuracy-efficiency on 1.5B-32B reasoning models.
-
Switch-Reasoner: Learn When to Think in Multitask Mixtures via Reinforcement Learning
A GRPO framework that treats thinking as a tool call and uses dual-level regulation so multimodal models learn when to reason versus answer directly.
-
Baichuan-M2: Scaling Medical Capability with Large Verifier System
Baichuan-M2, a 32B medical LLM trained with a patient simulator and a clinical rubric generator as RL verifiers, reports state-of-the-art HealthBench scores (60.1 overall, 34.7 hard), ahead of all open-source models.
-
Rethinking the Chain-of-Thought: The Roles of In-Context Learning and Pre-trained Priors
The paper finds that as exemplar count increases, LLMs shift from pretrained priors to in-context signals, and long chain-of-thought prompts induce longer reasoning chains that often improve accuracy.
-
CoRE: Enhancing Metacognition with Label-free Self-evaluation in LRMs
A training-free and label-free detector of cyclic hidden-state patterns triggers early exit during chain-of-thought reasoning, reducing token length while mostly preserving or improving accuracy.
-
Long or short CoT? Investigating Instance-level Switch of Large Reasoning Models
A fine-tuned selector can pick long or short chain-of-thought per question and per token budget, cutting reasoning-model inference cost by roughly 50 percent without sacrificing accuracy.
-
RAST: Reasoning Activation in LLMs via Small-model Transfer
Injecting the logit gap between a small RL-trained model and its base into a larger base model at decoding time improves reasoning accuracy on math and code benchmarks, sometimes matching or exceeding RL training of t...
-
Reasoning Can Hurt the Inductive Abilities of Large Language Models
Chain-of-thought reasoning can hurt LLMs' ability to infer hidden rules from gameplay transcripts, and structured interventions recover the lost accuracy.
-
Agents Require Metacognitive and Strategic Reasoning to Succeed in the Coming Labor Markets
AI agents in future labor markets will need metacognitive and strategic reasoning because incomplete information creates adverse selection, moral hazard, and reputation effects.
-
AdaCoT: Pareto-Optimal Adaptive Chain-of-Thought Triggering via Reinforcement Learning
AdaCoT uses reinforcement learning with adjustable penalties to make LLMs trigger chain-of-thought reasoning only when needed, cutting response tokens by up to 69% with a small benchmark score loss.
-
Thoughts Are All Over the Place: On the Underthinking of o1-Like LLMs
O1-like LLMs often abandon promising reasoning thoughts too early, and a decoding penalty on thought-switching tokens improves accuracy on hard math tests.
-
From Long to Short: LLMs Excel at Trimming Own Reasoning Chains
EDIT searches across step-count prompts to find the shortest reasoning path the model consistently answers correctly.
-
Wait, We Don't Need to "Wait"! Removing Thinking Tokens Improves Reasoning Efficiency
Suppressing "Wait"-like reflection tokens at decode time reduces reasoning token counts by 27-51% across five R1-style model families, with mixed accuracy effects.
-
DynamicMind: A Tri-Mode Thinking System for Large Language Models
A router trained on a self-generated dataset can cut token usage in zero-shot QA by switching among three prompting styles, but the claimed accuracy superiority is not supported by the paper's own numbers.
-
Towards Concise and Adaptive Thinking in Large Reasoning Models: A Survey
A comprehensive review that categorizes methods for shortening and adaptively triggering chain-of-thought reasoning in large language models.
Reference graph
Works this paper leans on
-
[1]
A closer look at memorization in deep networks
Devansh Arpit, Stanisław Jastrz˛ ebski, Nicolas Ballas, David Krueger, Emmanuel Bengio, Maxinder S Kanwal, Tegan Maharaj, Asja Fischer, Aaron Courville, Yoshua Bengio, et al. A closer look at memorization in deep networks. In International conference on machine learning, pages 233–242. PMLR, 2017
2017
-
[2]
Le, Christopher Ré, and Azalia Mirhoseini
Bradley Brown, Jordan Juravsky, Ryan Ehrlich, Ronald Clark, Quoc V . Le, Christopher Ré, and Azalia Mirhoseini. Large language monkeys: Scaling inference compute with repeated sampling, 2024. URL https://arxiv.org/abs/2407.21787
arXiv 2024
-
[3]
Language models are few-shot learners
Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhari- wal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agar- wal, Ariel Herbert-V oss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, Chris Hesse, Mark Chen, Eric Sigler, Ma- teusz Litwin, S...
1901
-
[4]
Theoretical limitations of multi-layer transformer,
Lijie Chen, Binghui Peng, and Hongxun Wu. Theoretical limitations of multi-layer transformer,
-
[5]
Qiguang Chen, Libo Qin, Jiaqi WANG, Jingxuan Zhou, and Wanxiang Che. Unlocking the capabilities of thought: A reasoning boundary framework to quantify and optimize chain-of- thought. In The Thirty-eighth Annual Conference on Neural Information Processing Systems,
-
[6]
Do not think that much for 2+3=? on the overthinking of o1-like llms, 2024
Xingyu Chen, Jiahao Xu, Tian Liang, Zhiwei He, Jianhui Pang, Dian Yu, Linfeng Song, Qiuzhi Liu, Mengfei Zhou, Zhuosheng Zhang, Rui Wang, Zhaopeng Tu, Haitao Mi, and Dong Yu. Do not think that much for 2+3=? on the overthinking of o1-like llms, 2024. URL https://arxiv.org/abs/2412.21187
arXiv 2024
-
[7]
URL https://openreview.net/forum?id=pC44UMwy2v
-
[8]
Yilong Chen, Junyuan Shang, Zhenyu Zhang, Yanxi Xie, Jiawei Sheng, Tingwen Liu, Shuohuan Wang, Yu Sun, Hua Wu, and Haifeng Wang. Inner thinking transformer: Leveraging dynamic depth scaling to foster adaptive internal thinking, 2025. URL https://arxiv.org/abs/ 2502.13842
arXiv 2025
Show all 49 references
-
[9]
A simple and provable scaling law for the test-time compute of large language models, 2024
Yanxi Chen, Xuchen Pan, Yaliang Li, Bolin Ding, and Jingren Zhou. A simple and provable scaling law for the test-time compute of large language models, 2024. URL https://arxiv. org/abs/2411.19477
2024
-
[10]
A the- oretical understanding of chain-of-thought: Coherent reasoning and error-aware demonstration,
Yingqian Cui, Pengfei He, Xianfeng Tang, Qi He, Chen Luo, Jiliang Tang, and Yue Xing. A the- oretical understanding of chain-of-thought: Coherent reasoning and error-aware demonstration,
-
[11]
Training verifiers to solve math word problems, 2021
Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, Mark Chen, Heewoo Jun, Lukasz Kaiser, Matthias Plappert, Jerry Tworek, Jacob Hilton, Reiichiro Nakano, Christopher Hesse, and John Schulman. Training verifiers to solve math word problems, 2021. URL https://arxiv.org/ abs/2110.14168. 10
2021 arXiv
-
[12]
Complexity-based prompting for multi-step reasoning, 2023
Yao Fu, Hao Peng, Ashish Sabharwal, Peter Clark, and Tushar Khot. Complexity-based prompting for multi-step reasoning, 2023. URL https://arxiv.org/abs/2210.00720
2023 arXiv
-
[13]
URL https://arxiv.org/abs/2410.16540
-
[14]
Towards revealing the mystery behind chain of thought: A theoretical perspective
Guhao Feng, Bohang Zhang, Yuntian Gu, Haotian Ye, Di He, and Liwei Wang. Towards revealing the mystery behind chain of thought: A theoretical perspective. In Thirty-seventh Conference on Neural Information Processing Systems, 2023. URL https://openreview. net/forum?id=qHrADgAdYu
2023
-
[15]
Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning
Daya Guo, Dejian Yang, Haowei Zhang, Junxiao Song, Ruoyu Zhang, Runxin Xu, Qihao Zhu, Shirong Ma, Peiyi Wang, Xiao Bi, et al. Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning. arXiv preprint arXiv:2501.12948, 2025
2025 arXiv
-
[16]
Kanishk Gandhi, Ayush Chakravarthy, Anikait Singh, Nathan Lile, and Noah D. Goodman. Cognitive behaviors that enable self-improving reasoners, or, four habits of highly effective stars, 2025. URL https://arxiv.org/abs/2503.01307
2025 arXiv
-
[17]
Scaling up test-time compute with latent reasoning: A recurrent depth approach
Jonas Geiping, Sean McLeish, Neel Jain, John Kirchenbauer, Siddharth Singh, Brian R Bartold- son, Bhavya Kailkhura, Abhinav Bhatele, and Tom Goldstein. Scaling up test-time compute with latent reasoning: A recurrent depth approach. arXiv preprint arXiv:2502.05171, 2025
2025 arXiv
-
[18]
Measuring mathematical problem solving with the math dataset,
Dan Hendrycks, Collin Burns, Saurav Kadavath, Akul Arora, Steven Basart, Eric Tang, Dawn Song, and Jacob Steinhardt. Measuring mathematical problem solving with the math dataset,
-
[19]
Token-budget-aware llm reasoning
Tingxu Han, Zhenting Wang, Chunrong Fang, Shiyu Zhao, Shiqing Ma, and Zhenyu Chen. Token-budget-aware llm reasoning. arXiv preprint arXiv:2412.18547, 2024
2024 arXiv
-
[20]
Measuring massive multitask language understanding
Dan Hendrycks, Collin Burns, Steven Basart, Andy Zou, Mantas Mazeika, Dawn Song, and Jacob Steinhardt. Measuring massive multitask language understanding. In International Conference on Learning Representations, 2021. URL https://openreview.net/forum? id=d7KBjmI3GmQ
2021
-
[21]
What happened in llms layers when trained for fast vs
Ming Li, Yanhong Li, and Tianyi Zhou. What happened in llms layers when trained for fast vs. slow thinking: A gradient perspective, 2024. URL https://arxiv.org/abs/2410.23743
2024 arXiv
-
[22]
Chain of thought empowers transformers to solve inherently serial problems, 2024
Zhiyuan Li, Hong Liu, Denny Zhou, and Tengyu Ma. Chain of thought empowers transformers to solve inherently serial problems, 2024. URL https://arxiv.org/abs/2402.12875
2024 arXiv
-
[23]
The low-rank simplicity bias in deep networks
Minyoung Huh, Hossein Mobahi, Richard Zhang, Brian Cheung, Pulkit Agrawal, and Phillip Isola. The low-rank simplicity bias in deep networks. arXiv preprint arXiv:2103.10427, 2021
2021 arXiv
-
[24]
The impact of reasoning step length on large language models
Mingyu Jin, Qinkai Yu, Dong Shu, Haiyan Zhao, Wenyue Hua, Yanda Meng, Yongfeng Zhang, and Mengnan Du. The impact of reasoning step length on large language models. In Annual Meeting of the Association for Computational Linguistics , 2024. URL https: //api.semanticscholar.org/C...
2024
-
[25]
Dcr: Divide-and-conquer reasoning for multi-choice question answering with llms, 2024
Zijie Meng, Yan Zhang, Zhaopeng Feng, and Zuozhu Liu. Dcr: Divide-and-conquer reasoning for multi-choice question answering with llms, 2024. URL https://arxiv.org/abs/2401. 05190
2024
-
[26]
Concise thoughts: Impact of output length on llm reasoning and cost, 2024
Sania Nayab, Giulio Rossolini, Giorgio Buttazzo, Nicolamaria Manes, and Fabrizio Giacomelli. Concise thoughts: Impact of output length on llm reasoning and cost, 2024. URL https: //arxiv.org/abs/2407.19825. 11
2024 arXiv
-
[27]
O1-pruner: Length-harmonizing fine-tuning for o1-like reasoning pruning
Haotian Luo, Li Shen, Haiying He, Yibo Wang, Shiwei Liu, Wei Li, Naiqiang Tan, Xiaochun Cao, and Dacheng Tao. O1-pruner: Length-harmonizing fine-tuning for o1-like reasoning pruning. arXiv preprint arXiv:2501.12570, 2025
2025 arXiv
-
[28]
Cot-valve: Length-compressible chain-of-thought tuning
Xinyin Ma, Guangnian Wan, Runpeng Yu, Gongfan Fang, and Xinchao Wang. Cot-valve: Length-compressible chain-of-thought tuning. arXiv preprint arXiv:2502.09601, 2025
2025 arXiv
-
[29]
David Rein, Betty Li Hou, Asa Cooper Stickland, Jackson Petty, Richard Yuanzhe Pang, Julien Dirani, Julian Michael, and Samuel R. Bowman. Gpqa: A graduate-level google-proof q&a benchmark, 2023. URL https://arxiv.org/abs/2311.12022
2023 arXiv
-
[30]
Proximal policy optimization algorithms, 2017
John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov. Proximal policy optimization algorithms, 2017. URL https://arxiv.org/abs/1707.06347
2017 arXiv
-
[31]
Qwen2.5 technical report, 2025
Qwen, :, An Yang, Baosong Yang, Beichen Zhang, Binyuan Hui, Bo Zheng, Bowen Yu, Chengyuan Li, Dayiheng Liu, Fei Huang, Haoran Wei, Huan Lin, Jian Yang, Jianhong Tu, Jianwei Zhang, Jianxin Yang, Jiaxi Yang, Jingren Zhou, Junyang Lin, Kai Dang, Keming Lu, Keqin Bao, Kexin Yang, ...
2025 arXiv
-
[32]
Language models are unsupervised multitask learners
Alec Radford, Jeffrey Wu, Rewon Child, David Luan, Dario Amodei, Ilya Sutskever, et al. Language models are unsupervised multitask learners. OpenAI blog, 1(8):9, 2019
2019
-
[33]
Scaling llm test-time compute optimally can be more effective than scaling model parameters, 2024
Charlie Snell, Jaehoon Lee, Kelvin Xu, and Aviral Kumar. Scaling llm test-time compute optimally can be more effective than scaling model parameters, 2024. URL https://arxiv. org/abs/2408.03314
2024 arXiv
-
[34]
Stop overthinking: A survey on efficient reasoning for large language models
Yang Sui, Yu-Neng Chuang, Guanchu Wang, Jiamu Zhang, Tianyi Zhang, Jiayi Yuan, Hongyi Liu, Andrew Wen, Shaochen Zhong, Hanjie Chen, et al. Stop overthinking: A survey on efficient reasoning for large language models. arXiv preprint arXiv:2503.16419, 2025
2025 arXiv
-
[35]
Zhihong Shao, Peiyi Wang, Qihao Zhu, Runxin Xu, Junxiao Song, Xiao Bi, Haowei Zhang, Mingchuan Zhang, Y . K. Li, Y . Wu, and Daya Guo. Deepseekmath: Pushing the limits of mathematical reasoning in open language models, 2024. URL https://arxiv.org/abs/ 2402.03300
2024 arXiv
-
[36]
Hybridflow: A flexible and efficient rlhf framework
Guangming Sheng, Chi Zhang, Zilingfeng Ye, Xibin Wu, Wang Zhang, Ru Zhang, Yanghua Peng, Haibin Lin, and Chuan Wu. Hybridflow: A flexible and efficient rlhf framework. In Proceedings of the Twentieth European Conference on Computer Systems, EuroSys ’25, page 1279–1297. ACM, Ma...
2025
-
[37]
Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou
Xuezhi Wang, Jason Wei, Dale Schuurmans, Quoc V Le, Ed H. Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou. Self-consistency improves chain of thought reasoning in language models. In The Eleventh International Conference on Learning Representations, 2023. URL https://o...
2023
-
[38]
Chain-of-thought prompting elicits reasoning in large language models
Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, brian ichter, Fei Xia, Ed Chi, Quoc V Le, and Denny Zhou. Chain-of-thought prompting elicits reasoning in large language models. In S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho, and A. Oh, editors, Advances in N...
2022
-
[39]
Understanding chain-of-thought in llms through information theory, 2024
Jean-Francois Ton, Muhammad Faaiz Taufiq, and Yang Liu. Understanding chain-of-thought in llms through information theory, 2024. URL https://arxiv.org/abs/2411.11984
2024 arXiv
-
[40]
Llama: Open and efficient foundation language models
Hugo Touvron, Thibaut Lavril, Gautier Izacard, Xavier Martinet, Marie-Anne Lachaux, Timo- thée Lacroix, Baptiste Rozière, Naman Goyal, Eric Hambro, Faisal Azhar, et al. Llama: Open and efficient foundation language models. arXiv preprint arXiv:2302.13971, 2023
2023 arXiv
-
[41]
What can neural networks reason about? arXiv preprint arXiv:1905.13211, 2019
Keyulu Xu, Jingling Li, Mozhi Zhang, Simon S Du, Ken-ichi Kawarabayashi, and Stefanie Jegelka. What can neural networks reason about? arXiv preprint arXiv:1905.13211, 2019
1905 arXiv
-
[42]
Griffiths, Yuan Cao, and Karthik R Narasimhan
Shunyu Yao, Dian Yu, Jeffrey Zhao, Izhak Shafran, Thomas L. Griffiths, Yuan Cao, and Karthik R Narasimhan. Tree of thoughts: Deliberate problem solving with large language models. In Thirty-seventh Conference on Neural Information Processing Systems, 2023. URL https://openrevi...
2023
-
[43]
Scaling inference computation: Compute-optimal inference for problem-solving with language models
Yangzhen Wu, Zhiqing Sun, Shanda Li, Sean Welleck, and Yiming Yang. Scaling inference computation: Compute-optimal inference for problem-solving with language models. In The 4th Workshop on Mathematical Reasoning and AI at NeurIPS’24 , 2024. URL https: //openreview.net/forum?i...
2024
-
[44]
Leetcodedataset: A temporal dataset for robust evaluation and efficient training of code llms, 2025
Yunhui Xia, Wei Shen, Yan Wang, Jason Klein Liu, Huifeng Sun, Siyue Wu, Jian Hu, and Xiaolong Xu. Leetcodedataset: A temporal dataset for robust evaluation and efficient training of code llms, 2025. URL https://arxiv.org/abs/2504.14655. 12
2025 arXiv
-
[45]
please use 100 tokens to solve this problem
Denny Zhou, Nathanael Schärli, Le Hou, Jason Wei, Nathan Scales, Xuezhi Wang, Dale Schu- urmans, Claire Cui, Olivier Bousquet, Quoc V Le, and Ed H. Chi. Least-to-most prompting enables complex reasoning in large language models. In The Eleventh International Con- ference on Le...
2023
-
[47]
Physics of language models: Part 2.1, grade-school math and the hidden reasoning process, 2024
Tian Ye, Zicheng Xu, Yuanzhi Li, and Zeyuan Allen-Zhu. Physics of language models: Part 2.1, grade-school math and the hidden reasoning process, 2024. URL https://arxiv.org/abs/ 2407.20311
2024 arXiv
-
[48]
An examination on the effectiveness of divide-and-conquer prompting in large language models, 2024
Yizhou Zhang, Lun Du, Defu Cao, Qiang Fu, and Yan Liu. An examination on the effectiveness of divide-and-conquer prompting in large language models, 2024. URL https://arxiv.org/ abs/2402.05359
2024 arXiv
-
[2021]
URL https://arxiv.org/abs/2103.03874
-
[2024]
URL https://arxiv.org/abs/2412.02975
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.