← 返回 2026-05-21

基于变分策略蒸馏的语言反馈学习 Learning from Language Feedback via Variational Policy Distillation

Yang Li, Erik Nijkamp, Semih Yavuz, Shafiq Joty 📅 2026-05-18 👍 12 2026-07-13 08:36
代码生成 变分推断 大语言模型 强化学习 科学推理 自蒸馏

提出变分策略蒸馏(VPD)框架,通过EM算法让教师与学生协同进化,解决RLVR稀疏奖励问题

前置知识

RLVR (Reinforcement Learning from Verifiable Rewards)

RLVR是一种让语言模型通过可验证环境(如代码解释器、定理证明器)获取奖励的强化学习方法。不同于依赖人类偏好的RLHF,RLVR使用确定性规则评估输出是否正确。例如在代码生成任务中,模型生成的代码会被执行,通过单元测试返回0或1的二值奖励。这种奖励通常是稀疏的,只在完整轨迹结束时给出,导致严重的信用分配问题,因为模型很难知道长推理过程中哪一步出错。

本文的核心改进对象是RLVR,理解其稀疏奖励问题是理解VPD动机的关键。VPD的目标正是将稀疏的序列级奖励转化为密集的token级指导。

Self-Distillation (自蒸馏)

自蒸馏是一种模型通过条件化自身生成的自我教师来学习的技术。在本文中,自蒸馏指的是让同一个语言模型在两种不同的模式下运行:作为教师时,模型接收额外的诊断反馈(如编译器错误消息)作为条件输入;作为学生时,模型只接收原始输入。学生通过最小化token级别的KL散度,学习将教师反馈条件下的更优预测分布内化到无条件预测中。这种方法避免了传统离线方法中学生与教师之间的分布不匹配问题。

VPD建立在自蒸馏基础上,但解决了一个关键缺陷:现有方法将教师视为固定不变的函数。理解自蒸馏机制是理解VPD的E-step和M-step设计的前提。

Variational EM Algorithm (变分期望最大化)

EM算法是一种处理隐变量的经典方法,由E-step(期望步)和M-step(最大化步)交替组成。变分EM是在观测后验难以计算时,引入变分近似后验来逼近真实后验的形式。在本文中,隐变量是无法显式计算的最优策略$\pi^*$,变分近似后验就是反馈条件化的教师网络$q_\phi$。E-step优化教师近似真实后验的能力,M-step将学到的后验知识传递给学生。这种数学框架确保了两个模块协同进化。

VPD的核心理论贡献就是将语言反馈学习形式化为变分EM问题,这是理解E-step和M-step交替更新机制的理论基础。

Unpaired Preference Optimization (非配对偏好优化)

传统的偏好优化(如DPO)需要配对的偏好数据,即相同输入下模型生成的两个输出$(y^+, y^-)$。但在VPD的E-step中,每个轨迹都有自己独特的反馈C,无法构建有效的配对。非配对偏好优化(如BCO)通过利用sigmoid函数的数学性质$\log \sigma(a-b) \ge \log \sigma(a) + \log \sigma(-b)$,将配对目标分解为独立的正负样本目标。这使得模型可以从不配对的数据中学习偏好关系,只需引入一个动态估计的奖励偏移参数$\delta$来最小化近似误差。

这是VPD E-step实现的关键技术,解决了诊断反馈场景下无法构建标准偏好对的难题。理解这一点才能明白VPD如何在学生rollouts上高效训练教师。

Dynamic Trust Region (动态信任区域)

信任区域是约束策略更新幅度的技术,防止策略剧烈变化导致训练不稳定。在VPD中,动态信任区域体现在E-step优化时,将参考先验从固定的$\pi_{ref}$动态更新为当前学生策略$\pi_\theta$。这种滑动窗口设计确保教师的目标分布始终保持在学生的局部可达范围内,防止教师进化到学生无法模仿的区域。数学上,这体现在隐式奖励$r_\phi(x,y,C) = \beta \log \frac{q_\phi(y|x,C)}{\pi_\theta(y|x)} + \beta \log Z(x)$的动态锚定上。

