← 返回 2026-01-13

PaCoRe:通过并行协调推理学习扩展测试时计算 PaCoRe: Learning to Scale Test-Time Compute with Parallel Coordinated Reasoning

Jingcheng Hu, Yinmin Zhang, Shijie Shang, Xiaobo Yang, Yue Peng, Zhewei Huang, Hebin Zhou, Xin Wu, Jie Cheng, Fanqi Wan, Xiangwen Kong, Chengyuan Yao, Kaiwen Yan, Ailin Huang, Hongyu Zhou, Qi Han, Zheng Ge, Daxin Jiang, Xiangyu Zhang, Heung-Yeung Shum 📅 2026-01-09 👍 87 2026-07-13 08:35
大语言模型 并行推理 强化学习 推理模型 测试时计算扩展

并行协调推理框架突破上下文限制,8B模型超越GPT-5

前置知识

测试时计算(Test-Time Compute, TTC)

测试时计算是指在推理阶段为解决单个问题所投入的计算量。与训练时计算不同,TTC关注的是模型在面对一个具体问题时能使用多少计算资源来生成答案。传统的链式思维(Chain-of-Thought)推理通过扩展序列长度来增加TTC,但受限于固定上下文窗口,一旦窗口填满推理就必须停止。本文的核心目标就是突破这一限制,让模型能使用远超上下文窗口容量的有效计算。

这是本文要解决的核心问题——如何在不超出上下文窗口的前提下,大幅扩展模型的推理计算量。理解TTC的概念和其局限性是理解PaCoRe动机的关键。

并行推理与消息传递架构

并行推理是指同时生成多条独立的推理轨迹(trajectories),每条轨迹独立探索解空间。消息传递则是一种协调机制:将多条并行轨迹的发现压缩为紧凑的消息(messages),传递给下一轮推理作为参考。这种方式使得模型可以在有限的上下文窗口内进行多轮协调推理,有效计算量可达数百万token。

PaCoRe的核心架构就是建立在并行推理和消息传递之上。理解这两个概念是理解论文技术路线的基础。

基于结果的强化学习(Outcome-Based RL)

这是一种强化学习范式,模型在生成完整推理轨迹后,仅根据最终结果的正确性获得奖励信号(0或1)。与过程奖励模型(Process Reward Model)不同,它不需要对中间步骤进行标注。PaCoRe使用PPO算法(带GAE,λ=1,γ=1)进行大规模训练,训练700个迭代,batch大小为16个实例(每个实例64条响应)。

PaCoRe的关键贡献之一就是证明了大规模结果式RL对于培养模型的综合(synthesis)能力是必不可少的。理解这种训练范式有助于理解PaCoRe如何获得超越简单投票的协调能力。

Reasoning Solipsism(推理唯我论)

这是论文提出的一个重要现象:尽管接收到并行分支提供的丰富信息,未训练的推理模型倾向于忽略这些上下文,从零开始独立解决问题。这种行为浪费了累积的测试时计算资源。论文发现,当问题结构复杂(如代码生成和定理证明)时,简单的多数投票等启发式方法失效,模型更倾向于这种'唯我论'式推理。

理解这个现象有助于理解为什么简单的并行采样加投票不足以充分利用TTC,以及为什么PaCoRe需要专门训练来克服这一问题。

Reasoning Synthesis(推理综合)

这是PaCoRe希望模型学会的核心能力:审视并行分支的推理结果,调和相互冲突的证据,并综合出超越任何单个轨迹质量的统一解决方案。训练过程中追踪的'涌现正确率'(Emergent Correctness Rate)——即当所有输入消息都错误时模型仍能生成正确解的概率——从接近零逐渐上升,证明模型确实学会了这种综合能力。

这是PaCoRe区别于简单多数投票(Self-Consistency)的关键能力。理解synthesis的概念有助于理解为什么PaCoRe能在HMMT 2025上达到94.5%而Self-Consistency会饱和。

研究动机

