Paper: 2605.15177 Authors: Shang Zhou, Wenhao Chai, Kaiyuan Liu, Huanzhi Mao, Qiuyang Mang, Jingbo Shang Categories: cs.AI
The Gap
Test-time compute scaling has focused on depth: chain-of-thought, tree search, iterative refinement—all extending a single reasoning trace. Scaling breadth by sampling multiple candidates in parallel is obvious, but hits a wall: how do you pick the best one without ground truth? Pointwise LLM judging (“rate this solution 1-10”) is noisy and biased. Existing methods either rely on expensive verifiers or settle for the first plausible answer.
This paper addresses the selection bottleneck in parallel reasoning. The prior boundary: breadth scaling exists but lacks a reliable, verifier-free selection mechanism. The logical path:
Problem: Parallel sampling creates selection bottleneck
|
v
Assumption: Pairwise comparison is more reliable than pointwise scoring
|
v
Method: Bradley-Terry aggregation + evolutionary mutation
|
v
Evidence: +405 Elo on Codeforces, transfers across models
|
v
Conclusion: Breadth scaling viable without ground-truth verifier
The Increment
One sentence: Before this paper, test-time compute scaled depth (longer traces); after, it scales breadth (parallel populations with pairwise selection).
Core Mechanism
OpenDeepThink runs multiple generations of candidate solutions. Each generation: (1) the LLM judges random pairs of candidates, producing win/loss votes and natural-language critiques; (2) votes aggregate via Bradley-Terry into a global ranking; (3) top candidates survive, top 75% mutate using critiques, bottom 25% die. Repeat for N rounds.
The Bradley-Terry model converts pairwise comparisons into a global skill rating—borrowed from chess Elo. Instead of asking “is this solution good?” (noisy), ask “is A better than B?” (more reliable). Aggregate many pairwise judgments into a transitive ranking. Mutation uses the critiques generated during comparison: the LLM reads “A beats B because X” and revises A to address X.
Generation t:
Population: [C1, C2, C3, ..., Cn]
|
v
Pairwise judging: (C1 vs C3), (C2 vs C5), ...
|
v
Bradley-Terry aggregation --> Global ranking
|
v
Selection: Keep top-ranked
|
v
Mutation: Top 75% + critiques --> New variants
|
v
Generation t+1: [C1', C2', C3'_new, ...]
Think of it as a tournament bracket meets genetic algorithm. The tournament part: instead of a single-elimination bracket, you run many head-to-head matches and use a rating system (Bradley-Terry) to infer overall strength—like how chess players gain Elo from wins/losses without playing everyone. The genetic part: winners reproduce (mutate) using feedback from their victories, losers are culled. The critiques are the “genetic material”—they carry information about what made one solution better, and that information guides the next generation.
The key insight: pairwise comparison is a better signal than absolute scoring. When an LLM says “solution A is 7/10,” that number is arbitrary. When it says “A beats B because A handles edge case X,” that’s actionable. Bradley-Terry turns many such comparisons into a coherent ranking without needing a ground-truth verifier.
Key Concepts
-
Bradley-Terry Model: Imagine a league where every player has a hidden skill level. You observe match outcomes (A beats B, C beats D) but not the skills directly. Bradley-Terry is the math that reverse-engineers skill ratings from win/loss records. It assumes the probability that A beats B depends on the difference in their skill levels: P(A
> B) = exp(skill_A) / (exp(skill_A) + exp(skill_B)). Given many pairwise outcomes, you solve for the skill ratings that best explain the observed wins and losses. In this paper, “players” are candidate solutions, “matches” are LLM pairwise judgments, and “skill” is solution quality. The output is a ranking of candidates from best to worst, derived from noisy pairwise votes. -
Test-Time Compute Scaling: Most LLM improvements come from training bigger models on more data. Test-time compute scaling means spending more compute *at inference to get better answers from a fixed model. Depth scaling: run the model longer on one problem (chain-of-thought, tree search). Breadth scaling: run the model multiple times in parallel, generate many candidates, pick the best. This paper is breadth scaling. The tradeoff: depth is sequential (slow), breadth is parallel (fast if you have GPUs), but breadth needs a selection mechanism.
-
Evolutionary Mutation via Critique: In genetic algorithms, mutation introduces variation. Here, mutation is not random—it’s guided by the natural-language critiques produced during pairwise comparison. When the LLM judges “A beats B because A checks for overflow,” that critique becomes the mutation operator: the next generation of B incorporates overflow checking. This is “Lamarckian” evolution: acquired traits (insights from comparison) are inherited. It’s more efficient than blind mutation because the search is informed by what actually distinguishes good solutions from bad ones.
Framework Shift
Before (depth scaling): After (breadth scaling):
Problem Problem
| |
v v
Single trace Population [C1, C2, ..., Cn]
| |
v +---> Pairwise compare
Extend reasoning |
(CoT, tree search) v
| Bradley-Terry rank
v |
Longer trace +---> Select + Mutate
| |
v v
Final answer Next generation
|
v
Final answer (best-ranked)
From sequential deepening to parallel evolution, the core shift is selection replaces extension.
Expert Assessment
Problem choice: Real gap. Breadth scaling is underexplored because selection is hard. The paper identifies a genuine bottleneck (pointwise judging is noisy) and proposes a principled alternative (pairwise + Bradley-Terry). This sits at the intersection of test-time compute and LLM-as-judge, both active areas.
Method maturity: Clever borrowing from rating systems (Bradley-Terry, Elo) rather than inventing new math. The evolutionary framing is clean. However, the method is compute-hungry: eight rounds of pairwise judging and mutation take ~27 minutes. The paper doesn’t compare against simpler baselines like majority voting or best-of-N sampling with a lightweight verifier. The critique-guided mutation is elegant but adds complexity—how much of the gain comes from Bradley-Terry selection vs. the mutation mechanism?
Experimental integrity: Strong on Codeforces (+405 Elo is substantial), and the CF-73 benchmark with expert annotation is a solid contribution. The transfer experiments (weaker/stronger models, HLE benchmark) are honest: gains concentrate in verifiable domains (code, math) and reverse in subjective ones (writing). This is expected but good to see reported. Missing: ablations isolating Bradley-Terry vs. mutation, and cost comparisons against depth scaling (how much wall-clock time buys how much Elo?).
Writing quality: The abstract and intro are crisp. The method section could be tighter—Figure 1 does heavy lifting, but the text around it is verbose. The related work section name-drops many methods without clearly positioning this work’s novelty. The discussion of when the method fails (subjective domains) is buried in results; it should be front and center in the intro. Rewriting Section 3 to lead with the tournament-meets-evolution metaphor would make the paper more accessible.
Verdict: weak accept — Solid contribution with real gains on a hard benchmark, but lacks ablations to isolate what’s doing the work and cost analysis to contextualize the tradeoff.
Takeaways
Pairwise comparison over pointwise scoring: When you need an LLM to judge quality without ground truth, ask it to compare pairs rather than rate individuals. Aggregate pairwise votes into a ranking (Bradley-Terry, Elo, or even simple win-loss counts). This transfers beyond code: essay evaluation, design critique, any domain where absolute scores are arbitrary but relative preferences are stable.
Critique as mutation operator: If you’re iterating on solutions, don’t just regenerate blindly—extract the *reason one variant beat another and use that reason to guide the next iteration. This is cheaper than full self-refinement loops because the critique is already generated during comparison.
Verifiable vs. subjective domains: The paper’s honesty about where the method fails is the real lesson. Evolutionary selection works when there’s an objective ground truth (even if hidden); it breaks down in subjective domains where preferences are inconsistent. Before applying population-based methods, ask: is there a fact of the matter, or just taste?
论文: 2605.15177 作者: Shang Zhou, Wenhao Chai, Kaiyuan Liu, Huanzhi Mao, Qiuyang Mang, Jingbo Shang 分类: cs.AI
缺口
测试时计算扩展一直聚焦于深度:思维链、树搜索、迭代优化——都是在延长单条推理轨迹。
通过并行采样多个候选方案来扩展广度是显而易见的思路,但撞上了一堵墙:没有真值标准,你怎么挑出最好的那个?
逐点打分(“给这个方案打1-10分”)既有噪声又有偏见。
现有方法要么依赖昂贵的验证器,要么满足于第一个看起来合理的答案。
本文解决的是并行推理中的选择瓶颈。
此前的边界:广度扩展存在,但缺乏可靠的、无需验证器的选择机制。
逻辑路径:
问题:并行采样产生选择瓶颈
|
v
假设:成对比较比逐点打分更可靠
|
v
方法:Bradley-Terry 聚合 + 进化变异
|
v
证据:Codeforces 上 +405 Elo,跨模型迁移
|
v
结论:无需真值验证器即可实现广度扩展
增量
一句话: 这篇论文之前,测试时计算扩展深度(更长的轨迹);之后,扩展广度(带成对选择的并行种群)。
核心机制
OpenDeepThink 运行多代候选解。
每一代:(1) 大语言模型对随机配对的候选方案进行评判,产生胜负投票和自然语言批评;(2) 投票通过 Bradley-Terry 聚合成全局排名;(3) 顶部候选方案存活,前 75% 利用批评进行变异,后 25% 淘汰。
重复 N 轮。
Bradley-Terry 模型将成对比较转换为全局技能评级——借鉴自国际象棋 Elo。
不问”这个方案好吗?“(有噪声),而问”A 比 B 好吗?“(更可靠)。
聚合许多成对判断,得出传递性排名。
变异使用比较过程中生成的批评:大语言模型读到”A 胜过 B 因为 X”,然后修改 A 以解决 X。
第 t 代:
种群:[C1, C2, C3, ..., Cn]
|
v
成对评判:(C1 vs C3), (C2 vs C5), ...
|
v
Bradley-Terry 聚合 --> 全局排名
|
v
选择:保留排名靠前的
|
v
变异:前 75% + 批评 --> 新变体
|
v
第 t+1 代:[C1', C2', C3'_new, ...]
把它想象成锦标赛遇上遗传算法。
锦标赛部分:不是单淘汰赛制,而是进行许多一对一比赛,用评级系统(Bradley-Terry)推断整体实力——就像国际象棋选手通过胜负获得 Elo,无需和所有人对弈。
遗传部分:胜者利用胜利反馈繁殖(变异),败者被淘汰。
批评是”遗传物质”——它们携带关于什么让一个方案更好的信息,这些信息指导下一代。
关键洞察:成对比较是比绝对打分更好的信号。
当大语言模型说”方案 A 是 7/10 分”,这个数字是任意的。
当它说”A 胜过 B 因为 A 处理了边界情况 X”,这是可操作的。
Bradley-Terry 将许多这样的比较转化为连贯的排名,无需真值验证器。
关键概念
- Bradley-Terry 模型:想象一个联赛,每个选手都有隐藏的技能水平。
你观察到比赛结果(A 击败 B,C 击败 D),但看不到技能本身。
Bradley-Terry 是从胜负记录反推技能评级的数学方法。
它假设 A 击败 B 的概率取决于他们技能水平的差异:P(A > B) = exp(skill_A) / (exp(skill_A) + exp(skill_B))。
给定许多成对结果,你求解最能解释观察到的胜负的技能评级。
在本文中,“选手”是候选方案,“比赛”是大语言模型的成对判断,“技能”是方案质量。
输出是从最好到最差的候选方案排名,源自有噪声的成对投票。
- 测试时计算扩展:大多数大语言模型改进来自用更多数据训练更大的模型。
测试时计算扩展意味着在推理时花费更多计算,从固定模型获得更好的答案。
深度扩展:在一个问题上运行模型更长时间(思维链、树搜索)。
广度扩展:并行运行模型多次,生成许多候选方案,挑选最好的。
本文是广度扩展。
权衡:深度是顺序的(慢),广度是并行的(如果有 GPU 就快),但广度需要选择机制。
- 通过批评进行进化变异:在遗传算法中,变异引入变化。
这里,变异不是随机的——它由成对比较过程中产生的自然语言批评引导。
当大语言模型判断”A 胜过 B 因为 A 检查了溢出”,这个批评成为变异算子:B 的下一代纳入溢出检查。
这是”拉马克式”进化:获得性状(来自比较的洞察)被继承。
它比盲目变异更高效,因为搜索由真正区分好方案和坏方案的因素告知。
框架转变
之前(深度扩展): 之后(广度扩展):
问题 问题
| |
v v
单条轨迹 种群 [C1, C2, ..., Cn]
| |
v +---> 成对比较
延长推理 |
(CoT, 树搜索) v
| Bradley-Terry 排名
v |
更长的轨迹 +---> 选择 + 变异
| |
v v
最终答案 下一代
|
v
最终答案(排名最高)
从顺序深化到并行进化,核心转变是选择取代延伸。
专家评审
选题眼光:真实缺口。
广度扩展探索不足,因为选择很难。
论文识别出真正的瓶颈(逐点评判有噪声),并提出有原则的替代方案(成对 + Bradley-Terry)。
这处于测试时计算和大语言模型作为评判者的交叉点,两者都是活跃领域。
方法成熟度:巧妙借鉴评级系统(Bradley-Terry、Elo),而非发明新数学。
进化框架清晰。
但方法耗费计算:八轮成对评判和变异需要约 27 分钟。
论文没有与更简单的基线比较,如多数投票或带轻量级验证器的 best-of-N 采样。
批评引导的变异很优雅,但增加了复杂性——增益有多少来自 Bradley-Terry 选择,有多少来自变异机制?
实验诚意:在 Codeforces 上表现强劲(+405 Elo 很可观),带专家标注的 CF-73 基准是扎实贡献。
迁移实验(更弱/更强模型、HLE 基准)很诚实:增益集中在可验证领域(代码、数学),在主观领域(写作)反转。
这是预期的,但看到报告很好。
缺失:隔离 Bradley-Terry 与变异的消融实验,以及与深度扩展的成本比较(多少墙钟时间换多少 Elo?)。
写作功力:摘要和引言简洁。
方法部分可以更紧凑——图 1 承担重任,但周围的文字冗长。
相关工作部分罗列许多方法,但没有清晰定位本文的新颖性。
关于方法何时失败(主观领域)的讨论埋在结果中;它应该在引言中居于核心位置。
重写第 3 节,以锦标赛遇上进化的比喻开头,会让论文更易理解。
判决:弱接收 — 在困难基准上有实质增益的扎实贡献,但缺乏消融实验来隔离什么在起作用,以及成本分析来情境化权衡。
要点总结
成对比较优于逐点打分:当你需要大语言模型在没有真值的情况下评判质量时,让它比较成对方案,而非给个体打分。
将成对投票聚合成排名(Bradley-Terry、Elo,或甚至简单的胜负计数)。
这超越代码迁移:论文评估、设计批评,任何绝对分数任意但相对偏好稳定的领域。
批评作为变异算子:如果你在迭代方案,不要盲目重新生成——提取一个变体击败另一个的**原因*,用这个原因指导下一次迭代。
这比完整的自我优化循环更便宜,因为批评已经在比较过程中生成。
可验证 vs 主观领域:论文对方法失败之处的诚实是真正的教训。
当存在客观真值(即使隐藏)时,进化选择有效;在偏好不一致的主观领域中崩溃。
在应用基于种群的方法之前,问:存在客观事实,还是只有品味?