这是VPD训练稳定性的关键设计,解决了传统方法中教师与学生分布解耦导致的梯度爆炸和模式崩溃问题。

研究动机

现有强化学习从可验证奖励(RLVR)面临严重的稀疏奖励问题。在复杂推理任务中,如数学证明或编程挑战,环境只在完整轨迹结束时给出一个0或1的二值奖励。这造成了极端的信用分配瓶颈:复杂数学推导中的一个小算术错误,与完全荒谬的幻觉得到相同的零奖励。标准RLVR方法如GRPO依赖on-policy采样,当模型初始成功率接近零时,无论采样多少次rollout都无法获得正学习信号,浪费了接近成功轨迹中嵌入的有价值潜信息。例如在编程任务中,模型可能因一个标点符号错误导致整个程序失败,但无法从稀疏奖励中定位具体错误位置。这导致on-policy算法在困难问题上面临极端探索瓶颈,样本效率极低。

本文的目标是本文的目标是开发一个框架,让模型能够从丰富的语言反馈中学习,将其转化为密集的token级指导。语言反馈包括编译器错误追踪、自动批评或用户更正等文本诊断,能精确指出尝试失败的原因以及如何修复。例如,在代码生成中,编译器不仅报告失败,还可能提供NameError: name x is not defined at line 15这样的具体错误信息;在数学推理中,更强的LLM可以评论第3步的代数操作不正确,应该...而实际上....本文希望将这些文本反馈转化为密集的、定位的监督信号,让每个token都能获得具体的改进方向,而不是整个序列共享一个二值奖励。

与已有工作不同的是,本文的独特切入角度是,现有on-policy自蒸馏方法(如SDPO)将反馈条件化的自我教师视为固定的、被动的函数,教师的质量完全依赖于模型零解释和利用语言反馈的能力。这种被动教师存在关键缺陷:首先,如果批评是噪声的,或者模型尚不能将自然语言提示映射到结构性token调整,教师的指导可能适得其反;其次,随着学生内化基本修正,附加反馈的零样本优势会 diminishing,但被动教师从未被显式训练成为更敏锐的批评家,其区分日益微妙的推理错误的能力会达到平台期,最终让学生缺乏有意义的梯度。VPD的突破在于将学习从语言反馈框架化为变分EM问题,让教师与学生协同进化——教师主动学习如何更好地解释反馈,学生则内化改进后的指导。

核心方法

VPD的直觉是将反馈条件化的模型看作一个需要被优化的近似后验,而不是一个固定的提示。这就像有一个能够读取评论的老师,这个老师应该随着时间变得更擅长理解评论。技术路线上,VPD将这个过程形式化为变分期望最大化(EM)算法:E-step优化教师参数$\phi$,最小化其与奖励倾斜的最优策略$\pi^*$的散度,通过离线偏好学习让教师主动学习将文本诊断转化为高奖励token分布;M-step更新学生参数$\theta$,最小化其与精炼后教师的token级KL散度,让学生将教师的密集诊断指导内化到自己rollouts中。关键设计是共享权重网络($\theta = \phi$),教师和学生是同一个网络在不同条件下的实例,教师通过附加反馈C来调用,学生则仅用原始输入x。这种统一架构在实现复杂协同进化的同时,完全消除了双模型范式的内存开销。

