论文链接:
- TPPO: Tracking-Value PPO for Language Model Reasoning(arXiv 2610.16794)
- Two Clocks: Why Larger Rollout Batches Learn Slower but Fail on Schedule in RLVR(arXiv 2610.18853) 代码仓库:
- TPPO(GitHub:LINs-lab/TPPO)
- Two Clocks(论文自述开源:two-clocks-rlvr) 发表时间:2026年10月12日(TPPO)/ 2026年10月13日(Two Clocks) 机构:西湖大学、浙江大学、上海人工智能实验室(通讯 Yun Luo/Tao Lin)、港科大、南京大学、上交、南洋理工(TPPO,7 机构高校联合,无企业);卡内基梅隆大学 + 多伦多大学(Two Clocks) 领域标签:cs.LG;RLVR 训练机理与优化理论
一、论文背景:RLVR 繁荣表象下的两个黑盒
RLVR 是什么。 强化学习 + 可验证奖励(RLVR)是 2025 年以来 LLM 推理能力跃升的主引擎:数学答案可对错判分、代码可执行验证,无需人类偏好标注即可大规模训练(DeepSeek-R1 开启的范式)。但"用起来有效"和"理解为什么有效"之间存在巨大鸿沟——训练管线里有两个核心旋钮长期处于半黑盒状态,本文两篇论文各拆一个。
黑盒一:PPO critic 在长推理链上学到了什么? PPO 用一个 critic 网络估计每个前缀的"期望回报"(即该前缀继续生成最终答对的概率),再经 GAE 换算成 token 级优势分配信用。问题是:稀疏终止奖励下(只有最后一个 token 有 0/1 奖励),同一响应的所有前缀共享同一个训练目标值——critic 被 MSE 逐位置独立回归,能学到"整体均值"却学不到价值的演化 ΔV_t=V(s_{t+1})−V(s_t)。而 ΔV 恰恰是 token 级信用的本质:λ=1 时相邻 token 的优势之差就等于 ΔV,一步错推理(如过早断言"唯一解是 x=0")会让成功概率骤降(MC 估计 ΔV=−0.992),critic 若测不出这个骤降、甚至给出相反符号(+0.036),信用分配的方向就反了。TPPO 开篇的实证触目惊心:标准 PPO critic 对 ΔV 符号的预测准确率只有随机水平,且随训练从 50.34% 降到 45.91%——越训越差,不是噪声而是系统性失效。
黑盒二:批量 + 学习率缩放规则到底保持了什么不变量? RLVR 的成本大头是 rollout 生成(每次策略更新都要重新生成响应),从业者因此放大 rollout 批量 B_r 并按平方根规则 η∝√B_r 缩放学习率来"保持训练等价"。单步每 rollout 的设定下(GRPO 原始形态),512 到 8K 响应的批量确实能在样本轴上对齐学习曲线(Li et al. 2026)。但实际配方(如 DAPO)是多步的——每个 rollout 切成 μ=8~16 个 mini-batch 各走一步。多步 regime 下三个现象同时出现:大批量每样本学得更慢(更费样本)、无裁剪时大批量与小批量在相同的样本数上崩塌(尽管优化器步数差 10 倍)、比例裁剪对大批量的稳定作用远强于小批量。此前的理论(SGD 线性规则、Adam 平方根规则、McCandlish 2018 的临界批量)各自只解释一角,没有一个框架能同时解释"进度变慢"与"按样本崩塌"的分离。Two Clocks 的答案:√b 规则保持的是每样本一阶漂移,不是每样本进度——这个区分是全文的支点。
两篇的合流点。 TPPO 把"价值"从孤立回归量改造成"可演化的量"(累加参数化),Two Clocks 把"批量缩放"从经验规则拆成"进度时钟/失败时钟"两个可分别测量的量。共同的方法论气质:先找到黑盒里真正该被测量的量(ΔV 符号、每样本漂移),再从第一性原理推导它的结构(贝叶斯可加性、局部二次模型),最后用受控实验验证推导。这正是 g2 清单把它们并列为"把黑盒调参拆成可测机制"代表作的原因。
二、论文定位和关联工作
2.1 TPPO:LLM 价值函数学习的谱系
LLM RL 的信用分配方案分三族,TPPO 的定位清晰:
| 族 | 代表 | 机制 | 局限 |
|---|---|---|---|
| 免价值方法 | GRPO、DAPO | 组内奖励归一化替代价值 | 整条响应当单一动作、所有 token 同一基线 |
| 价值方法 | PPO + GAE | critic 估计前缀价值 | 稀疏奖励下逐位置独立回归,ΔV 追踪失效(本文实证) |
| 密集监督 | VinePPO(MC/树搜索)、PRM(过程奖励) | 额外采样或过程标注换更准的中间价值 | 训练成本倍增/需标注 |
TPPO 坚守价值方法族但改参数化:不加 rollout、不加过程标注,只用终止结果的 BCE 监督。与最近的 value learning 工作互补:HL-Gauss PPO(分类式价值学习,改的是损失形态)、VAPO(长 CoT 价值训练配方,改的是训练技巧集)、SPPO(序列级 bandit 化,回避 token 级信用)。TPPO 改的是参数化的代数结构(log-odds 累加),与三者正交。理论根源可上溯至分布式 RL(Bellemare 2017)与"Stop Regressing"(Farebrother 2024,分类优于回归)——TPPO 可视为"贝叶斯结构先验版"的分类价值学习。
2.2 Two Clocks:批量缩放理论的谱系
| 谱系 | 代表 | 核心结论 | 与 Two Clocks 的差异 |
|---|---|---|---|
| SGD 缩放 | Smith et al. 2018 | 线性规则 + 逐步增批 | Adam/√b 规则下不适用 |
| Adam 缩放 | Malladi et al. 2022 | √b 规则的 SDE 推导 | 单步视角;Two Clocks 推广到多步 + RL |
| 批量不变性 | Hilton et al. 2022(PPO)/ Li et al. 2026(GRPO) | 解耦 clip 与行为策略可保不变 | 依赖足够小的优化器批量/单步;多步下破缺 |
| 临界批量 | McCandlish et al. 2018 | 逐批调 lr 时临界批=梯度噪声尺度 | √b 规则下 lr 被指定而非调优,B 随 lr 下降、可远低于噪声尺度*——关键区分 |
| 崩塌定律 | Suk & Duan 2025 / Song et al. 2026 | 步长阈值 / 异步崩塌 ∝1/η | 固定批量视角;Two Clocks 加入批量维度:沿 √b 规则失败近似样本不变 |
| clip 语义 | Qi et al. 2026 等(把 clip 视为瓶颈要软化) | 软信任域 | Two Clocks 反向发现:clip 主要买稳定性(尤其大批量),软化要付出崩塌风险 |
Two Clocks 同时统一了两个看似矛盾的实证:Khatri et al. 2026 发现"大批更慢但最终更高"、Yang et al. 2026b 发现"大批最终更高"——双时钟解释:进度时钟慢(费样本)、失败时钟不变 + clip 护大批(活得久、终值高)。
2.3 两篇的关系:机制化 RLVR 的两个正交截面
TPPO 管"信号质量"(critic 给策略梯度提供什么方向的信用),Two Clocks 管"优化节奏"(梯度以什么批量/步长/何时崩的节奏作用)。两者在实践上直接可组合:TPPO 的训练用 Slime 框架 + n=1/8 rollout,Two Clocks 的 ramp 调度作用于同样的 GRPO/PPO 管线。合读的价值在于看到同一种研究范式(量化机制 → 推导结构 → 受控验证)在两个截面上的成功复制。
三、问题定义:从具体现象到抽象结构
3.1 TPPO 的抽象:价值演化应当是参数化的内生结构
具体问题:稀疏终止奖励下 PPO critic 无法追踪 ΔV,信用分配方向错误。 核心洞察:ΔV 不是普通数值——在二值奖励、γ=1 的 RLVR 设定下,前缀价值 V(s_t)=P(R=1|s_t) 是概率,相邻状态的转移是贝叶斯更新:观察到 token a_t 后,后验成功概率的 log-odds 变化恰为对数似然比(命题 4.1):
logit V(s_{t+1}) − logit V(s_t) = log [P(a_t|s_t,R=1)/P(a_t|s_t,R=0)]
递归展开得(推论 4.2):V(s_t) = σ(Σᵢ cᵢ)——价值是逐 token 增量的 sigmoid 累加和。真值序列天然活在"累加流形"上,而标准 critic 的独立回归参数化与这个流形不对齐:每个位置自由输出,没有任何机制保证相邻输出的差分有意义。TPPO 的抽象问题即:让参数化的假设空间与价值的概率代数结构对齐。
形式化:critic 输出逐位置标量增量 Δ̂ᵢ,价值读数 V̂_t=σ(Σ_{i≤t} Δ̂ᵢ);训练目标为对终止结果的 BCE(式 10);GAE 与 PPO 裁剪目标不变。约束:无额外 rollout、无过程标注、除 critic 参数化外一切与 PPO 相同(隔离机制变量)。
3.2 Two Clocks 的抽象:把"缩放规则"分解为两个独立时钟
具体问题:多步 GRPO 下 √b 规则为何同时产生"进度变慢 + 按样本崩塌 + clip 护大批"三现象。 核心洞察:问"√b 规则保持什么不变"要区分两阶量——一阶漂移(persistent displacement)与二阶进度(curved loss 上的实际下降)。局部二次模型下(命题 1):每样本进度 r(b)=r₀−C_curv·b——大批用更少、更长的步覆盖同样的漂移,曲率损失随 b 线性增长;而漂移阈值假设(A3)给出失败定律(命题 2):N_fail=C·√b/η,代回 √b 规则后 N_fail=C/κ 与批量无关。
形式化:设优化器批量 b=B_r/μ、梯度估计 ĝ=ḡ+ξ(噪声协方差 Σ/b)、Adam 型归一化 + 噪声主导假设(A1:b 远低于噪声尺度,实验中低 60-2000 倍)+ 局部二次损失(A2)。求:N_τ(B_r)(达到目标精度的样本数)与 N_fail 的批量依赖性。关键推导:临界批 B*=μ(2σ‖ḡ‖²/(κḡᵀHḡ)−B_noise)——首项随 1/κ 下降,学习率越大临界批越小(与 McCandlish 调优图景相反)。
对偶表:
| 维度 | TPPO | Two Clocks |
|---|---|---|
| 拆解的黑盒 | critic 学什么 | 批量/步长缩放保持什么 |
| 核心结构量 | ΔV 的 log-odds 可加性 | 每样本漂移 vs 每样本进度 |
| 理论工具 | 贝叶斯更新恒等式 | 局部二次模型 + 漂移阈值假设 |
| 机制量可测性 | ΔV 符号准确率(MC 对照) | 样本成本指数 α、失败点拟合 (β,γ) |
| 落地改动 | critic 头改累加(一行代码级) | batch ramp 调度(先小后大) |
四、问题解法
4.1 TPPO:累加 critic 的构造与训练
- 参数化:critic 模型对每个位置输出标量增量(共享标量头:首个输出作初始 logit ẑ₁、后续输出作增量 Δ̂ᵢ),价值 logit ẑ_t=Σ_{i≤t}Δ̂ᵢ,价值读数 V̂_t=σ(ẑ_t)。对比标准 critic:每位置独立回归完整价值。图 2 的示意一图胜千言——同一条价值曲线,一个"逐点预测",一个"累加生成"。
- 训练信号(附录 C.2 的关键推导):对终止结果 R 的 BCE 中,增量 Δ̂ᵢ 影响其后所有重建值 ẑ_t(t≥i),其梯度 = 后缀聚合 (1/T)Σ_{t≥i}(V̂_t−R)——每个增量从其后所有重建值获得监督,无需增量级直接目标;相邻增量的梯度差 = (V̂_i−R)/T,位置依赖天然分化。累加参数化把终止监督转译为位置依赖、后缀聚合的学习信号——这就是"演化可学"的机制内核。
- 接入 PPO:V̂_t 直接进 GAE(λ=1 时 Â_t=R−V̂_t)、策略用标准裁剪 PPO 目标。无新增超参、无新增采样。
- 实现细节的严谨性:分离双头(初始 logit 与增量各一个头)不如共享头稳定(初始 logit 方差 0.30 vs 0.005)——贝叶斯恒等式不规定头部共享,但实验说服了作者;MC 评估协议(64 提示 × 5 检查点 × 9 锚点 × 128 续写 ≈ 590 万条 MC 续写)为机制验证提供金标准。
4.2 Two Clocks:双时钟推导与三预测
- 进度时钟(命题 1):噪声主导归一化下步长 Δθ≈−(η/√b/σ)(ḡ+ξ);√b 规则(η=κ√b)使每样本漂移 d=κ‖ḡ‖/σ 与批量无关,但二次曲率项 b·ḡᵀHḡ 使每样本进度 r(b)=r₀−C_curv·b 线性衰减 ⇒ N_τ(B_r)=N_τ^min(1+B_r/B*),临界批 B* 随 κ 增大而缩小。
- 失败时钟(命题 2 + 假设 A3):若崩塌发生在累积漂移达阈值 D(且该段平均梯度方向缓变),则 N_fail=C·√b/η;代回 √b 规则得 N_fail=C/κ——批量不变。替代机制可证伪:噪声驱动给 N_fail∝b/η²(γ=2)、batch-blind 给 β−γ/2=−1/2——两者都能被拟合区分。
- clip 的位置:rollout 内 log-ratio 随步数扩散,大批量(步长长 √(B_L/B_S) 倍)ratio 展宽更快、被裁剪 token 更多;clip 限制每个 rollout 新增的漂移而非撤销累积漂移,也不产生进度缺口的曲率项——所以 clip 治失败不治进度。
- 三预测:P1 进度在临界批之上变慢(含 clip 无法生效的 μ=1 场景);P2 失败按样本对齐、降 lr 线性延迟失败(漂移定律)而非二次(噪声定律);P3 clip 买稳定不买持续速度、放宽 clip 用稳定性换瞬时速度。
- 实验设计:Qwen2.5-Math-1.5B + GRPO(DAPO 目标)on DAPO-Math-17k,B_r∈{512,1536,4096,8192}(16× 范围)、μ∈{1,4,8,16}、η_S∈{1e-6,5e-6,1e-5}(√b 规则传递)、98,304 响应/运行预算、每 8,192 响应在 512 道留出题上评估;关闭 KL/熵/动态采样/梯度裁剪以隔离变量;失败判据双轨(准确率跌破历史最佳一半 / 梯度范数持续爆发);21 个无 clip 运行拟合失败定律;跨数据集(DeepScaleR)、跨检查点(Instruct)、跨规模(7B)复验。
五、评估指标与实验证据
5.1 TPPO:三层递进的证据
层一:策略性能(RQ1)——10 个数学基准(7 域内 + 3 OOD):
| 模型/设定 | TPPO 域内均值 | PPO | GRPO | 其他 |
|---|---|---|---|---|
| Qwen3-4B-Base(n=8) | 41.6(+7.0) | 34.6 | 35.4 | VAPO 32.0、SPPO 35.6 |
| Qwen3-8B-Base(n=8) | 45.9(+8.4) | 37.5 | 38.5 | VAPO 37.6、SPPO 38.0 |
| Qwen3-8B-Base(n=1) | 44.9(+7.5) | 37.4 | — | SPPO 37.3 |
| Qwen3-4B(instruct,n=1) | 64.1(+10.1) | 54.0 | — | SPPO 55.4 |
| OOD(ARC-C/AGI-Eval/BBH) | 66.9/69.7(4B/8B) | 62.8/67.6 | 65.6/65.2 | 同步领先 |
跨任务跨规模:Countdown(Qwen2.5-Math-1.5B)+4.6/+3.2;科学编码(Qwen3.5-9B)平均 +7.0,LiveCodeBench v6 +15.5(73.1 vs 57.6);Llama3.2-3B +3.6。AIME24 三档规模 18.5/25.8/60.8 对 PPO 的 13.5/15.8/44.2——最难基准增益最大。
层二:机制验证(RQ2)——这是 TPPO 区别于"调参涨分"论文的关键:
- 受控对照(固定 actor 只训 critic):TPPO+BCE 的 ΔV 符号准确率 52.71%/53.94%(τ=0/1)vs 标准 critic+BCE 50.70%/51.14%、标准+MSE 50.51%/51.19%——累加参数化独立贡献 +2.0/+2.8 点(95% CI 不含 0),排除损失函数混淆。
- 训练全程:PPO 的符号准确率随训练下降,TPPO 保持并扩大领先(后四检查点 +3.9
6.8/+4.97.4 点,bootstrap CI > 0)。 - 前缀价值本身:MAE 更低、准确率(|V̂−V^MC|≤0.05 占比)全程更高。
层三:信用分配(RQ3):GAE 优势与 MC 参考的余弦相似度、符号一致率全程领先,优势符号准确率提升 15.3–19.9 点(后四检查点,CI>0)。训练动态更稳:actor 梯度范数更小、熵衰减更慢——与"更可靠的信用→更小的策略更新→更少过早坍缩"的链条一致。
消融归因:PPO+BCE 有提升(BCE 有贡献)但 TPPO 更高;TPPO+MSE 崩溃(早期恶化、远低于其他变体)——累加参数化与 BCE 是共生关系(sigmoid 输出概率 + 交叉熵梯度的匹配,呼应 Stop Regressing 的分类教训);增益主要来自累加参数化。λ∈{0,0.95,1} 全 regime 保持优势——价值演化追踪对多种 GAE 配置普遍有用。
证明力分析:主结果可能被"更好调参"质疑,但三层结构堵住了这条路——若只是调参,为何恰好机制量(符号准确率/优势余弦)同步改善?受控 critic 对照隔离了参数化变量;MC 金标准(590 万续写)不是自证循环。最硬的因果链:参数化改变 → ΔV 可学 → 优势方向正确 → 梯度更稳 → 性能提升,每一环有独立测量。
5.2 Two Clocks:三预测逐一兑现
P1 进度时钟:
- μ=1(clip 无法生效):大批仍多耗 20–45% 样本——缺口与 clip 无关;
- μ=8 学习率 10 倍递增:样本成本指数 α 从 0.15 → 0.28 → 0.44 爬升,隐含 B* 从 ~9.3k 降到 ~1.9k 响应——临界批随学习率缩小的反直觉预测成立;
- 512→1536 几乎无损(B* 之下近不变),继续增大递减;
- 跨数据集/检查点/7B 方向全部复现(L/S 样本比 1.4-6.2)。
P2 失败时钟:
- 最直观的对照:无 clip 时 4096 批 56-80 步崩、512 批 648 步崩(步数差 10 倍),两者都在 30-50k 样本崩塌;
- 21 个无 clip 运行拟合 N_fail∝b^β·η^−γ:β−γ/2=−0.08(含删失 0.11),90% CI 含 0——排除 batch-blind 的 −1/2;γ=0.64–0.72——排除噪声驱动的 γ=2;三候选形式中只有漂移形式通过似然比检验(p≈0.3 vs 其他 p<10⁻⁴);
- 18 个崩塌运行中 14 个落在定律 1.5 倍带内;
- 7B 上两批量步数差 6 倍、样本差仅 1.3 倍;梯度范数裁剪不改变失败点(36k 在 31-46k 种子带内)。
P3 clip 语义:
- clip 使小批失败延迟 2 倍、大批延迟 4 倍(大批裁剪 token 数倍多——模型预测"作用最强处受益最大"成立);按 √b 放大的速率下大批全程不失败;
- 冻结检查点重放:大批仅 ~0.5% token 被裁剪,但其梯度占全梯度范数的 50–70%——clip 删掉的是大批更新中大而依赖漂移的部分;
- 放宽 clip:早期加速、后期衰减、2 种子之一崩塌——“用稳定性换瞬时速度”。
应用产出(batch ramp):512 批跑 24.6k 样本后切 4096/8192(重置优化器状态 + 一轮预热),曲线远超固定大批、贴住最佳固定批(1536),且 3/4 样本由大批生成——吞吐与效率兼得;切换点在 25k-74k 区间内不敏感(失败定律给出切换下限)。
证明力分析:本文的可贵之处在"预测先行"——三条预测先于实验从模型导出,且每条都有排除替代解释的对照(μ=1 排除 clip、γ 拟合排除噪声机制、梯度裁剪对照排除实现伪影、双判据排除了单一失败标准的偶然性)。诚实的局限自述:单模型族/数学域、理论是局域的、种子间失败点有固有方差。
六、效果优势的根源解释
6.1 根源机制与证据链
TPPO:参数化先验与概率结构的对齐。
- 因果链:二值奖励下前缀价值是概率且相邻转移为贝叶斯更新(命题 4.1,恒等式推导)⇒ 真值 logit 序列逐 token 可加(推论 4.2)⇒ 累加参数化把假设空间限制到可加流形 ⇒ (a) 每个增量从其后所有重建值获得梯度(后缀聚合信号,附录 C.2)——孤立位置的"噪声回归"不可能,学到的必然是序列一致的演化【已支持:受控对照 +2.0/+2.8 符号准确率】;(b) 相邻价值差分=增量输出本身,直接可解释为信用 ⇒ GAE 基线与局部变化同时更准【已支持:MAE 更低 + 优势符号 +15
20 点】⇒ 策略梯度方向更可靠 ⇒ 更新更稳(梯度范数小、熵衰减慢)⇒ 性能 +710【已支持:五设定一致】。 - 反事实:TPPO+MSE 崩溃——可加结构若配错误损失(回归而非分类),概率头(sigmoid+BCE 的梯度匹配)失效,说明结构先验与损失形态必须配套;分离双头不稳定——初始 logit 与增量的职责分配需要参数共享来约束。
Two Clocks:一阶不变量 ≠ 二阶不变量。
- 因果链:√b 规则使漂移/样本(d=κ‖ḡ‖/σ)与噪声/样本(κ²Σ/σ²)都批量不变【推导,附录 A.1/A.2】⇒ 但局部二次损失上更少更长的步损失更多进度(r=r₀−C_curv·b)⇒ 临界批之上样本效率退化【已支持:α 随 lr 爬升、μ=1 仍在、B* 随 κ 缩小】;崩塌由累积漂移触达阈值(A3 假设)⇒ N_fail=C/κ 样本不变【已支持:β−γ/2≈0、γ≈0.7 排除噪声律、14/18 落带】;clip 作用于 rollout 内新增漂移(ratio 展宽 ∝ 步长)⇒ 治失败不治进度【已支持:大批延迟 4 倍 vs 2 倍、0.5% token 占 50-70% 梯度、放宽换速度】。
- 反事实:若崩塌是噪声驱动,γ 应为 2(实测 0.64-0.72);若 batch-blind,β−γ/2 应为 −1/2(实测含 0);若进度缺口是 clip 造成,μ=1 应无缺口(实测 20-45%)——三路替代解释全部被实验堵死。
交叉验证(外部检索对照):
| 研究 | 关系 | 对根源解释的影响 |
|---|---|---|
| Schulman et al., GAE (2015) / PPO (2017) | 被改进对象;λ=1 时 Â=R−V 的恒等式是两文的共同出发点 | 基础:TPPO 与 Two Clocks 分别改进其 critic 与批量/步长维度 |
| Farebrother et al., Stop Regressing (2024) | 分类式价值学习优于回归 | 支持:TPPO 的 BCE 选择与之一致;TPPO+MSE 崩溃是其反例的强化版——结构先验下损失错配更致命 |
| Kazemnejad et al., VinePPO (2024) | MC 估计中间价值更准但更贵 | 互补定位:VinePPO 用采样换精度、TPPO 用结构换精度;TPPO 的 MC 协议借用其锚点思想作金标准 |
| Zhou et al., HL-Gauss PPO (2026) | 分类 critic(直方图损失) | 方法相似:都认同"回归不是价值学习的正确形态";差异在 TPPO 加了可加性结构先验——两者正交可叠加 |
| Yuan et al., PPO collapse in long-CoT (2025) | 价值优化失稳是长 CoT PPO 崩塌主因 | 支持:TPPO 缓解价值学习失效从而更稳(熵衰减更慢)与之呼应 |
| McCandlish et al., Empirical Model of Large-Batch Training (2018) | 临界批量=噪声尺度(逐批调 lr) | 被修正:√b 规则下 B* 带随 κ 下降的项、可远低于噪声尺度——Two Clocks 的核心理论区分,实验(B* 9.3k→1.9k vs 噪声尺度更高)支持 |
| Li et al. 2026(批量不变性) / Hilton et al. 2022 | 单步 regime 的 √b 不变性成立 | 被界定边界:多步下破缺;Two Clocks 解释了"为何单步成立(无 clip 干扰+曲率项未主导)而多步不成立" |
| Song et al. 2026(异步崩塌 ∝1/η) | 固定批量崩塌定律 | 支持并推广:Two Clocks 加入批量维度,漂移定律是同一机制在 (√b, 变批量) 下的推广;方向性漂移归因一致 |
| Khatri et al. 2026(RL 算力扩展艺术)(ICLR 2026) | 大批更慢但终值更高、clip 阈值改变 scaling | 被统一解释:双时钟+clip 语义恰好重现其两个观察——进度时钟慢、失败时钟+clip 护大批活得久 |
| 本次检索范围内未发现 | 对 TPPO 累加参数化在大规模(>9B)有效性的验证;Two Clocks 跨模型族/非数学域的外推 | 开放问题:两文均自认规模/域覆盖有限 |
6.2 综合判断与未决问题
- 多研究共同支持的机制:(1) 价值学习的正确形态是"结构化分类"——贝叶斯可加先验(TPPO)与分类损失(Stop Regressing/HL-Gauss 谱系)从两个方向收敛;(2) RLVR 批量缩放的一阶不变量(漂移)与二阶量(进度)必须区分——临界批随学习率缩小、失败按样本对齐获多项受控证据;(3) clip 的主要价值是稳定性而非速度——0.5% token 占 50-70% 梯度的测量是对"clip 是瓶颈"叙事的最有力反证。
- 仍属推测的部分:TPPO 的贝叶斯恒等式刻画真值结构,但学到的增量并不保证恢复真实对数似然比(作者明确声明)——它恢复的是"方向正确的演化";Two Clocks 的漂移阈值(A3)是假设非定理,虽然拟合强烈支持,但"方向缓变段"的条件在真实训练中的适用范围未完全刻画。
- 适用条件与失效条件:TPPO 假设二值奖励 + γ=1——密集/非二值奖励需扩展(作者自认);≤9B 规模未验。Two Clocks 限单模型族/数学域;样本效率按响应数计,token/墙钟效率还依赖生成长度与系统实现;种子间失败点方差意味着 ramp 调度的切换窗口要留余量(其 App. G 显示 25k-74k 均可——窗口宽容)。
七、必要知识反推
7.1 领域知识层
- 策略梯度与信用分配:J(θ) 的 token 级分解(式 2)、优势函数决定每个 token 梯度的方向与权重、A(s_t,a_t)=ΔV_t 的恒等式(γ=1 时)——不理解这个就不理解 TPPO 在修什么。
- RLVR 的任务形态:稀疏 0/1 终止奖励、组内归一化(GRPO)、DAPO 目标(非对称裁剪 0.2/0.28 + 双重裁剪)、温度/最大长度等 rollout 约定。
- LLM 推理训练生态:Polaris/DAPO-Math-17k 数据集、Slime/VERL/Megatron 框架、AIME/MATH-500 等基准的口径(Avg@32 vs Avg@4)。
7.2 方法论知识层
- 贝叶斯更新与 odds 代数:后验概率比的乘法结构、log-odds 的可加性——命题 4.1 的推导只需要本科概率,但要在价值函数语境里"看见"它需要对 RL 状态-奖励语义的熟稔。
- 随机优化的缩放理论:梯度噪声协方差 Σ/b、Adam 归一化下步长的噪声主导近似、局部二次展开、临界批量推导(McCandlish 图景)——Two Clocks 理论部的全部工具箱。
- 受控实验设计:固定 actor 隔离 critic 变量(TPPO)、μ=1 隔离 clip(Two Clocks)、多候选机制的可证伪拟合(三种失败定律的 β/γ 区分)、bootstrap 置信区间、删失数据处理。
- MC 评估协议:锚点等分响应、每锚 128 续写、SNR 过滤(τ=0/1)、符号一致率——把"critic 是否追踪演化"变成可测量的操作化定义。
7.3 工程知识层
- PPO/GRPO 训练配方:学习率/critic 学习率、批与 mini-batch划分、warm-up、梯度裁剪、KL/熵系数取舍。
- 批量与吞吐工程:rollout 生成为何主导成本、μ 步切分摊销生成、ramp 切换时重置优化器状态 + 重新预热的实操细节。
- 诊断仪表:梯度范数/熵/验证准确率的跟踪曲线、失败判据的实现(准确率腰斩 + 梯度范数持续爆发双轨)。
7.4 知识融合的关键节点
- “概率语义改变参数化”(TPPO):意识到 V 是概率而非任意标量,贝叶斯恒等式就自动给出了正确的网络输出空间——领域语义(RL 的概率结构)与机器学习(参数化设计)的化学反应。
- “区分保什么不变”(Two Clocks):缩放规则的直觉陷阱在于默认"不变性"是单一概念——把它拆成一阶/二阶两个量,三个谜团立刻解耦。这是理论品味的胜利:不是更复杂的数学,而是更准确的分解。
- “机制量的操作化”(两文共有):ΔV 符号准确率、样本成本指数 α、失败点 (β,γ)——每个抽象主张都配了一个可独立测量的数。没有这些量,两篇都会退化成"我们改了 X,分数涨了"。
- “假设的诚实分级”(Two Clocks):命题(定理推导)与 A3(假设待验)的明确区分、以及用拟合检验假设的流程——科学写作的范本。
八、论文中可以提取的通用性灵感
灵感一:让模型的结构与目标量的代数结构对齐。
- 核心思想:被预测的量若自带代数结构(概率、可加性、守恒律),就把该结构写进参数化(累加头、sigmoid 读出),而不是靠数据逼近——结构保证是免费的先验。
- 论文证据:log-odds 可加 ⇒ 累加 critic 的 ΔV 符号准确率 +2~2.8(受控)且训练不退化 vs 标准 critic 越训越差;Jeva(本期另一篇)的置换等变构造保证是同一家族的灵感。
- 推广场景:①时间序列预测—— Cumulative 模型预测"变化量"而非水平值;②物理建模——守恒律作为输出层约束;②金融风控——评分卡的 log-odds 可加性(FICO 分的传统智慧);④推荐系统——概率排序下用 logit 累积建模序列行为;⑤任意的"序列上累积效应"任务(用户会话价值、疾病进程分期)。
灵感二:为黑盒旋钮找到"该被测量的量"。
- 核心思想:系统调不好时,先别调参——定义一个能直接反映病灶的机制量(如 ΔV 符号准确率、每样本进度),测量它、追踪它,修复方向自明。
- 论文证据:TPPO 先发现"符号准确率≈随机且随训练下降"才有了靶子;Two Clocks 用 α 和 (β,γ) 把三现象统一成两个可测时钟。
- 推广场景:①推荐系统——CTR 模型调试先测"特征归因稳定性"而非盲调超参;②训练大模型——用 loss landscape 曲率代理量诊断批量选择;③运维——定义"变更成功率"代替笼统的稳定性指标;④教育——诊断学生先测"知识断层点"而非总分;⑤任何 A/B 实验——先定义机制指标再看结果指标。
灵感三:区分一阶不变量与二阶效应再谈"等价"。
- 核心思想:宣称两个配置"等价"时,先问等价的是哪一阶的量——一阶(漂移/均值)相同不代表二阶(进度/曲率损失/风险)相同;缩放规则的坑都埋在二阶。
- 论文证据:√b 规则保漂移不保进度(大批多耗 20-45% 样本);clip 保稳定不保速度。
- 推广场景:①迁移学习——特征分布一阶匹配(均值)不保证二阶匹配(协方差/结构);②药物等效性——平均暴露量等效不保证动力学等效;③组织管理——流程吞吐量等效不保证质量债务等效;④数值算法——相同收敛阶不保证常数因子;⑤投资——同收益率的组合不等于同风险(矩匹配的阶数问题)。
灵感四:机制假设要配上可证伪的定量形式。
- 核心思想:把定性假设(“崩塌源于漂移”)转写成带指数的幂律(N_fail∝b^β η^−γ),多个候选机制给出不同指数——一次拟合同时检验和排除。
- 论文证据:漂移(½,1)/噪声(1,2)/batch-blind(0,1) 三形式的 β−γ/2 与 γ 双重区分,21 run 拟合只有漂移形式存活(p≈0.3 vs p<10⁻⁴)。
- 推广场景:①软件失效归因——幂律拟合区分故障传播机制;②生态学——物种面积关系的 z 指数区分栖息地模型;③经济学——通胀-失业动态的指数区分粘性来源;④AIOps——告警聚类的标度指数区分根因类型;⑤任何"Allometric"分析场景。
灵感五:安全机制的语义可能与你以为的相反。
- 核心思想:一个广泛被认为"限制性能"的机制(clip/保守策略)可能实际是"购买稳定性"的保险——去掉它换来的速度是瞬时的、付出的稳定是长期的;先测量它删掉了什么再下结论。
- 论文证据:0.5% 被裁剪 token 占 50-70% 梯度范数——clip 删掉大批最激进的那部分更新;放宽 clip 早期加速、后期崩塌。
- 推广场景:①自动驾驶的保守规划——牺牲通行效率买安全边际;②风控规则——拒绝边缘交易买组合稳定;③代码评审——“拖慢交付"的评审流程删除的是高危变更;④熔断器/限流——瞬时吞吐换系统存活;⑤免疫系统的过敏反应——过度防御的长期代价权衡。
灵感六:调度问题先问"哪个资源在计时”。
- 核心思想:多目标过程(速度 vs 寿命/吞吐 vs 稳定)中,识别出各自独立的"时钟"(按什么计量耗尽),就能推导出分段调度——用 A 时钟的便宜段换 B 时钟的昂贵段。
- 论文证据:进度按样本计费(小批便宜)、失败按样本到期(大批+clip 更耐久)⇒ ramp 512→4096 贴住最优固定批且 3/4 样本走大批吞吐。
- 推广场景:①学习率/批量 warmup 调度(同族思想);②设备维护——磨合期轻载、稳定期满载、按磨损时钟安排大修;③员工职业发展——早期密集学习(小步快跑)、后期承接大项目(大批吞吐);④餐饮——开业期小批量试菜单、口碑期放大产能;⑤云计算——冷启动小实例探流量、稳定后升配 + 保险机制。
附:双篇对照总览
| TPPO | Two Clocks | |
|---|---|---|
| 一句话 | log-odds 贝叶斯可加性 → 累加 critic 参数化 | 漂移/进度分解 → 进度、失败双时钟 |
| 核心数字 | 数学 +7.0/+8.4(4B/8B)、LCB +15.5、优势符号 +15 | α 0.15→0.44、B* 9.3k→1.9k 随 lr 缩小、失败样本不变(14/18 落 1.5×带)、ramp 贴最优固定批 |
| 改动成本 | critic 头改累加 + BCE,其余不动 | batch ramp 调度(切换窗口 25k-74k 宽容) |
| 机制验证 | MC 金标准(590 万续写)三层层内验证 | 三预测 + 三替代解释排除 + 跨数据/检查点/规模 |
| 留下的缺口 | >9B 未验;非二值奖励待扩展 | 单模型族/数学域;A3 是假设非定理;种子方差 |
| 共同气质 | 把黑盒拆成机制量:先测量、再推导、后落地 | 同左 |
附二:组合视角——一次"机制化 RLVR 训练配方"的思想实验
两篇论文的落点恰好落在同一条 RLVR 训练管线的两个相邻环节,组合它们可以得到一个完整的"机制驱动"配方设想:
- 信号层(TPPO):critic 换累加参数化 + BCE——信用分配的方向性由结构保证,ΔV 符号可测可监控(训练曲线上挂一个符号准确率仪表,用小规模 MC 抽样在线估计即可)。
- 节奏层(Two Clocks):批量按 ramp 调度——临界批 B* 之下用最大高效批(1,536 响应量级)跑进度段,接近预测失败点前切入大批 + 保证 clip 开启跑稳定段;优化器状态重置与一轮预热是切换的全部成本。
- 监控层(两者合流):训练健康度不再只看验证准确率曲线,而是三个机制量——ΔV 符号准确率(信号质量)、样本成本指数 α 的在线估计(进度时钟是否超速)、梯度范数/KL 的漂移仪表(失败时钟剩余读数)。
值得注意的对接细节:TPPO 主实验用 μ=8 的多步切分(正是 Two Clocks 的研究 regime),其"梯度范数更小、熵衰减更慢"的训练动态意味着累积漂移更温和——按漂移阈值假设,TPPO 可能天然延长失败时钟;反过来,Two Clocks 的 ramp 段大批量 + 更长步会放大曲率损失,此时更可靠的价值基线(TPPO)对 GAE 误差的抑制作用可能更重要。这两个交互效应都是可检验的预测:固定批量扫 lr 下比较 TPPO vs PPO 的失败点是否按漂移定律整体右移;ramp 配方下比较两种 critic 的样本成本指数。本文检索范围内未见同期工作完成这一组合——这是读完两篇之后最想跑的下一组实验。
附三:读者速查——两文的关键公式卡片
| 公式 | 出处 | 含义 | 一句话直觉 |
|---|---|---|---|
| logit V(s_{t+1})−logit V(s_t) = log [P(a_t|s_t,R=1)/P(a_t|s_t,R=0)] | TPPO 命题 4.1 | 相邻前缀价值的贝叶斯更新恒等式 | 每个 token 是一次证据更新,log-odds 是它的账本 |
| V(s_t)=σ(Σᵢ cᵢ) | TPPO 推论 4.2 | 价值的增量分解 | 价值 = 初始判断 + 逐 token 增量的 sigmoid 累加 |
| ∂L_V/∂Δ̂ᵢ = (1/T)Σ_{t≥i}(V̂_t−R) | TPPO 附录 C.2 | 增量的后缀聚合梯度 | 每个增量被其后所有重建值联合监督 |
| r(b)=r₀−C_curv·b | Two Clocks 命题 1 | 每样本进度的线性衰减 | 步子越长,弯路上浪费的越多 |
| B*=μ(2σ‖ḡ‖²/(κḡᵀHḡ)−B_noise) | Two Clocks 式 6 | 学习率依赖的临界批量 | 学习率越激进,“小批红利"消失得越早 |
| N_fail=C·√b/η(√b 规则下 =C/κ) | Two Clocks 命题 2 | 失败定律 | 崩塌按漂移里程计费,与你怎么分批无关 |
(完)