当代语言模型在推理时面临一个根本性的瓶颈:固定上下文窗口对测试时计算量施加了硬性上限。标准的顺序推理方法(如Chain-of-Thought)将所有中间状态打包进一条不断扩展的链条中,推理容量严格耦合于上下文容量。以GPT-5为例,其在HMMT 2025上使用约16k token的TTC达到93.2%的准确率,但在面对更复杂的问题时,单纯的顺序扩展无法继续提升。更关键的是,当简单的并行采样加多数投票被应用于复杂任务(如代码生成和定理证明)时,效果迅速饱和。论文发现了一个被作者称为'Reasoning Solipsism'的现象:即使并行分支提供了丰富的中间发现,未训练的模型倾向于忽略这些信息,从零开始重新推理,白白浪费了累积的计算资源。以RLVR-8B基线模型为例,在LiveCodeBench上增加测试时计算量几乎无法带来性能提升(Figure 1右),直接说明了朴素并行方法的失败。

本文的目标是PaCoRe的目标是建立一个通用的测试时计算扩展框架,能够在不超出模型固定上下文窗口的前提下,将有效TTC扩展到数百万token级别。具体而言,PaCoRe希望通过并行协调推理机制,让一个8B参数的模型能够利用约两百万token的有效计算,在数学竞赛等高难度推理任务上达到甚至超越GPT-5等前沿闭源模型的水平。同时,作者希望通过大规模结果式强化学习训练出模型的'推理综合'(Reasoning Synthesis)能力——即审视、调和并超越单个并行轨迹的能力。

与已有工作不同的是,PaCoRe的独特切入角度在于'将推理的主要驱动力从单纯的顺序深度转向协调式的并行宽度'。此前的方法要么局限于顺序扩展(被上下文窗口卡死),要么使用简单规则进行并行整合(如多数投票),要么依赖任务特定的脚手架。PaCoRe提出了消息传递架构:每一轮启动大量并行推理轨迹,将发现压缩为上下文有界的紧凑消息,然后综合这些消息指导下一轮探索。与AggLM等关注学习聚合策略的工作相比,PaCoRe引入了上下文压缩和多轮协调;与PDR等并发工作侧重于迭代修正不同,PaCoRe专门针对需要复杂综合的实例进行数据筛选。这种设计催生了一系列涌现行为,包括系统性的交叉验证,以及在所有输入消息都错误时仍能重建正确解的能力。

核心方法

PaCoRe的推理管道可以直觉理解为一个'多轮头脑风暴'过程:每一轮中,多个'思考者'(并行推理轨迹)独立探索问题的解法空间,然后将各自的核心结论压缩成简短的'便签'(compacted messages),交给下一轮的思考者们参考。下一轮的思考者在看到问题和前一轮的便签后,能够站在前人的肩膀上进行更深入的探索。经过多轮这样的协调推理,最终产出高质量的答案。技术上,PaCoRe包含推理管道和训练流程两部分:推理管道通过并行探索和消息压缩实现多轮协调;训练流程则使用大规模结果式RL教会模型具备'综合'能力——不仅看到并行分支的结果,还要能批判性地评估、调和冲突,并产生超越任何单个轨迹的解。整个框架的设计使得有效TTC可以达到数百万token,同时每一轮的输入仅消耗问题和压缩后的消息,保持几乎恒定的上下文开销。

PaCoRe的核心创新在于三点:第一,通过消息传递架构将有效TTC的扩展与上下文窗口解耦。与传统的顺序推理不同,PaCoRe并行生成 $K$ 条轨迹,每条轨迹的中间推理步骤在压缩时被丢弃,仅保留最终结论,使得输入长度始终保持在上下文窗口之内,而有效TTC是所有轨迹token之和,可以达到百万级。第二,通过端到端的结果式RL训练模型的综合能力,而不是依赖启发式规则。这使得模型能够超越简单的多数投票,学会从错误的输入消息中重建正确解。第三,训练数据的精心筛选——只保留'朴素聚合策略会失败'的实例(消息集准确率在特定区间内),迫使模型必须发展出真正的综合能力才能获得奖励信号。

