← 返回 2026-03-03

递归思考-回答过程用于大语言模型和视觉语言模型 Recursive Think-Answer Process for LLMs and VLMs

Byung-Kwan Lee, Youngchae Chee, Yong Man Ro 📅 2026-03-02 👍 7 2026-07-13 08:35
大语言模型 强化学习 推理增强 自纠错 视觉语言模型

提出基于置信度的递归推理框架,让模型自我修正提升精度

前置知识

Think-Answer范式

Think-Answer范式是OpenAI o1和DeepSeek-R1等模型采用的一种推理策略,它将内部思考过程与最终答案显式分离。模型首先生成不输出的思考轨迹,然后基于此生成最终答案。这种分离让模型能够在不输出中间步骤的情况下进行深入推理,特别适合数学推理、编程等需要多步骤逻辑的任务。在实现上,通常通过特殊的格式标记(如``标签)或预定义的响应模板来区分思考阶段和回答阶段。

本文在Think-Answer范式的基础上进行扩展,引入递归机制,因此理解这一基础范式对掌握本文的核心创新至关重要。

GRPO(Group Relative Policy Optimization)

GRPO是一种强化学习算法,它是PPO(Proximal Policy Optimization)的变体,专门用于大语言模型的训练。GRPO通过采样一组响应,计算相对优势,然后更新策略来最大化奖励。其核心优势在于不需要价值函数,通过组内比较估计优势,从而简化了训练流程并降低了计算开销。在本文中,GRPO被用于训练模型生成递归的Think-Answer轨迹,目标是最小化递归奖励与基准策略的KL散度。

R-TAP使用GRPO作为核心强化学习框架来优化递归推理策略,理解GRPO有助于把握本文的训练方法和目标函数设计。

置信度生成器(Confidence Generator)

置信度生成器是一个专门的神经网络模块,用于评估模型对给定回答的置信程度。它接受问题和模型生成的Think-Answer回答作为输入,输出一个0到1之间的连续置信度分数。在本文中,置信度生成器从预训练模型初始化,将语言头替换为置信度头(输出维度为d×1),然后通过二分类监督学习进行预训练。训练时使用正确回答和错误回答的样本对,学习区分它们。训练完成后,置信度生成器在R-TAP的强化学习阶段提供反馈信号,指导模型是否需要继续递归推理。

置信度生成器是R-TAP的核心组件之一,它让模型能够内省自己的推理质量,是实现自适应递归推理的基础。

递归置信度增加奖励

递归置信度增加奖励是R-TAP提出的一种强化学习奖励信号,用于鼓励模型在递归推理过程中持续提升置信度。具体计算方式是:对于递归深度为M的推理轨迹,计算每一步置信度相对于上一步的提升比例,然后取平均值。数学表达式为$R_{Increase} = \frac{1}{M-1}\sum_{t=1}^{M-1}\mathbb{1}[Conf(t+1) > Conf(t)]$,其中$\mathbb{1}$是指示函数,当条件满足时为1,否则为0。这个奖励鼓励模型每一步都比前一步更自信,从而推动模型进行有意义的推理改进而非无意义的重复。

这个奖励是R-TAP方法的核心创新之一,它确保递归推理不是简单的重复,而是持续改进的过程。

研究动机

当前的Think-Answer推理模型,如DeepSeek-R1和OpenAI o1,虽然在数学推理、编程等复杂任务上取得了显著进展,但它们几乎都采用单次推理轨迹的方式。模型在生成一个Think-Answer对后就停止推理,即使推理过程明显不确定或包含自省性的错误信号(如"Oops!"、"让我再试试"等)。这种限制导致以下问题:首先,错误但听起来自信的推理无法得到纠正,降低了模型的可靠性;其次,模型无法评估自己推理的质量,无法判断是否需要进一步推理;再次,推理轨迹中的自省信号被浪费了,没有被用来触发自我修正。在实际应用中,这种单次推理的局限性尤为明显,比如在数学竞赛题中,模型可能因为一个小计算错误得出错误答案,但这些问题如果被模型自己发现并纠正,就可以避免。作者通过分析模型响应中"Oops"类表达的出现频率,发现这些自省信号经常出现但从未被利用。