VPD的核心创新是将学习从语言反馈框架化为变分EM过程,引入显式的反馈感知教师更新(这在现有自蒸馏方法中是缺失的),并通过动态信任区域将教师锚定到当前学生。与传统SDPO的关键区别在于:SDPO将教师$\pi_\theta(\cdot|x,C)$视为stop-gradient的固定oracle,从未被显式优化;而VPD在E-step中主动通过非配对偏好优化(BCO)训练教师。数学上,这体现为E-step目标$J_{E-Step}(\phi) = E_{y \sim q_\phi}[r(x,y)] - \beta D_{KL}(q_\phi \|\pi_\theta)$,教师被优化在给定丰富文本批评下区分成功和失败轨迹的能力。另一个关键区别是动态参考先验:VPD在E-step中将$\pi_{ref}$动态更新为$\pi_\theta$,形成自适应信任区域,确保教师的目标分布保持在学生局部可达范围内。这解决了传统方法中教师与学生分布解耦导致的梯度爆炸问题。

方法步骤详情

VPD的训练过程分为四个阶段交替进行:(1) 学生rollout收集:从当前学生策略$\pi_\theta$采样多个响应$y \sim \pi_\theta(\cdot|x)$;(2) 文本批评生成:通过环境(如编译器)或LLM法官为每个rollout生成诊断反馈C;(3) E-step教师精炼:使用非配对偏好优化更新教师。具体地,对于正样本(成功轨迹)和负样本(失败轨迹),计算隐式奖励$\tilde{r}_\phi(x,y,C) = \beta \log \frac{q_\phi(y|x,C)}{\pi_\theta(y|x)}$,然后通过二元交叉熵损失优化:$L_{E-step}(\phi) = -E_{y^+} \log \sigma(\tilde{r}_\phi(x, y^+, C^+) - \delta) - E_{y^-} \log \sigma(-(\tilde{r}_\phi(x, y^-, C^-) - \delta))$,其中$\delta$是批次隐式奖励的移动平均;(4) M-step学生优化:通过最小化token级KL散度,将精炼后的教师知识传递给学生:$L_{M-step}(\theta) = E_{x \sim D, y \sim \pi_\theta(\cdot|x)}[\sum_{t=1}^{T} D_{KL}(\pi_\theta(\cdot | x, y_{<t}) \| sg[q_\phi(\cdot | x, C, y_{<t})])]$,其中$sg[\cdot]$是stop-gradient操作,确保优化仅针对学生参数。整个算法支持非对称更新频率,例如每5个M-step进行1个E-step,这能稳定目标分布,让学生在教师前进前内化指导。

技术新颖性

VPD的技术新颖性体现在多个层面。首先,理论层面,这是首次将on-policy语言反馈学习严格形式化为变分EM问题,引入数学上严谨的教师-学生协同进化框架,而非启发式的组合方法。其次,算法层面,E-step采用非配对偏好优化(BCO),解决了诊断反馈场景下无法构建标准偏好对的关键难题,这是创新性的技术应用。第三,架构层面,动态信任区域设计($\pi_{ref} \leftarrow \pi_\theta$)是重要的工程创新,确保了M-step蒸馏的高度稳定性,避免了传统方法中的梯度方差和模式崩溃问题。最后,实现层面,共享权重设计($\theta = \phi$)在保持协同进化能力的同时,完全消除了多模型范式的显存开销,使得VPD可以在标准硬件上高效执行,这极大地提高了实用性。实验验证显示,这种设计带来的训练稳定性收益远远超过了E-step引入的30-55%计算开销。

实验结果