方法步骤详情

PaCoRe推理管道对给定问题 $x$ 执行 $R$ 轮协调推理。第 $r$ 轮接收前一轮的压缩消息集 $M_{r-1} = \{m_{r-1}^{(i)}\}_{i=1}^{K_{r-1}}$,生成 $K_r$ 条并行推理轨迹 $\Omega_r = \{\omega_r^{(i)}\}_{i=1}^{K_r}$。每轮包含两个阶段:(1)综合与并行探索:使用提示函数 $P(x, M_{r-1})$ 序列化问题和消息,然后并行调用推理模型 $\pi_r$ 生成 $K_r$ 条独立轨迹,每条包含完整推理链和最终结论;(2)消息压缩:压缩函数 $C(\cdot)$ 解析每条轨迹,仅保留最终结论段 $m_r^{(i)} = C(\omega_r^{(i)})$,丢弃中间步骤,确保输入长度有界。最后一轮使用单条轨迹($K_R = 1$)产生最终输出。整个过程被记为 $\hat{R} = R-1$ 轮协调推理,推理配置为 $\vec{K} = [K_1, ..., K_{\hat{R}}]$。训练流程则将单轮综合建模为一个episode式RL环境:从训练分布中采样问题 $x$ 和消息集 $M$,策略 $\pi_\theta$ 生成轨迹 $\omega$ 并获得稀疏终端奖励 $R(\omega) \in [0,1]$。训练分两阶段:Stage 1(250次迭代)筛选朴素聚合失败的实例(消息集准确率在特定区间);Stage 2(额外450次迭代)使用Stage 1中间检查点评估综合准确率,仅保留 $0 < \text{synthesis\_acc} < 1$ 的实例。

技术新颖性

PaCoRe的技术新颖性体现在多个层面。首先,它是第一个系统性地将并行推理与消息压缩结合,实现有效TTC突破上下文窗口限制的通用框架。虽然此前有工作探索并行搜索或上下文管理,但PaCoRe首次将两者整合为一个端到端训练的统一框架。其次,PaCoRe将推理模型置于一个隐式的多智能体环境中进行训练——输入消息来自其他模型生成的输出,策略必须在这样的环境中学会综合。这与传统的单智能体RL设置有本质区别,为研究涌现的集体行为提供了独特视角。第三,训练数据的筛选策略极具创新性:只保留'简单策略会失败'的实例,这种对抗性数据设计确保模型必须发展出高级综合能力。第四,论文观察到了多个有趣的涌现行为:训练过程中'交叉验证'语言标记(如'reference'、'参考'等)的出现频率从接近零稳步上升;涌现正确率——在所有输入消息都错误时模型仍能生成正确解的概率——显著增长,证明模型超越了朴素策略。

PaCoRe推理管道
Figure 2: PaCoRe推理管道
PaCoRe训练动态
Figure 3: PaCoRe训练动态

实验结果

PaCoRe在多个高难度推理基准上取得了显著成果,展示了其强大的测试时计算扩展能力。在数学领域,PaCoRe-8B在HMMT 2025上以High配置($\vec{K} = [32, 4]$)达到94.5%的pass@1准确率,使用约179.6万token的有效TTC,超越了GPT-5的93.2%(使用约1.6万token)。在AIME 2025上,PaCoRe-8B(High)达到93.7%,与GPT-5的93.5%和Kimi-K2-Thinking的95.3%相当。在IMOAnswerBench上,PaCoRe-8B(High)达到78.4%,超过了所有对比模型包括GPT-5的72.9%。在极难的Apex基准上,RLVR-8B基线得分为0%,而PaCoRe-8B(High)提升到2.3%,展示了在极端难度问题上的突破。在编程领域,PaCoRe-8B在LiveCodeBench上达到78.2%(High配置),与GLM-4.6和Kimi-K2-Thinking竞争力相当。更值得注意的是,PaCoRe展示了出色的跨领域泛化能力:在SWE-Verified软件工程任务上,PaCoRe-8B(Low)的解决率从RLVR-8B的29.8%提升到34.0%;在MultiChallenge多轮对话任务上,从33.3%提升到48.0%。与Self-Consistency(多数投票)的对比实验(Table 2)显示,SC在TTC增加时性能迅速饱和,而PaCoRe持续获益。例如在HMMT 2025上,SC从@4的82.3%到@256的84.7%几乎停滞,而PaCoRe从Low的88.1%持续提升到High的94.5%。消融实验证实了并行推理和消息传递两个核心组件的关键性:并行扩展比顺序扩展更有效利用TTC;没有消息压缩时,性能随TTC增加而退化并受限于上下文长度。训练过程中涌现正确率的持续上升(从接近零到显著增长)证明模型确实学会了从错误输入中重建正确解的综合能力,而非依赖简单启发式。