本文的目标是本文的目标是提出一个高效的自适应递归Think-Answer推理框架(R-TAP),让模型能够根据内部置信度评估决定是否继续推理。具体来说,R-TAP旨在:第一,让模型能够内省自己的推理质量,检测低置信度的回答;第二,在检测到低置信度时自动触发额外的Think-Answer循环,改进之前的推理;第三,在置信度达到满意水平时提前终止推理,避免不必要的计算开销。通过这种方式,R-TAP希望提升推理的准确性、稳定性和效率,同时保持与现有Think-Answer架构的兼容性。

与已有工作不同的是,本文的独特切入点在于将置信度估计与递归推理训练相结合,而不是在推理时进行后处理。虽然现有的迭代精炼方法(如Reflexion、Self-Consistency)也存在,但它们要么依赖外部反馈或多数投票,要么需要多次生成和后处理,增加了推理时的计算开销。R-TAP的不同之处在于:它通过强化学习让模型在训练阶段就学会"何时继续推理、何时停止",而不是在推理时通过启发式规则决定;它使用学习的置信度生成器来提供内部反馈,而不是依赖外部验证器;它在训练时使用递归采样,但在推理时模型可以根据置信度动态决定是否继续,因此推理时的开销可以低于训练时。这种内省驱动的递归推理机制是本文的核心创新,填补了Think-Answer框架中缺乏自适应推理深度控制的空白。

核心方法

R-TAP的整体思路是让模型通过置信度引导进行递归推理,直到达到满意的置信度或达到最大递归深度。直觉上,这就像一个学生在解答难题时,做完一遍后检查自己的答案是否确定,如果不确定就重新思考一次,直到有把握为止。技术实现上,R-TAP包含两个主要阶段:第一阶段是监督学习,训练置信度生成器来区分正确和错误的回答;第二阶段是强化学习,使用GRPO算法训练主模型和置信度生成器,通过两个递归奖励来优化递归推理策略。在推理时,置信度生成器被移除,模型根据训练学到的策略动态决定推理深度。

核心创新点在于提出置信度引导的递归奖励机制,这与已有方法的本质区别在于:已有的Think-Answer模型使用单次轨迹和固定奖励(如准确性奖励),无法驱动模型进行自我修正;而R-TAP引入了两个互补的置信度奖励:递归置信度增加奖励鼓励模型在每一步都比前一步更自信,最终答案置信度奖励鼓励模型在最终答案上达到高置信度。这两个奖励让模型学会在推理过程中内省自己的质量,并根据内省结果决定是否继续。另一个关键区别是,置信度生成器只在训练时使用,推理时被移除,因此不引入推理时的额外开销。这与其他需要推理时多次生成或后处理的方法(如Self-Consistency)形成鲜明对比。

方法步骤详情

R-TAP的方法步骤包含完整的训练和推理流程。第一阶段:置信度生成器的监督预训练。对于每个问题$q$,使用目标模型生成$N=128$个单次Think-Answer回答。将这些回答分为正确回答集合${o_{correct}^i}_{i=1}^K$和错误回答集合${o_{wrong}^i}_{i=1}^{N-K}$。然后使用二分类目标优化置信度生成器:$\max_\phi \frac{1}{K}\sum_{i=1}^K \log C_\phi(q, o_{correct}^i) + \frac{1}{N-K}\sum_{i=1}^{N-K} \log(1 - C_\phi(q, o_{wrong}^i))$。这个步骤让置信度生成器学会区分正确和错误回答。第二阶段:强化学习训练。设置递归深度$T=4$,采样数量$G=12$。对于每个问题,生成$G$个递归轨迹,每个轨迹包含最多$T$个Think-Answer回答$O = \{o^{(1)}, o^{(2)}, \ldots, o^{(T)}\}$。对于每个轨迹,使用置信度生成器计算每一步的置信度$Conf(t) = C_\phi(q, o^{(t)})$。然后计算三个奖励:递归置信度增加奖励$R_{Increase}$、最终答案置信度奖励$R_{Final}$和常规奖励$R_{Answer}$(准确性)、$R_{Format}$(格式)、$R_{Length}$(长度惩罚)。总奖励为$R = R_{Increase} + R_{Final} + R_{Format} + R_{Answer} + R_{Length}$。使用GRPO算法更新主模型和置信度生成器的参数,目标函数为$\max_\theta \mathbb{E}_{q\sim\mathcal{D},\{O_i\}_{i=1}^G\sim\pi_\theta(O|q)}[\mathbb{E}_i[\min(r_i A_i, \text{clip}(r_i, 1-\epsilon, 1+\epsilon) A_i) - \beta D_{KL}(\pi_\theta\|\pi_{ref})]]$,其中$r_i$是策略比率,$A_i$是优势函数。在推理时,移除置信度生成器,模型根据训练学到的策略生成回答,可以动态决定推理深度。实现细节上,训练使用NVIDIA A100 80GB GPU,采用vLLM加速文本生成,DeepSpeed ZeRO-3进行分布式训练,学习率从$10^{-5}$线性衰减到$10^{-6}$,生成参数设置为temperature=1.0、top-p=0.95、top-k=50、重复惩罚=1.05,置信度阈值$\tau=0.55$通过网格搜索确定。