实验在三个反馈来源、多个架构和基准上验证了VPD的有效性。在环境反馈(LiveCodeBench)实验中,使用Qwen3-8B(关闭思考模式),VPD达到49.62%通过率,显著优于纯RL(GRPO的45.61%)和纯蒸馏(SDPO的47.33%),也超过所有单阶段混合方法(Adv Reshape的46.95%、Adv Reweight的44.85%、Joint Loss的47.52%)。Figure 1显示,随着训练进行,SDPO的正确与不正确响应之间的奖励边际迅速 diminishing,表明指导质量下降;而VPD的边际持续增长,证实E-step成功让教师持续精炼区分高低质量轨迹的能力。在对比兄弟rollouts反馈(SciKnowEval)实验中,VPD在三个模型尺寸上均建立领先优势:Qwen3-1.7B平均74.34%(vs GRPO的69.81%,SDPO的66.34%),Qwen3-8B平均77.15%(vs SDPO的74.44%,GRPO的73.11%),OLMo3-7B-Instruct平均70.80%(vs SDPO的66.07%,GRPO的65.71%)。Figure 2显示标准SDPO在训练后期性能开始下降,而VPD保持稳定单调收敛。在自主评估反馈实验中,Qwen3-8B达到78.14%(vs SDPO的74.87%),Qwen3-1.7B达到72.01%(vs SDPO的67.53%)。关键发现是,VPD在两种挑战场景下仍有限制:数学推理(DAPO-Math)上,虽然VPD延迟了训练崩溃,但纯GRPO仍占主导(在Math500上达到83.8%);基础模型冷启动上,SDPO性能崩溃到接近零,VPD显著延迟崩溃但仍落后GRPO。消融实验显示,E-step更新频率F5是最优配置(表4),固定参考先验导致严重性能下降和不稳定性(表5)。

Performance on the LCBv6 subset using Qwen3-8B (thinking mode off).
Table 1: Performance on the LCBv6 subset using Qwen3-8B (thinking mode off).
Performance on the SciKnowEval benchmark using contrastive sibling rollouts as feedback.
Table 2: Performance on the SciKnowEval benchmark using contrastive sibling rollouts as feedback.
Performance on SciKnowEval using autonomous self-critique as the feedback source.
Table 3: Performance on SciKnowEval using autonomous self-critique as the feedback source.
Ablation on E-step update frequency using Qwen3-1.7B. N denotes one E-step per N M-steps.
Table 4: Ablation on E-step update frequency using Qwen3-1.7B. N denotes one E-step per N M-steps.
Ablation on the E-Step reference prior using Qwen3-1.7B on SciKnowEval.
Table 5: Ablation on the E-Step reference prior using Qwen3-1.7B on SciKnowEval.
Reward margin between correct and incorrect responses during LCB training.
Figure 1: Reward margin between correct and incorrect responses during LCB training.
Training progression on Qwen3-4B-Base.
Figure 3: Training progression on Qwen3-4B-Base.
Performance on the Math500 benchmark for models trained on DAPO-Math.
Figure 4: Performance on the Math500 benchmark for models trained on DAPO-Math.
Training progression on Qwen3-1.7B with different reference model for E-Step.
Figure 5: Training progression on Qwen3-1.7B with different reference model for E-Step.
查看结构化数据
任务指标本文基线提升
LiveCodeBench (代码生成) Pass Rate (%) 49.62 SDPO: 47.33, GRPO: 45.61 相比SDPO提升2.29个百分点,相比GRPO提升4.01个百分点
SciKnowEval (科学推理, Qwen3-8B) Average Accuracy (%) 77.15 SDPO: 74.44, GRPO: 73.11 相比SDPO提升2.71个百分点,相比GRPO提升4.04个百分点
SciKnowEval (科学推理, Qwen3-1.7B) Average Accuracy (%) 74.34 GRPO: 69.81, SDPO: 66.34 相比GRPO提升4.53个百分点,相比SDPO提升8.00个百分点
SciKnowEval-Biology (Qwen3-8B) Accuracy (%) 68.00 GRPO: 62.50, SDPO: 61.62 相比GRPO提升5.50个百分点,相比SDPO提升6.38个百分点
SciKnowEval 自主评估 (Qwen3-8B) Average Accuracy (%) 78.14 SDPO: 74.87 提升3.27个百分点

局限与改进