基准性能和每题TTC消耗
Table 1: 基准性能和每题TTC消耗
与Self-Consistency采样(多数投票)的测试时扩展对比
Table 2: 与Self-Consistency采样(多数投票)的测试时扩展对比
SWE-Verified上的性能
Table 3: SWE-Verified上的性能
PaCoRe数据的通用有效性
Table 4: PaCoRe数据的通用有效性
训练时消息集大小的消融
Table 5: 训练时消息集大小的消融
PaCoRe Test Scaling 和 PaCoRe Training
Figure 1: PaCoRe Test Scaling 和 PaCoRe Training
并行推理和消息传递的消融实验
Figure 4: 并行推理和消息传递的消融实验
综合相关语言特征和涌现正确率的演变
Figure 5: 综合相关语言特征和涌现正确率的演变
查看结构化数据
任务指标本文基线提升
HMMT 2025 (Feb.) pass@1 准确率 PaCoRe-8B (High) 94.5% GPT-5 93.2%, RLVR-8B 75.4% 相对GPT-5提升1.3个百分点,相对RLVR-8B基线提升19.1个百分点
AIME 2025 pass@1 准确率 PaCoRe-8B (High) 93.7% GPT-5 93.5%, RLVR-8B 84.1% 相对GPT-5提升0.2个百分点,相对RLVR-8B基线提升9.6个百分点
IMOAnswerBench pass@1 准确率 PaCoRe-8B (High) 78.4% GPT-5 72.9%, RLVR-8B 64.6% 相对GPT-5提升5.5个百分点,相对RLVR-8B基线提升13.8个百分点
LiveCodeBench (2408-2505) pass@1 准确率 PaCoRe-8B (High) 78.2% GLM-4.6 79.5%, RLVR-8B 70.6% 相对RLVR-8B基线提升7.6个百分点,与前沿闭源模型竞争力相当
Apex pass@1 准确率 PaCoRe-8B (High) 2.3% GPT-5 1.0%, RLVR-8B 0.0% 从基线0%突破到2.3%,超过GPT-5的1.0%
HLE (text subset) pass@1 准确率 PaCoRe-8B (High) 48.0% GPT-5 71.1%, RLVR-8B 33.3% 相对RLVR-8B基线提升14.7个百分点
SWE-Verified 解决率 PaCoRe-8B (Low) 34.0% RLVR-8B 29.8% 相对基线提升4.2个百分点,无需任务特定调优

局限与改进