技术新颖性

技术新颖性分析体现在三个方面。第一,将置信度估计集成到递归推理的训练中,而非推理时的后处理。与已有的置信度校准方法(如ECE、语义等价熵)不同,本文不是用置信度进行后处理或过滤,而是将其作为强化学习信号直接塑造推理策略。这使得模型在训练时就学会何时需要深入推理,而不是在推理时通过外部规则判断。第二,提出递归置信度增加奖励,这是一个奖励推理过程质量的信号,而不仅仅是奖励最终答案的正确性。这与已有的方法形成对比,后者通常只奖励最终结果(如准确率)。递归置信度奖励鼓励模型进行"有改进的推理",而不是简单重复。第三,置信度生成器在训练时使用但在推理时移除,实现了零推理时开销的递归推理能力。这与需要推理时多次生成的方法(如Self-Consistency、Reflexion)形成鲜明对比,后者显著增加推理时的计算成本。这种训练时学习、推理时应用的机制使得R-TAP更实用。

Qualitative example of recursive think–answer process on a combinatorics question.
Figure 3: Qualitative example of recursive think–answer process on a combinatorics question.
Recursive Think-Answer Process.
Figure 4: Recursive Think-Answer Process.

实验结果

R-TAP在多个基准测试上展示了显著的性能提升。在LLM方面,以Phi-4-reasoning-plus为例,应用R-TAP后AIME25从78.0%提升到83.7%,HMMT Feb25从53.6%提升到60.3%,OmniMath从81.9%提升到86.2%,GPQA从69.3%提升到76.7%,LiveCodeBench从65.9%提升到72.1%,平均从69.7%提升到75.8%。这些提升分别相当于提高了5.7、6.7、4.3、7.4、6.2和6.1个百分点。在VLM方面,以R1V2-38B为例,应用R-TAP后MMMU从73.6%提升到78.2%,MathVista从74.0%提升到82.3%,OlympiadBench从62.6%提升到69.4%,MathVision从49.0%提升到56.8%,MMMU-Pro从52.0%提升到59.2%,平均从62.2%提升到69.2%,分别提升了4.6、8.3、6.8、7.8、7.2和7.0个百分点。特别值得注意的是,R-TAP在更大的模型上也能带来显著提升。例如,Qwen3-235B-A22B(235B MoE)在AIME2025上从81.5%提升到88.7%,提升了7.2个百分点;MM-Eureka-32B在MathVision上从56.5%提升到61.8%,在WeMath上从73.4%提升到79.3%。此外,作者还发现R-TAP显著减少了"Oops"类自省表达的出现频率。在训练过程中,"Oops"次数从15.7减少到5.6;在评估时,R-TAP模型在各种基准上的"Oops"计数都明显低于基线。这表明R-TAP让模型的推理更加稳定和自信,减少了推理错误和自我修正的循环。更重要的是,推理时间的对数值显著降低,说明R-TAP不仅提高了准确性,还提高了推理效率。这是因为模型学会了更直接的推理路径,减少了不必要的错误尝试。