作者承认了两个主要局限性。首先,虽然VPD显著改进了标准自蒸馏并成功延迟了挑战场景中的训练崩溃,但最终仍落后于纯稀疏RL(如GRPO)在数学推理和基础模型冷启动中的表现。这突显了依赖非结构化文本反馈的内在局限,因为对于严格的逻辑推导,文本反馈有时过于噪声或不精确。其次,虽然共享权重参数化($\phi = \theta$)最大化了计算效率,但严格限制了教师的表达能力等于学生的架构。在高度复杂的域中,这种严格耦合可能阻碍教师充分逼近最优后验。此外,论文实验主要限于代码生成、科学推理和数学推理,缺乏在自然语言生成等更开放域中的验证。VPD的成功依赖于环境能提供有用的诊断反馈,这可能不适用于所有任务。

独立分析的弱点

独立分析显示VPD存在几个具体方向的弱点。在数学推理等严格逻辑域中,VPD的劣势可能源于教师反馈的微妙误差:如果教师诊断反馈不精确或存在缺陷,蒸馏这种噪声指导会过度约束探索,无意中强化了不正确的推理步骤。一个可能的改进方向是引入反馈不确定性估计,让学生在不确定时减少对教师指导的依赖,保持一定的探索空间。在基础模型冷启动场景中,如果模型缺乏基本指令遵循能力,无法正确消化提示中的诊断反馈C,教师的目标分布就会受到污染。改进可以是在训练初期混合更多的稀疏RL信号,或设计从易到难的课程学习,让模型先获得基本能力再进行复杂自蒸馏。架构层面,严格共享权重限制教师能力,改进可以是使用参数高效微调(如LoRA)单独调整教师部分,在保持内存效率的同时扩展表达能力。此外,VPD需要环境能生成有用的文本反馈,对于缺乏此类反馈的任务,可以考虑从成功-失败轨迹对比中学习对比表示,或预训练一个轻量级批评模型来生成诊断。

未来方向

作者提出和基于成果可延伸的未来研究方向包括:首先,探索解耦或部分解耦的参数化(如对教师使用参数高效微调),在不重新引入巨大内存开销的情况下扩展教师的诊断能力。其次,分析EM框架在不同反馈噪声程度下的理论边界,理解何时语言反馈的噪声超过其密集信息优势。第三,扩展这个协同进化过程到持续学习场景,让模型能够在不断获得新反馈的情况下持续改进。基于成果的可延伸方向包括:开发半监督方法,将环境奖励与语言反馈结合,利用稀疏奖励的鲁棒性和密集反馈的信息性;探索自主评估方法的协同进化,让批评模型与推理策略共同进步;研究VPD在更开放域(如创意写作、对话)中的适用性,可能需要重新设计反馈生成机制;分析VPD在不同模型尺寸下的scaling law,理解什么规模的模型最能受益于语言反馈蒸馏;开发自动化的E-step更新频率调度策略,根据训练动态自适应调整而非固定的F5配置。

复现评估

论文未明确提及代码和模型权重的开源计划,但附录中提供了详细的超参数和实验设置。实验在标准硬件上运行,通过共享权重架构消除了多模型方法的显存开销。评估使用了多个公开基准:LiveCodeBench v6、SciKnowEval(生物、化学、材料、物理四个子域)、DAPO-Math、Math500、AIME24/25、AMC23。模型包括Qwen3-1.7B、Qwen3-8B和OLMo3-7B-Instruct。论文提供了在Qwen3-1.7B上的两个主要消融实验(E-step更新频率和参考先验类型)的详细结果。然而,完整复现可能面临挑战:E-step的非配对偏好优化实现细节(如$\delta$的具体更新规则)可能需要仔细调优;不同任务需要设计不同的反馈生成器(如代码编译器 vs LLM法官);训练稳定性可能对超参数(如$\beta$值、更新频率)敏感。论文提到完整训练增加30-55%运行时间,这对计算资源有一定要求。总体而言,虽然缺少开源代码,但论文提供了足够的技术细节来理解方法,有经验的团队应该能够实现复现。