PaCoRe存在几个值得关注的局限性。首先,虽然PaCoRe在数学推理上取得了超越GPT-5的成果,但在HLE(Humanity's Last Exam)文本子集上,PaCoRe-8B(High)仅达到48.0%,与GPT-5的71.1%仍有显著差距(23.1个百分点),这表明在某些需要广泛世界知识或极度开放性推理的任务上,模型规模和知识储备的限制仍然明显。其次,有效TTC的巨大增长带来了实际的推理效率问题:High配置在HMMT 2025上每题使用约179.6万token,这意味着推理延迟和计算成本远高于标准推理,在实际部署场景中可能面临挑战。第三,论文仅在8B规模的模型上进行了实验,虽然结果令人印象深刻,但尚不清楚PaCoRe的增益在更大模型上是否同样显著,或者是否会在小模型上退化。第四,训练过程需要精心的数据筛选——仅保留'朴素聚合会失败'的实例,这种数据依赖可能导致训练数据的有效利用率较低,且筛选阈值的选择可能需要针对不同领域进行调整。最后,论文承认PaCoRe的推理管道目前依赖于预生成的轨迹缓存池(每题512条轨迹),虽然实验验证了与实时生成等价,但这种缓存策略在实际应用中的可行性和通用性尚需进一步验证。

独立分析的弱点

PaCoRe在以下方面存在可改进的空间。首先,消息压缩函数 $C(\cdot)$ 采用最简单的策略——仅保留每条轨迹的最终结论段落,丢弃所有中间推理步骤。这种'结论提取'式的压缩可能丢失重要的推理过程信息,例如中间步骤的验证逻辑或关键的反例发现。一个改进方向是设计学习型压缩器,能够识别并保留轨迹中最关键的中间信息。其次,所有并行轨迹使用相同的模型权重和相同的输入上下文,这意味着轨迹之间的多样性可能有限。可以通过引入不同的推理策略提示、不同的采样温度、甚至不同的专门化模型来增加轨迹多样性。第三,PaCoRe的训练数据筛选策略虽然创新,但会导致大量训练数据被丢弃,数据利用率较低。可以探索更精细的课程学习策略,逐步增加问题难度,而非简单地按准确率区间过滤。第四,论文未充分探索模型规模的扩展效应——8B模型的结果很好,但PaCoRe的增益在70B或更大模型上是否同样显著尚不清楚,理论上更大的模型可能具有更强的内在综合能力,从而对PaCoRe的依赖降低。

未来方向

论文作者提出了四个有前景的未来研究方向。第一,'极限扩展'(Scaling to Extremes):将PaCoRe应用于更大的基础模型、更广泛的任务领域(如多模态理解和智能体任务),以及进一步扩展推理的宽度(并行轨迹数)和深度(协调轮数),以解决极端困难的问题。第二,'提升token智能密度'(Boosting Token Intelligence Density):不仅通过体积扩展TTC,而是最大化每单位计算的效用,通过更好的组织、合作和分工来实现更高效的并行探索。第三,'涌现的多智能体智能'(Emergent Multi-Agent Intelligence):联合训练综合策略和消息传递机制,构建最小但丰富的合作式多智能体学习环境,用于研究涌现通信、自组织和集体智能。第四,'自噬循环'(Ouroboros):利用PaCoRe管道开发高级合成数据生成技术,以改进当前的预训练和后训练流程。基于论文的成果,还可以延伸到:将PaCoRe与思维链蒸馏结合,将多轮协调推理的能力压缩到更小的模型中;探索PaCoRe在科学发现、数学证明辅助等实际应用中的潜力;研究PaCoRe的涌现行为(如交叉验证)是否可以通过显式训练进一步强化。

复现评估

PaCoRe在可复现性方面做得相当出色,这在当前大模型研究中是难能可贵的。作者开源了三个关键资源:模型检查点(PaCoRe-8B,发布在HuggingFace的stepfun-ai/PaCoRe-8B)、训练数据(stepfun-ai/PaCoRe-Train-8k)以及完整的推理管道(GitHub: stepfun-ai/PaCoRe)。这种全面的开源策略使得其他研究者可以复现论文的结果并在此基础上继续研究。然而,复现仍面临一些挑战:训练过程使用了基于Qwen3-8B-Base的内部推理导向后训练版本(RLVR-8B)作为初始检查点,这个检查点并未公开,可能影响精确复现;训练使用了大规模计算资源(700次迭代,每次16个实例×64条响应,最大序列长度131,072 token),算力需求较高;数据筛选策略需要先使用基线模型生成消息缓存池并评估准确率,增加了一定的复现复杂度。不过,论文提供了详细的训练数据准备流程(Appendix C)和综合提示模板(Appendix B),有助于降低复现门槛。