Performance comparison of open-source large language models on challenging math benchmarks: AIME24, AMC, MATH500, Minerva, and OlympiadBench.
Table 1: Performance comparison of open-source large language models on challenging math benchmarks: AIME24, AMC, MATH500, Minerva, and OlympiadBench.
Comparison of closed and open-source language models with MiMo-RL-7B-R-TAB across general knowledge, mathematical, and code benchmarks.
Table 2: Comparison of closed and open-source language models with MiMo-RL-7B-R-TAB across general knowledge, mathematical, and code benchmarks.
Performance comparison across various models including our proposed AZR variants on coding and mathematical reasoning benchmarks.
Table 3: Performance comparison across various models including our proposed AZR variants on coding and mathematical reasoning benchmarks.
GRPO-trained models on MathVerse, MathVision, MathVista, WeMath, and HallusionBench.
Table 5: GRPO-trained models on MathVerse, MathVision, MathVista, WeMath, and HallusionBench.
Effect of each R-TAP component on LLM.
Table 10: Effect of each R-TAP component on LLM.
Recursion depths for LLM.
Table 14: Recursion depths for LLM.
Overall accuracy (%) of numerous large language models (LLMs) on five evaluation benchmarks—AIME25, HMMT Feb 25, OmniMath, GPQA, and LiveCodeBench.
Figure 1: Overall accuracy (%) of numerous large language models (LLMs) on five evaluation benchmarks—AIME25, HMMT Feb 25, OmniMath, GPQA, and LiveCodeBench.
Overall accuracy (%) of numerous vision language models (VLMs) on five evaluation benchmarks—MMMU, MathVista, OlympiadBench, MathVision, and MMMU-Pro.
Figure 2: Overall accuracy (%) of numerous vision language models (VLMs) on five evaluation benchmarks—MMMU, MathVista, OlympiadBench, MathVision, and MMMU-Pro.
查看结构化数据
任务指标本文基线提升
数学推理(AIME25) 准确率(%) 83.7(Phi-4-reasoning-plus-R-TAP) 78.0(Phi-4-reasoning-plus) +5.7
数学竞赛(HMMT Feb25) 准确率(%) 60.3(Phi-4-reasoning-plus-R-TAP) 53.6(Phi-4-reasoning-plus) +6.7
数学推理(OmniMath) 准确率(%) 86.2(Phi-4-reasoning-plus-R-TAP) 81.9(Phi-4-reasoning-plus) +4.3
通用知识(GPQA) 准确率(%) 76.7(Phi-4-reasoning-plus-R-TAP) 69.3(Phi-4-reasoning-plus) +7.4
代码生成(LiveCodeBench) 准确率(%) 72.1(Phi-4-reasoning-plus-R-TAP) 65.9(Phi-4-reasoning-plus) +6.2
多模态理解(MMMU) 准确率(%) 78.2(R1V2-38B-R-TAP) 73.6(R1V2-38B) +4.6
视觉数学推理(MathVista) 准确率(%) 82.3(R1V2-38B-R-TAP) 74.0(R1V2-38B) +8.3
视觉奥数(OlympiadBench) 准确率(%) 69.4(R1V2-38B-R-TAP) 62.6(R1V2-38B) +6.8

局限与改进

本文的局限性主要体现在以下几个方面。首先,作者承认由于当前深度学习实现的批处理依赖性,所有递归轨迹必须在训练时并行生成,即使早期的回答已经足够自信。这简化了并行化但引入了显著的计算和内存开销。其次,置信度生成器的预训练需要大量标记数据(正确/错误回答),这可能对某些领域或任务构成挑战。第三,R-TAP的训练比标准的单次推理训练更复杂,需要同时训练主模型和置信度生成器,并且需要设计递归奖励函数,这增加了训练的难度和调优成本。第四,虽然论文展示了R-TAP在多个模型上的泛化性,但实验主要集中在数学推理、编程和多模态推理任务上,对于其他类型的任务(如常识推理、文本生成)的效果需要进一步验证。第五,作者观察到在VLM训练时不训练视觉编码器部分会导致性能下降,但训练又会带来额外的计算开销,这是一个需要权衡的设计决策。最后,R-TAP的超参数选择(如递归深度$T$、置信度阈值$\tau$)需要针对不同任务进行调优,这可能限制了其在某些场景下的即插即用性。

