LoopRPT:面向循环语言模型的强化预训练框架 LoopRPT: Reinforcement Pre-Training for Looped Language Models
用强化学习直接优化循环语言模型的隐空间推理步骤,实现更准更快的隐式推理
前置知识
循环语言模型(LoopLM)
与标准 Transformer 每层参数不同不同,循环语言模型共享同一组参数的骨干网络,在隐空间中对内部表征进行多轮迭代精炼。给定上下文 $x_{<t}$,模型通过 $h^{(k+1)} = f_\theta(h^{(k)}, x_{<t})$ 进行 K 步递推,最终从 $h^{(K)}$ 生成下一个 token 的分布。这种架构(如 Ouro)可以用更少的参数实现多步推理,且支持自适应早退出——模型根据置信度决定是否提前停止迭代。
LoopRPT 的全部工作都建立在循环架构之上,理解隐空间迭代推理和早退出机制是理解本文方法的基础
强化预训练(Reinforcement Pre-Training, RPT)
RPT 是一种新兴的训练范式,将下一个 token 预测重新定义为推理任务。模型采样一个输出 $o_t \sim \pi_\theta$,根据与真实下一个 token 的匹配获得可验证奖励 $r(o_t, x_t)$,目标是最大化语料库上的期望奖励 $J_{RPT}(\theta) = \mathbb{E}_{x_{<t}} \mathbb{E}_{o_t \sim \pi_\theta} r(o_t, x_t)$。与传统 NTP 仅最大化似然不同,RPT 激励模型进行「思考」后再预测,利用预训练语料本身作为奖励信号来扩展 RL。
LoopRPT 是首个将 RPT 范式应用于循环语言模型的工作,理解 RPT 的基本框架是理解 LoopRPT 如何为隐空间步骤设计奖励信号的前提
指数移动平均(EMA)教师模型
EMA 教师是学生模型参数的滑动平均版本,通过 $\bar{\theta}_n = \phi \bar{\theta}_{n-1} + (1-\phi)\theta_n$ 更新(论文中动量 $\phi=0.995$)。它作为一个稳定、缓慢变化的参考基准,用于计算奖励基线和定义参考推理步骤。由于 EMA 是学生参数的低通滤波,它避免了「目标追逐」问题——即参考基准不会因为学生快速更新而剧烈波动。
EMA 教师是 LoopRPT 设计奖励信号和稳定训练的核心组件,理解其稳定性保证对于理解为什么这个框架能有效训练循环模型至关重要
策略梯度与 GRPO
策略梯度是强化学习中直接优化策略参数的一类方法,核心思想是通过 $\nabla_\theta J = \mathbb{E}[A \nabla_\theta \log \pi_\theta(a)]$ 来更新策略,其中 $A$ 是优势函数。GRPO(Group Relative Policy Optimization)是 DeepSeek 提出的变体,通过对同一输入采样多个 rollout,用组内归一化来估计优势 $A^{(g)} = \frac{r^{(g)} - \text{mean}[r^{(g)}]}{\text{std}[r^{(g)}] + \epsilon}$,消除了对额外价值网络的需求。
LoopRPT 使用 GRPO 风格的组归一化来估计 noisy latent rollouts 的优势值,这是优化退出策略的核心算法
早退出(Adaptive Early Exit)
早退出是一种动态计算分配机制:模型在每个循环步骤产生一个退出门控 logit $a^{(k)}$,转换为退出概率 $\lambda^{(k)} = \sigma(a^{(k)})$。通过累积生存概率和 CDF 阈值机制,模型自适应地决定每个 token 需要多少步推理。简单 token 可能 1-2 步就退出,复杂 token 则用满全部 4 步,从而在准确性和计算效率之间取得平衡。
LoopRPT 的一个核心目标就是通过 RL 训练改善早退出的校准——让模型更早做出正确退出决策,同时不牺牲困难 token 的准确性
研究动机
循环语言模型(LoopLMs)在隐空间中进行多步推理,但现有的强化学习可验证奖励(RLVR)范式主要作用于输出 token,与循环架构的隐式推理存在结构性错配。具体来说,传统 RLVR 依赖从最终答案 token 获得的稀疏奖励信号,这对于 LoopLM 所需的密集、多步隐空间推理来说信息量严重不足——模型在中间推理步骤上得不到任何反馈,导致信用分配(credit assignment)困难。Ouro 架构的动态早退出机制进一步加剧了这个问题:自适应确定计算深度的退出门控在标准 RLVR 对齐下引入不稳定性和信用分配困难。实验数据清晰地展示了这一困境:Qwen3-1.7B 在使用显式 CoT 提示时,Easy 任务准确率从 47.49% 暴跌至 10.70%,Hard 任务从 19.19% 降至 7.44%,说明简单地给标准 LLM 加上 CoT 并不能解决推理问题,反而严重损害性能。
本文的目标是本文的目标是设计一个专门为循环语言模型量身定制的强化预训练框架,使 RL 信号能够直接塑造中间隐空间表征,从而将有效推理压缩到更少的循环迭代中。具体可量化的目标包括:在保持或提升 Hard token 预测准确率的同时,显著减少平均推理步数;在 accuracy-computation trade-off 上实现帕累托主导;将循环模型在下游数学推理(GSM8K)和代码生成(MBPP、HumanEval)任务上的表现提升到可比甚至超越更大规模的标准 Transformer 模型。
与已有工作不同的是,本文的独特切入角度在于发现了循环语言模型在 next-token reasoning 任务上天然具有「推理友好」特性:Ouro-1.4B 在 Easy/Medium/Hard 三个难度级别上的准确率(74.62/57.28/33.79%)均显著高于 Qwen3-1.7B 的 vanilla 模式(47.49/32.18/19.19%),提升幅度分别为 +57%、+78%、+76%。这意味着循环模型的内部知识操纵能力可以通过专门设计的 RL 算法系统性地释放出来。已有的 RPT 工作虽然将 next-token 预测重构为推理任务,但完全忽略了循环架构这一特殊计算基底。LoopRPT 填补的正是这一空白:将 RPT 范式与循环架构统一,首次为隐空间推理步骤提供密集的强化信号。
核心方法
LoopRPT 的核心直觉可以用一个比喻来理解:想象一个学生在做数学题时,传统的 RL 方法只在最后交卷时告诉他对错,而 LoopRPT 则在每一步草稿演算后都给出反馈——「这一步的推理方向对不对」「已经算够了可以停了」。技术上,LoopRPT 建立在 Ouro 循环架构之上,通过三个关键创新将强化预训练适配到隐空间推理:(1)基于熵的困难 token 选择器,聚焦训练信号于模型最不确定的预测位置;(2)基于 EMA 教师的逐步奖励机制,为每个隐空间推理步骤提供相对于教师参考步骤的准确率增益和时间惩罚;(3)带噪声的隐空间 rollout,通过向循环隐状态注入高斯噪声来探索不同的退出轨迹,联合优化退出策略和骨干表征。
LoopRPT 最本质的创新在于将「next-token prediction」重新定义为「next-token reasoning」,并把这个推理过程直接锚定在循环模型的隐空间迭代步骤上。与已有方法的核心区别体现在三个方面:第一,奖励信号不再是稀疏的(只在最终 token 处),而是密集地分布在每个隐空间推理步骤上——每一步都有一个基于准确率增益 $\Delta_{acc}^{(k)} = \ell_\theta^{(k)} - b_{ref}$ 的奖励信号。第二,基线不再是固定的,而是由 EMA 教师在参考推理步骤上的表现动态决定,参考步骤 $t_{ref} = \min\{k : \sum_{j \leq k} \bar{\pi}_{\bar{\theta}}(j) \geq \tau\}$ 代表教师认为「足够计算」的步骤。第三,通过向隐状态注入高斯噪声 $\epsilon^{(k)} \sim \mathcal{N}(0, \sigma^2 I)$ 来生成多样化的 rollout 轨迹,解决了隐空间推理无法像显式 token 那样自然采样的问题。这三个设计共同实现了 RL 对隐空间推理的直接优化,而不是通过 token 级别的间接代理。
方法步骤详情
LoopRPT 的训练分为两个阶段,交替进行。第一阶段是密集逐步奖励表构建:首先用教师模型(EMA)进行 K 步前向传播,计算最后一个推理步骤的 token 分布熵 $H_t = -\sum_v \bar{p}_\theta(v|x_{<t}) \log \bar{p}_\theta(v|x_{<t})$,选取熵最高的 top-$\rho$(论文中 $\rho=0.2$)比例位置作为困难 token。然后计算教师的退出分布 $\bar{\pi}_\theta(k)$ 及其 CDF,确定参考步骤 $t_{ref}$。接着用学生模型(无噪声)进行 K 步前向传播,对每一步计算准确率增益 $\Delta_{acc}^{(k)} = \ell_\theta^{(k)} - b_{ref}$ 和困难度感知的时间惩罚 $C^{(k)} = \lambda_t(k - t_{ref})$,其中 $\lambda_t$ 根据教师不确定性自适应调整(简单 token 惩罚更大,困难 token 惩罚更小)。逐步奖励为 $R^{(k)} = \Delta_{acc}^{(k)} - C^{(k)}$。第二阶段是联合优化:首先进行无噪声学生前向,计算步加权表示学习目标 $L_{rep} = -\sum_k w_k \ell_\theta^{(k)}$,其中权重 $w_k = \pi_\theta(k)(1 + \text{ReLU}(\hat{A}^{(k)))$。然后进行 G=8 次带噪声的隐空间 rollout(注入 $\sigma=0.1$ 的高斯噪声),对每个 rollout 重新计算奖励并采样退出步骤,通过 GRPO 风格的组归一化计算优势 $A^{(g)}$,优化策略梯度损失 $L_{PG}$。最后加入熵正则化 $L_{ent}$ 和 KL 正则化 $L_{KL}$ 防止退化,总损失为 $L = \alpha L_{PG} + \beta L_{rep} + \gamma L_{ent} + \delta L_{KL}$。
技术新颖性
LoopRPT 的技术新颖性体现在几个与已有工作的本质区别上。与传统 RLHF/RLVR 相比,LoopRPT 不需要额外的奖励模型或人工标注,而是利用预训练语料本身的 next-token 预测正确性作为可验证奖励,并通过 EMA 教师将这种奖励细化到每个隐空间步骤。与原始 RPT(Dong et al., 2025)相比,LoopRPT 解决了 RPT 直接应用于循环架构时的两大困难:token 级反馈的稀疏性和隐空间不可采样性。具体地,原始 RPT 在标准 Transformer 上通过采样输出 token 来探索,但循环模型的推理在隐空间中展开,没有显式中间 token 可供采样——LoopRPT 通过向隐状态注入高斯噪声来创造性地解决这个问题,从理论上证明这优化了一个平滑的在策略目标 $J_\sigma(\theta)$(Proposition A.5)。与 Ouro 原始的训练方法相比,LoopRPT 引入了困难度感知的时间惩罚机制 $\lambda_t = \lambda_{base}(1 + \lambda_{scale}(1-d_t))$,避免了在困难 token 上强制提前退出,同时鼓励简单 token 更早退出。
实验结果
LoopRPT 在多个维度上展示了令人信服的结果。在 next-token reasoning(NTR)任务上,以 Ouro-2.6B 为例,LoopRPT 在 Hard token 上的 Peak 准确率从 34.52% 提升到 38.10%(+3.58),在自适应退出模式下从 34.35% 提升到 37.24%(+2.89),同时平均推理步数从 3.51 步降至 2.28 步,减少了 1.23 步。这表明 LoopRPT 不是简单地鼓励提前退出(那会导致准确率下降),而是从根本上提升了中间表征的质量,使模型能在更少的步数内完成同样甚至更好的推理。Ouro-1.4B 的结果类似,Hard token 准确率在 Peak 模式下从 33.79% 提升到 34.74%(+0.95),自适应模式下从 33.91% 提升到 34.82%(+0.91),平均步数从 3.75 降至 3.07。在下游基准测试中,LoopRPT 在数学和代码任务上的提升最为显著:Ouro-2.6B 的 GSM8K 准确率从 81.76% 提升到 85.36%(+3.60),HumanEval 从 75.02% 提升到 76.83%(+1.81),HumanEval+ 从 70.13% 提升到 71.95%(+1.82)。Ouro-1.4B 的 MBPP+ 从 60.85% 提升到 63.76%(+2.91),MBPP 从 73.02% 提升到 75.40%(+2.38)。值得注意的是,LoopRPT 训练后的 Ouro-2.6B 在 GSM8K 上的 85.36% 已经超越了 Qwen3-8B 的 83.09% 和 Gemma3-12B 的 77.18%,用不到三分之一的参数实现了更优性能。退出动态分析(Figure 3)显示 LoopRPT 使更多 token 在更早的步骤(Step 1-3)退出,同时保持最终步退出的主导地位,反映了更好的置信度校准和更早的隐空间收敛。消融实验证明了每个组件的必要性:移除 $L_{rep} + L_{ent}$ 导致最大的准确率和效率下降,移除高斯噪声使平均步数增加,移除 token 选择则主要损害 Hard 准确率。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| NTR Hard (Ouro-2.6B Peak) | Accuracy (%) | 38.10 | 34.52 | +3.58 |
| NTR Hard (Ouro-2.6B Adap.) | Accuracy (%) | 37.24 | 34.35 | +2.89, 平均步数 3.51→2.28 |
| GSM8K (Ouro-2.6B) | Accuracy (%) | 85.36 | 81.76 | +3.60 |
| HumanEval (Ouro-2.6B) | pass@1 (%) | 76.83 | 75.02 | +1.81 |
| HumanEval+ (Ouro-2.6B) | pass@1 (%) | 71.95 | 70.13 | +1.82 |
| MBPP+ (Ouro-1.4B) | pass@1 (%) | 63.76 | 60.85 | +2.91 |
| MBPP (Ouro-1.4B) | pass@1 (%) | 75.40 | 73.02 | +2.38 |
| MMLU-Pro (Ouro-1.4B) | Accuracy (%) | 49.21 | 48.64 | +0.57 |
| BBH (Ouro-2.6B) | Accuracy (%) | 78.24 | 77.98 | +0.26 |
局限与改进
论文存在几个值得关注的局限性。首先,训练数据仅使用了 OMNI-MATH 的 4,428 道竞赛级数学题,数据规模较小且领域单一,这可能限制了 LoopRPT 在更广泛任务上的泛化能力——虽然论文展示了下游基准的迁移效果,但这些迁移主要集中在数学和代码推理领域,对通用知识任务(如 MMLU)的提升相对有限(Ouro-2.6B 仅从 73.85% 到 73.91%)。其次,论文仅在 Ouro-1.4B 和 Ouro-2.6B 两个规模上进行了实验,没有探索更大规模(如 7B、13B)的循环模型,也未与其他类型的循环架构(如 PonderNet、Universal Transformer 变体)进行对比,这使得结论的普适性有待验证。第三,作者在 forced-depth 评估中承认,增加推理步数并不保证单调提升准确率,Medium 和 Hard 任务上甚至可能出现退化——这暴露了循环架构的一个根本弱点:后续步骤不是显式优化来逐级精炼 token 级交叉熵的,额外迭代可能引入分布偏移。最后,训练成本虽然论文声称较低(1.4B 约 2 小时,2.6B 约 4 小时在 8×A100 上),但这仅是 3 个 epoch 在 4K 序列长度上的训练,实际大规模部署时的可扩展性尚未验证。
独立分析的弱点
从独立分析的角度看,LoopRPT 存在以下几个值得改进的弱点。第一,困难 token 选择依赖教师模型最后一轮的熵,这意味着选择质量受限于教师本身的校准程度——如果教师在某些 token 上过度自信(低熵但实际困难),这些 token 会被遗漏。改进方向可以考虑引入课程学习策略,随训练进程逐步调整选择比例 $\rho$,或结合多个推理步骤的熵变化来识别真正困难的 token。第二,噪声 rollout 的标准差 $\sigma=0.1$ 是全局固定的,没有根据 token 难度或推理步骤进行自适应调整——早期步骤可能需要更大探索噪声,后期步骤则需要更小噪声以保持精炼精度。第三,退出策略和表征优化虽然联合训练,但损失权重 $\alpha, \beta, \gamma, \delta$ 是手动调优的超参数(论文使用 1.0, 1.0, 0.01, 0.0001),缺乏自适应机制。可以考虑用元学习或不确定性加权来自适应调整这些权重。第四,EMA 教师的动量 $\phi=0.995$ 是固定的,但在训练早期(学生变化剧烈)和训练后期(学生趋于稳定)可能需要不同的动量值。
未来方向
论文作者提出未来将扩展到更大规模和更广泛的数据混合,以及进一步改善早退出在分布偏移下的鲁棒性。基于 LoopRPT 的成果,还可以延伸以下几个方向:(1)将 LoopRPT 应用到其他循环架构(如 PonderLM、Parallel Loop Transformer),验证框架的架构通用性;(2)探索 LoopRPT 与显式 CoT 的协同——循环模型做隐式推理后再生成 CoT 可能获得两者的叠加收益;(3)将困难 token 选择从固定比例改为基于学习的动态选择,让模型自动决定哪些 token 需要更多推理;(4)探索 LoopRPT 在多模态循环模型中的应用,将隐空间推理优化扩展到视觉-语言任务;(5)研究 LoopRPT 训练后的模型在分布偏移(如不同领域数据、不同难度分布)下的早退出行为,建立更鲁棒的退出校准机制。
复现评估
复现评估方面,LoopRPT 的复现条件较为友好。论文基于 Ouro 架构构建,而 Ouro 的代码和模型权重已开源(HuggingFace 上可获取)。训练数据 OMNI-MATH 同样是公开数据集。算力需求方面,1.4B 模型在 8×A100-80GB 上约需 2 小时,2.6B 约需 4 小时,这对学术实验室来说是可承受的。论文在附录中提供了完整的超参数表(Table 5)、训练算法伪代码(Algorithm 1-2)、评估设置(Table 6),以及详细的实现细节(使用 HuggingFace Accelerate、DDP、混合精度、梯度检查点)。然而,论文目前未提供 LoopRPT 训练代码的开源链接,核心算法实现(特别是 noisy latent rollout 和逐步奖励计算)需要读者自行实现。此外,一些关键实现细节分散在附录的不同位置(如 KL 代理在 Appendix D,hard-token 选择在 Appendix C),需要仔细阅读才能完整复现。总体复现难度为中等偏高——框架设计清晰但实现细节较多。
论文图表
图 1(a) 对比了标准 LLM 的显式 CoT 推理(需要消耗额外 token、计算成本高、可能在困难问题上失败)与循环语言模型的隐空间推理(将多步推理压缩到隐空间迭代中,无需生成中间 token,更高效准确)。图 1(b) 展示了 Ouro-1.4B 和 Qwen3-1.7B 在不同难度 next-token reasoning 任务上的性能对比,循环模型在所有难度上均显著优于标准 LLM。
这是理解论文核心动机的关键图——它直观地展示了为什么需要为循环架构设计专门的 RL 训练方法,以及循环模型在推理任务上的天然优势