信任域在线策略蒸馏 Trust Region On-Policy Distillation
用信任域分割策略梯度可靠区,稳定蒸馏推理小模型。
前置知识
在线策略蒸馏 (On-Policy Distillation, OPD)
训练学生模型时直接在学生自身生成的轨迹上计算蒸馏损失,而非用教师预生成的轨迹。通过反向KL散度衡量师生分布差距,从而缓解离线蒸馏的暴露偏差问题。
本文的核心研究对象,理解OPD为何训练不稳定是读懂全文所有动机与方法的基础。
K1 估计器
Thinking Machine Lab提出的无偏KL估计器,仅需 $O(n)$ 显存即可估计长序列反向KL。其梯度形如 $\nabla J=\frac{1}{\pi_S(x)}\log\frac{\pi_T(x)}{\pi_S(x)}$,在师生分布失配时会趋向负无穷而爆炸。
TrOPD要解决的核心病灶就是K1估计器在分布失配时产生极端梯度,必须先理解它才能理解信任域的意义。
推测解码 (Speculative Decoding)
一种推理加速方法:小模型(草稿模型)先生成候选token,大模型(验证模型)并行验证,并按接受概率 $\min(\pi_T/\pi_S,1)$ 接受token。TrOPD的信任域判定直接借鉴此接受概率。
信任域概率公式 $P_{trust}=\min(\pi_T/\pi_S,1)$ 直接来自推测解码的接受机制,是本文最关键的灵感来源。
前向KL与反向KL散度
前向KL $\mathrm{KL}(\pi_T\|\pi_S)$ 覆盖教师所有模式(mode-covering),反向KL $\mathrm{KL}(\pi_S\|\pi_T)$ 寻求教师高概率区(mode-seeking)。TrOPD在信任域用反向KL、离群区用前向KL。
TrOPD巧妙结合两种KL,必须理解二者的方向差异与互补性,才能看懂分区治理的设计逻辑。
策略梯度离群值
当教师对学生采样token赋予极低概率时,K1梯度 $\frac{1}{\pi_S}\log(\pi_T/\pi_S)$ 趋向负无穷,产生破坏优化稳定性的极端梯度,是OPD训练崩溃的根本原因。
这是OPD训练不稳定的直接成因,TrOPD通过信任域加离群估计来精准抑制它,是方法的核心靶点。
研究动机
在线策略蒸馏(OPD)在师生分布差异较大时训练极不稳定。具体地,推理导向的OPD用K1估计器估计反向KL以节省显存,但当学生采样的轨迹落在教师低概率区时,K1梯度 $\nabla J=\frac{1}{\pi_S(x)}\log\frac{\pi_T(x)}{\pi_S(x)}$ 会趋向负无穷,产生极端的策略梯度离群值,破坏优化稳定性甚至导致训练崩溃。此外学生模型能力有限,生成的轨迹(SoG)质量偏低,限制了有效优化空间。实验上(表1),朴素OPD在AIME24/25、AMC23上平均仅46.79;REOPOLD用奖励裁剪仅提升到47.86,增益有限,且裁剪阈值作为新超参会显著影响学习动态与收敛速度。
本文的目标是本文要提出一个可靠且稳定的推理导向在线策略蒸馏框架,核心目标是让蒸馏训练只在教师能可靠监督的区域进行,从根源上消除K1估计器在师生分布失配时产生的极端梯度离群值。具体地,要对不可靠的离群区域既抑制有害梯度、又尽量回收其中残留的有用监督信号,并通过离线引导(教师前缀加学生续写)弥补学生模型生成质量不足、把学生探索导向教师支持的高质量轨迹。最终目标是在数学推理、代码生成、STEM、指令遵循等多域基准上,稳定且显著地超越现有OPD方法(包括OPD、EOPD与REOPOLD),并验证方法在不同师生模型配置(DeepSeek-1.5B、Qwen3-1.7B)下的通用性。
与已有工作不同的是,现有方法的本质缺陷是把所有学生token同等对待:要么全部用反向KL(受离群梯度干扰),要么用熵过滤丢token、用奖励裁剪粗略缓解,但这些都没有显式刻画监督可靠性。本文的独特切入角度是把每个token按教师是否可验证二分为信任域与离群区,分别用反向KL和前向KL对待——这一思路直接来自推测解码的接受概率 $P_{trust}=\min(\pi_T/\pi_S,1)$,是首次将推测解码的接受机制用于蒸馏梯度可靠性判定,从而把无阈值的自适应分区引入OPD优化。
核心方法
TrOPD的整体思路是分区治理。直觉上教师并非对所有学生token都能可靠监督:当学生token落在教师高概率区时反向KL梯度可靠,落在教师低概率区(离群)时梯度会爆炸。因此TrOPD先用解码一致性比例把学生token分为信任域与离群区:信任域用K1反向KL正常优化;离群区不直接用反向KL,而是改用top-k前向KL从教师视角补充监督,避免爆炸梯度又回收有用信号。最后用离线引导(教师前缀加学生续写)弥补学生生成质量不足,并通过余弦退火把离线前缀长度逐步降到零,使训练末期过渡到完全在线。三项目标统一为一个总损失。
核心创新是把教师对学生token的监督可靠性显式建模并分区优化。与REOPOLD用固定阈值裁剪奖励、与熵过滤丢弃token的本质区别有三点:其一,信任域判定是自适应的,依据 $P_{trust}(x)=\min(\pi_T(x)/\pi_S(x),1)$ 而非人工阈值,灵感直接来自推测解码的接受概率;其二,离群区不是简单丢弃而是用top-k前向KL $\sum_{v\in V_k^T}\pi_{T,v}\log(\pi_{T,v}/\pi_{S,v})$ 回收有用监督,且当学生完全不支持该token时该目标自动趋零($\sum\pi_S(v)\to0\Rightarrow\mathrm{KL}\to0$),天然不干扰信任区优化。这种自适应分区加选择性回收是区别于已有方法的本质所在。
方法步骤详情
步骤如下:(1)学生模型采样轨迹 $x\sim\pi_S$,对每个token计算师生概率比 $\pi_T(x)/\pi_S(x)$,按伯努利分布 $P_{trust}=\min(\pi_T/\pi_S,1)$ 判定其属于信任域 $M_x$ 还是离群区 $\bar{M}_x$;(2)信任区token用K1反向KL目标 $-M_x\log(\pi_S/\pi_T)$ 优化;(3)离群区token用top-k($k=64$)前向KL目标 $-\bar{M}_x\sum_{v\in V_k^T}\pi_{T,v}\log(\pi_{T,v}/\pi_{S,v})$ 优化;(4)另采样教师前缀加学生续写的混合轨迹,用前向KL($\beta=0.001$)做离线模仿学习;(5)三项相加得到统一总目标 $J^{TrOPD}$,训练时离线前缀长度按余弦退火从最大序列长度逐步降到零,使最终完全在线。
技术新颖性
技术新颖性体现在三方面融合:一是首次将推测解码的接受概率机制迁移到蒸馏梯度的可靠性判定,给出无需人工阈值的自适应信任域;二是离群区用top-k前向KL回收监督而非丢弃,且该目标在学生不支持时自动熄灭($\sum\pi_S(v)\to0\Rightarrow\mathrm{KL}\to0$),数学上天然不干扰信任区;三是把统一目标 $J^{TrOPD}$ 中的信任域反向KL、离群前向KL、离线引导三项纳入一个框架,并明确各部分显存复杂度(信任区 $O(n)$、离群区 $O(nk)$、离线 $O(n)$)。这种把可靠性判定、监督回收、探索引导三者协同的设计在此前OPD工作中未见。
实验结果
核心发现是TrOPD在所有设置下稳定超越OPD、EOPD、REOPOLD。表1数学域:TrOPD平均49.85,高于OPD的46.79(+3.06)和REOPOLD的47.86(+1.99)。图1显示在AIME25、LiveCodeBench、IFBench、GPQA上分别比OPD提升+3.34、+4.00、+5.11、+6.18点。表3中DeepSeek-Qwen2.5-1.5B单域蒸馏TrOPD平均40.63 vs OPD 37.11,多域蒸馏37.61 vs 32.99(+4.62)。表4中Qwen3-SFT-1.7B多域TrOPD 51.73 vs OPD 48.29(+3.44)。消融(表5)证明离群区用FKL(49.85)优于Mask(47.72)和Clip(47.86),加入离线引导后TrOPD Mask/Clip/FKL分别比OPD高+2.00/+1.94/+3.06。表6显示TrOPD与并发AOPD正交,组合达41.67。图3证实TrOPD保持更高策略熵、更低梯度范数,优化更稳定。值得注意的是独立FKL在受限词表下完全失败(平均仅1.40),说明前向KL不能单独用。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| 数学推理(AIME24/25/AMC23, Skywork-OR1-Math-7B教师) | 平均准确率 | 49.85 (TrOPD) | 46.79 (OPD) | +3.06 |
| 单域蒸馏综合(DeepSeek-1.5B学生) | 六基准平均准确率 | 40.63 (TrOPD) | 37.11 (OPD) | +3.52 |
| 多域蒸馏综合(Qwen3-SFT-1.7B学生) | 七基准平均准确率 | 51.73 (TrOPD) | 48.29 (OPD) | +3.44 |
| 指令遵循(IFBench)与STEM(GPQA diamond) | 准确率 | 42.18 / 35.98 | 37.07 / 29.80 (OPD) | +5.11 / +6.18 |
局限与改进
作者明确承认:本研究仅聚焦OPD后训练阶段,学生模型只用DeepSeek-Qwen2.5-1.5B和Qwen3-SFT-1.7B,缺少预训练与中训练阶段,限制了最终推理性能上限,也未做实际部署研究。我额外观察到:训练仅200步且使用固定学习率 $5\times10^{-6}$,长期收敛行为与最终性能上限未充分验证;信任域判定依赖每token的师生联合概率,需同时运行师生两个模型前向,但训练吞吐与显存开销的量化对比缺失;$\beta=0.001$等超参与信任区判定阈值 $\min$ 形式的鲁棒性、敏感性分析不够充分。
独立分析的弱点
弱点一:信任域判定需对每个token计算师生联合概率,必须同时跑师生两模型前向,推理与显存开销大,但论文未给出训练吞吐、FLOPs或显存对比,实际部署成本不明——改进方向是缓存教师logits或直接复用推测解码框架的验证前向。弱点二:离群区top-k前向KL需 $O(nk)$ 显存($k=64$),对超长推理序列仍是瓶颈——可探索更稀疏的token采样或离线预算分配策略。弱点三:信任区判定基于单token概率比,忽略了多token轨迹层面的可靠性——可引入序列级信任度量。弱点四:仅200步短训练,未展示长程稳定性与最终收敛上限,易让人质疑增益是否可持续。
未来方向
作者提出的方向:把TrOPD与预训练、中训练结合,研究多阶段协同提升SRM的实用部署性能;探索TrOPD与AOPD等正交优化策略的组合(表6已显示组合可从40.63提升到41.67)。基于本文成果可进一步延伸:信任域思想可迁移到GRPO等RL后训练中梯度可靠性问题;自适应阈值 $\min(\pi_T/\pi_S,1)$ 可推广到教师集成或自我蒸馏场景;离线引导的余弦退火调度可与其他课程学习策略结合;可在Agent任务、多模态推理蒸馏中验证TrOPD的可迁移性与通用性。
复现评估
复现性中等偏好。论文明确给出关键超参:训练200步、学习率 $5\times10^{-6}$、$k=64$、$\beta=0.001$、prompt batch 128、每prompt采样4个rollout、最大生成长度8096 tokens;教师模型(Skywork-OR1-Math-7B、Skywork-OR1-7B、Qwen3-Nemotron-4B)与学生模型(DeepSeek-Distill-Qwen-1.5B、Qwen3-SFT-1.7B)及训练数据(OpenThoughts3)均公开;评测基准(AIME/AMC/GPQA/MMLU-Redux/IFBench/LiveCodeBench)标准且每结果取32次平均。不足在于:代码与权重未随论文发布(仅提到GitHub主页),信任域采样的工程实现、师生联合前向的显存优化细节缺失,需自行实现;计算上训练1.7B学生加4-7B教师需多卡GPU,门槛较高。
论文图表
对比TrOPD与并发工作AOPD:OPD 37.11,AOPD 39.79,TrOPD 40.63,TrOPD+AOPD组合41.67。说明两者各自优于OPD,且组合后进一步提升,证明AOPD与TrOPD正交。
这张表把TrOPD置于更广的方法生态中,揭示其与正交策略组合的潜力,为未来工作指明了互补融合的方向。