独立分析的弱点

R-TAP的独立分析弱点包括:第一,批处理并行生成带来的计算开销。虽然推理时不需要置信度生成器,但训练时需要生成$T=4$个递归深度和$G=12$个采样轨迹,总共48个回答,这比单次推理的12个回答增加了4倍的计算量。改进方向是探索动态批处理策略,让模型在早期高置信度时提前终止生成某些轨迹。第二,置信度生成器的泛化能力。虽然通过监督学习预训练,但置信度生成器可能对训练分布过度拟合,在分布外数据上的置信度估计可能不准确。改进方向是引入校准技术或领域自适应方法,提高置信度估计的泛化性。第三,递归深度固定为$T=4$可能不够灵活。对于简单问题,这可能浪费计算;对于复杂问题,这可能不够。改进方向是学习动态递归深度策略,让模型根据问题的复杂度自适应调整最大递归深度。第四,置信度阈值$\tau=0.55$是通过网格搜索确定的,可能不是所有任务的最优值。改进方向是学习任务相关的置信度阈值或使用更灵活的置信度停止标准(如置信度增加的斜率)。第五,R-TAP主要关注准确性奖励,但对推理的可解释性、鲁棒性等其他方面关注较少。改进方向是引入额外的奖励或约束,鼓励模型生成更可解释、更鲁棒的推理过程。

未来方向

未来的研究方向包括:作者提出了从效率导向的模型设计和多评估基准两个方向推进R-TAP。具体来说,作者计划开发自适应递归策略,动态确定额外Think-Answer循环的必要性和深度,从而在保持推理准确性的同时最小化冗余计算。这可以通过轻量级门控机制或早退策略实现。作者还打算探索参数高效的训练方案,如部分微调或模块化置信度头,以减少内存和训练开销,使R-TAP在资源受限环境中更实用。另一个重要方向是将置信度引导的递归推理扩展到小规模模型,同时保持竞争性能,从而开发高效、可靠且鲁棒的推理系统,适合实际部署。基于本文成果的可延伸方向包括:将R-TAP与现有的思维链变体(如思维树、思维图)结合,构建更强大的递归推理框架;将R-TAP应用于其他模态(如音频、视频)的多模态推理;探索将置信度生成器用于推理时的不确定性估计和风险量化;研究R-TAP在对抗攻击或分布外数据上的鲁棒性;开发R-TAP的在线学习版本,让模型在部署时持续改进推理策略。

复现评估

复现评估方面,论文提供了相对详细的信息。作者说明训练主要在NVIDIA A100 80GB GPU上进行,使用vLLM加速文本生成,DeepSpeed ZeRO-3进行分布式训练。训练参数设置为:学习率从$10^{-5}$线性衰减到$10^{-6}$,递归深度$T=4$,采样数量$G=12$,生成参数temperature=1.0、top-p=0.95、top-k=50、重复惩罚=1.05,置信度阈值$\tau=0.55$,GRPO参数$\epsilon=0.2$、$\beta=0.04$。论文还提供了训练数据集的来源:对于大多数模型,使用其原始训练数据;对于Phi-4-reasoning、MiMo、Qwen3和AM-Thinking-v1等未公开训练数据的模型,使用Open-R1-Math(220K)、codeforce-cot(100K)和PRIME(481K)数据集。然而,论文没有明确说明训练的总迭代次数、收敛标准、随机种子等关键信息,这些对于精确复现是必要的。算力需求方面,从附录C的训练时间表可以看出,Phi-4-reasoning-plus-R-TAP需要28小时训练,R1V2-38B-R-TAP需要39小时训练。考虑到使用A100 GPU和并行训练,预计需要多卡配置。论文提到将发布项目页面,但没有提供代码或模型权重的链接。因此,从复现难度来看,虽然提供了相对详细的实现细节,但缺乏公开的代码和模型权重,以及一些关键的超参数和训练设置信息,这使得完全复现具有中等难度。对于有经验的NLP研究者,根据论文描述可以大致复现结果,但对于初学者可能需要更多的试错。