PR-OPD:面向智能体强化学习的特权表征在策略自蒸馏 PR-OPD: Privileged Representation On-policy Self-Distillation for Agentic Reinforcement Learning
技能优势藏在隐藏态而非输出概率,对齐特权自我的逐层隐藏态即可传递后见之明
前置知识
GRPO(组相对策略优化)
DeepSeekMath 提出的强化学习算法:对每个任务采样一组(本文为 8 条)轨迹,用组内奖励的均值和标准差把每条轨迹的终局奖励归一化为相对优势 $A_i=(R_i-\mathrm{mean})/\mathrm{std}$,再以 PPO 式裁剪比率目标更新所有响应 token。它无需价值网络,是多轮智能体 RL 的主流基线。
PR-OPD 的奖励目标就是 GRPO,第一阶段热身、所有基线比较和消融分支都建立在该算法之上,读懂公式 (1) 和实验设置都依赖它。
在策略自蒸馏(On-policy Distillation)
学生模型自己采样轨迹,由同一模型在附加条件下充当教师,教师对学生生成的每个 token 给出概率级密集指导,学生模仿教师的输出分布,从而把稀疏的轨迹级终局奖励变稠密。因为学生在自己的轨迹上学习,避免了离策略数据的分布偏移。
本文质疑的正是这条通道:现有方法都只从教师的输出概率读取特权信息,而论文证明这传递的只是技能优势的一小部分。
特权信息与 LUPI
Vapnik 提出的「学习使用特权信息」范式:训练时可访问推理时不可得的额外信息,由带特权信息的老师教不带特权的学生。本文中特权信息是策略对已完成轨迹撰写的后见之明技能,它包含决策时看不到的观察和结局,测试时学生完全不接触技能。
PR-OPD 的教师就是「带技能条件的策略自身」,整个方法围绕如何把这份特权信息从教师传给学生展开。
隐藏态与线性探针
Transformer 每层在预测每个 token 前会输出一个中间向量(隐藏态)。线性探针是在冻结表征上训练的逻辑回归分类器,用来检验某种信息是否线性可读:探针准确率显著高于随机水平,说明该信息以线性形式存在于表征中。
论文用逐层线性探针证明技能信息存在于教师隐藏态(65.4%–98.3% 准确率)而输出特征停在随机水平(约 50%),这是把对齐目标选在隐藏态的直接依据。
停梯度教师
用同一份权重对相同响应做两次前向:带特权条件(技能前置)的一次不回传梯度,充当提供对齐目标的教师;无技能的一次照常回传梯度作为学生。由于权重共享,教师目标会随策略更新一起移动,而非固定不变。
PR-OPD 的对齐损失 $\mathcal{L}_{\mathrm{PRA}}$ 通过 stop-gradient 实现,理解这一点才能明白为什么教师目标会动、为什么训练不崩。
CKA(中心核对齐)
一种表征相似度指标,比较两层(或两种条件下)表征中样本间关系结构的相似性,对正交变换和整体缩放不变,不依赖单个向量的方向或幅度。CKA 接近 1 表示两套表征的内部几何结构基本一致。
论文用线性 CKA 证明技能对隐藏态的改造是「定向结构微调」而非整体覆写(同层 CKA 均值 0.996),支撑只对齐方向、不约束幅度的损失设计。
研究动机
语言模型智能体通常用可验证奖励的强化学习训练,但 ALFWorld、WebShop 这类多轮任务每条轨迹只给一个终局奖励,信号极稀疏。特权自蒸馏(SDAR、OPID、SEED、PCSD 等)为此让同一模型在附加条件下充当教师,把教师的 token 概率蒸馏回学生,其隐含假设是:教师输出概率足以传递特权信息。作者用同一策略带/不带技能对相同响应做两次前向进行诊断,发现该假设不成立:技能确实让教师更强——把 WebShop 成功率从 42.2% 提到 56.2%——但重读相同响应时只有不到四分之一的响应 token 概率发生变化(3B 上输出通道变化率仅 23.7%,1.7B 仅 16.4%),而动作 token 上几乎为零。这就是 Invisible Advantage:优势真实存在,却在输出通道近乎不可见。其后果是 token 级蒸馏只能传递技能优势的一小片:消融中 token 级 OPD 比 GRPO 还低 8.6 个点,OPSD 甚至退化到未训练水平(ALFWorld 23.4%,与 Vanilla 持平)。
本文的目标是本文要回答的中心问题是:当技能带来的优势几乎不出现在教师的 token 概率中时,学生能否仍然获得这份优势?具体目标是构建一个推理零开销的训练方案:学生策略在推理时不接触任何技能,却在训练中从自己撰写的后见之明里获益。方案必须同时满足四个约束:不放弃奖励学习(保留 GRPO 目标与 KL、熵正则);不依赖外部技能库或人工整理的技能(技能由策略对每条轨迹现场撰写,逐批重写);不引入独立教师模型(教师就是策略自身的特权版本,权重共享);推理时不增加任何模块(唯一新增的逐层 MLP 投影器训练后丢弃)。最终要求在 ALFWorld 和 WebShop 两个环境、两个 backbone 上全面超越 GRPO 与已有 token 级自蒸馏方法。
与已有工作不同的是,本文的独特切入是先诊断、后设计:不同于直接提出新损失,作者先量化特权信息在输出通道与表征通道的分布差异——技能改变超过 80% 响应 token 的隐藏态(3B 81.3%、1.7B 93.3%),且线性探针能从隐藏态读出是哪条技能(中层层 65.4%/79.4%),输出特征却停在约 50% 的随机水平。既然优势由隐藏态承载,对齐目标就从概率换成隐藏态。与表征蒸馏先行工作 OPRD、LastOPD 相比,场景有本质不同:那里教师是独立且固定的大模型,存在跨模型层映射难题(LastOPD 因此只敢对齐末层);而自蒸馏中教师与学生在层上一一对应、无需层映射,技能由策略自写,教师目标随每次更新移动,逐层对齐恰好可行且被探针证据支持(技能信息在中间层最清晰,末层反而回落)。与把技能放进上下文的方法(Reflexion、ExpeL、SkillRL)不同,本文推理时完全不需要技能。
核心方法
PR-OPD 的直觉是:让策略学会给自己的表现写复盘,然后带着这份边注重读自己的解题过程,把重读时形成的内部表征当作学习目标。技术路线分两阶段(Figure 2)。Stage I 只用 GRPO 训练 $N$ 步热身(ALFWorld $N{=}100$、WebShop $N{=}120$),因为分析者就是策略本身,必须先会做事、会反思,它写的后见之明才值得学。Stage II 进入联合训练:每次迭代无技能采集分组轨迹并计算组相对优势;对每条完成的轨迹,把交互记录与结局序列化后让同一策略采样生成一条简短可操作的后见技能——成功轨迹提炼可复用流程与决定性观察,失败轨迹指出关键错误与纠正方法;随后同一网络做两次前向,学生看普通上下文 $(x,y)$,教师看前置技能的 $(e_x,y)$ 且侧停梯度;学生每层隐藏态经轻量 MLP 投影器后与教师对应层的隐藏态按响应 token 配对对齐,损失与 GRPO 奖励目标加权相加联合更新。技能与教师状态随策略演化每轮重算,推理时全部丢弃。
核心创新是更换信息传递通道。所有已有特权自蒸馏方法都在语言模型头之后读教师,技能在教师内部引发的丰富变化被压缩成每 token 一个标量;而诊断实验表明技能的优势恰恰几乎不体现在输出分布上(动作 token 概率几乎不动),却系统性重塑 80% 以上响应 token 的隐藏态。PR-OPD 因此绕过输出头,直接把学生逐层的投影隐藏态拉向其特权自我的对应隐藏态:$\mathcal{L}_{\mathrm{PRA}}=\frac{1}{L|M|}\sum_{\ell=1}^{L}\sum_{k\in M}\bigl\lVert \hat{p}^{(\ell)}_{S,k}-\mathrm{sg}(\hat{h}^{(\ell)}_{T,k})\bigr\rVert_2^2$,向量经 $L_2$ 归一化后每项等于 $2-2\cos(p_S,h_T)\in[0,4]$,只对齐方向、不约束幅度。第二个关键点是自进化:技能按轨迹现写现用而非检索库,教师与学生共享权重、对齐目标随策略一起移动,实验证明这反而让优化良定稳定。学生、分析者、教师是同一份权重的三个角色,投影器是唯一新增模块,无技能库、无独立教师、无推理开销。
方法步骤详情
一次 Stage-II 迭代(Algorithm 1)的完整流程如下。第一步,rollout 策略 $\pi_{\theta_j}$ 无技能为每任务采 G 条轨迹(每步 16 任务×8 rollout),缓存 rollout log-prob 并按 $A_i=(R_i-\mathrm{mean}(R))/\mathrm{std}(R)$ 计算 GRPO 组相对优势。第二步,把每条轨迹的交互记录与奖励序列化为 $z_i=\mathrm{Serialize}(\tau_i,R_i)$,用指令 $I_{\mathrm{hind}}$ 提示同一策略采样生成技能 $s_i\sim\pi_{\theta_j}(\cdot|z_i,I_{\mathrm{hind}})$,此步无梯度、无独立 SFT。第三步,对每轮上下文用模板 $e_x=H(x,s_i)$ 前置技能,学生处理 $(x,y)$、教师处理 $(e_x,y)$,两次前向看到完全相同的响应 token,教师不生成替代动作。第四步,逐层提取预测响应 token 前的隐藏态 $h^{(\ell)}_{S,k}=f^{(\ell)}_\theta(x,y_{<k})$ 与 $h^{(\ell)}_{T,k}=f^{(\ell)}_\theta(e_x,y_{<k})$,因教师提示更长,按响应 token 而非绝对位置配对。第五步,学生态过每层 MLP 投影器 $g^{(\ell)}_\psi:\mathbb{R}^d\to\mathbb{R}^d$(单隐层 512 维,两 backbone 的 $d{=}2048$)得 $p^{(\ell)}_{S,k}$。第六步,计算 $\mathcal{L}_{\mathrm{PRA}}$ 并与 $\mathcal{L}_{\mathrm{RL}}=\mathcal{L}_{\mathrm{GRPO}}+\beta\mathcal{L}_{\mathrm{KL}}-\eta H(\pi_\theta)$ 相加($\beta{=}0.01$、$\eta{=}0.001$、$\lambda{=}0.01$),对 $\theta$ 与 $\psi$ 联合取一步优化,不使用任何输出空间蒸馏项。
技术新颖性
技术新颖性体现在四点。其一,诊断贡献本身:首次系统量化特权信息在两个通道的分布——输出通道变化率 23.7%/16.4% 对隐藏态通道 81.3%/93.3%,动作 token 上输出几乎沉默,并用线性探针(隐藏态 65.4%–98.3% 对输出特征 50.2%–54.0%)与 CKA 定位了信息所在,Figure 1(c) 还证明直接对齐隐藏态的学生(64.8%)能超过教师(56.2%)。其二,自蒸馏设定下的表征对齐是新问题:与 OPRD/LastOPD 处理的固定异构教师不同,这里层一一对应、无需层映射,且教师目标随策略移动——对齐曲线显示初始损失 1.22–1.52,4–7 步内跌破 0.5,11–19 步内跌破 0.3,终点余弦相似度 0.913–0.933,八组运行无一发散。其三,逐层对齐有机制证据:1.7B 的技能可读性在中间层达峰值 79.4%、末层回落到 70.1%,说明 LastOPD 式末层对齐会错过信息最清晰处。其四,投影器不是可有可无的细节:学生原始隐藏态还要喂给自己的语言模型头,投影器提供可学习缓冲,在 1.7B 上把对齐从崩塌(36.7%,低于 GRPO)扭转为最佳结果(46.9%)。
实验结果
主结果(Table 1,训练 150 步、step-150 用 128 episodes 评估)。Qwen2.5-3B 上,PR-OPD 在 ALFWorld 六类任务总成功率 71.1%,高于 GRPO 的 66.4%(+4.7)、SDAR 的 68.8%、Skill-SD 的 69.5%,而 OPSD 仅 23.4%、与未训练的 Vanilla 持平;WebShop 上准确率 67.2%、得分 83.7,比 GRPO(55.5/70.4)分别高 11.7 和 13.3 个点,比最强 token 级基线 Skill-SD(59.4/75.6)高 7.8 和 8.1 个点。Qwen3-1.7B 上 ALFWorld 46.9%(GRPO 43.8,+3.1),WebShop 准确率 57.0%(GRPO 43.0,+14.0)、得分 73.8。所有设置总成绩第一,六个 ALFWorld 任务类型中至少四个进前二。消融(同 GRPO@100 起点、同自写技能)显示通道选择才是关键:token 级 OPD 57.8%(较 GRPO $-8.6$),无投影器隐藏态对齐 72.7%($+6.3$),两条通道相差 14.9 个点;SDAR 用人工整理技能也只 $+2.4$。投影器在 3B 上近乎免费(72.7→71.1),在 1.7B 上不可或缺(36.7→46.9)。热身敏感性:WebShop 1.7B 上 $N{=}120$ 起步得 57.0% 对 $N{=}100$ 的 49.5%;与同检查点继续 GRPO 的六种子配对对照,$N{=}120$ 起训 30 步增益 $+9.62$、10 步 $+8.22$,而 $N{=}100$ 仅 $+3.15$、$N{=}140$ 仅 $+3.63$——策略须先学会任务,其后见之明才值得读。机制分析(Figures 4–6)进一步证实:技能使隐藏态变化达长度匹配无关文本的 9 倍(3B)/7 倍(1.7B);中层层探针 65.4%/79.4% 区分本轨迹与他轨迹技能而输出特征 50.2–54.0%;CKA 显示同层平均 0.996 的结构保留之下是定向微调(平均不相似度 0.00406 对无关文本 0.00067,自第 13 层起超过全部对照)。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| ALFWorld 总成功率(Qwen2.5-3B-Instruct) | 成功率 (%) | 71.1 | GRPO 66.4;最强 token 级基线 Skill-SD 69.5 | +4.7(对 Skill-SD +1.6) |
| WebShop 任务准确率(Qwen2.5-3B-Instruct) | Acc (%) | 67.2 | GRPO 55.5;Skill-SD 59.4 | +11.7(对 Skill-SD +7.8) |
| WebShop 分级得分(Qwen2.5-3B-Instruct) | Score | 83.7 | GRPO 70.4;Skill-SD 75.6 | +13.3(对 Skill-SD +8.1) |
| ALFWorld 总成功率(Qwen3-1.7B-Instruct) | 成功率 (%) | 46.9 | GRPO 43.8;SDAR 46.1 | +3.1 |
| WebShop 任务准确率(Qwen3-1.7B-Instruct) | Acc (%) | 57.0 | GRPO 43.0;Skill-SD 54.7 | +14.0(对 Skill-SD +2.3) |
| 消融:同起点换教师通道(ALFWorld 3B) | 成功率 (%) | 72.7(隐藏态对齐,无投影器) | 57.8(token 级 OPD,同技能) | +14.9 |
局限与改进
作者呈现并可见的局限如下。任务覆盖窄:只在 ALFWorld 与 WebShop 两个文本环境上验证,都是可验证终局奖励的任务,尚未涉及代码、数学、真实网页等更开放场景。模型规模小:两个 backbone 为 1.7B 与 3B,隐藏态对齐在更大模型上的收益与稳定性未知。统计强度弱:每个配置只跑单种子(seed 0)、128 episodes 评估,主表未报方差(仅热身研究用了六种子),1–3 个点级别的差距难以判断显著性。超参敏感:热身步数 $N$ 影响很大(WebShop 1.7B 上 49.5% 对 57.0%),需按环境调参,且论文只试了三个取值。训练开销:Stage II 每次更新需要额外的教师前向与逐轨迹技能生成前向,训练计算约为纯 GRPO 的两到三倍。此外我注意到:技能质量依赖策略自身的反思能力,弱模型可能写出低质技能而方法没有纠错机制;$\mathcal{L}_{\mathrm{PRA}}$ 只对齐方向、完全放弃范数携带的信息;技能生成本身无梯度,写什么技能与对齐收益之间的联系未被优化。
独立分析的弱点
独立弱点分析。第一,「输出通道无信息」的结论受限于测量方式:探针只用了三种输出特征(采样 token log-prob、top-64 log-prob、256 维随机投影的完整分布),作者自己在附录 F 承认近随机准确率不能证明完整输出分布不含该信息,「换通道」的必要性论证留有余地,可用更强读出(如训练一个小型解码器)复检。第二,对齐目标是移动的,本文规模下稳定,但 LastOPD 曾报告 latent 蒸馏在训练后期崩塌,PR-OPD 只训 150 步、未见长程行为,更大模型更长训练是否仍然安全需要验证。第三,每轨迹一条技能的粒度较粗,相似任务的技能无法复用,逐轨迹生成也增加开销,与技能库/聚类结合可能更高效。第四,对齐权重 $\lambda=0.01$ 全程固定,未探索奖励学习与表征对齐的动态平衡,例如随对齐损失下降对 $\lambda$ 退火。第五,只在方向上对齐,范数差异可能携带置信度信息,可改为方向与范数解耦的对齐。第六,投影器在小模型上必需(1.7B 无投影器直接崩到 36.7%)暗示小模型表征可塑性差,可尝试分层分组对齐或低秩投影约束进一步稳定训练。
未来方向
作者提出的方向:对齐损失在 150 步仍在稳定下降(余弦 0.913–0.933 且未收敛),作者明确留有更长 Stage II 训练的空间;方法框架是通用的,可推广到更多环境与更大模型。基于其成果可延伸的研究:其一,把隐藏态对齐迁移到数学推理、代码生成等非智能体 RLVR 任务,检验「优势藏在表征中」是否普遍规律;其二,研究自蒸馏中层角色的演化——结合 LastOPD 关于跨模型层角色错配的发现,追踪逐层对齐收益如何随训练推移,可能出现「先中间后末层」的阶段效应;其三,让技能生成可微或用强化学习优化技能质量,把「写什么技能」与对齐收益直接挂钩;其四,在线技能聚类与检索,同任务簇共享技能以减少生成开销并研究跨轨迹技能泛化;其五,从理论上解释为何共享权重的移动教师不导致目标漂移崩塌,可能得到比固定教师更良定的蒸馏分析;其六,把方向对齐扩展为方向加范数或能量距离目标,保留幅度信息。
复现评估
复现评估:代码已在 GitHub 开源(balibata/PR-OPD),实现基于公开的 SDAR 代码库,分布式训练用 verl、rollout 用 vLLM,工程栈主流且文档化的超参齐全。环境与数据全部公开:ALFWorld seen split 140 个任务实例、WebShop 标准测试集前 500 条指令。附录 C 给出全部关键设置:KL 系数 $\beta=0.01$、熵系数 $\eta=0.001$、对齐权重 $\lambda=0.01$、投影器学习率 $10^{-4}$(单隐层 512 维)、评估温度 0.4、每步 16 任务×8 rollout、总 150 步、热身 $N$ 按环境取 100/120。主要门槛是硬件:8 张 NVIDIA B200 GPU、64 核 CPU、450GB 内存,中小实验室难以原样复现;不过方法本身只是在 GRPO 之上加一次教师前向与一个小 MLP,迁移到 8×A100 或减少组数应当可行。统计方面每个配置只有单种子训练,复现表格中的点估计不难,但要复现结论的统计置信需要自己补多种子实验。综合判断:代码与数据齐全、无私有依赖,复现难度中等,瓶颈在算力而非算法细节。
论文图表
(a)(b) 在 ALFWorld 的 GRPO@100 检查点上,策略带自写技能重读相同响应时,隐藏态与采样 token 概率发生变化的 token 比例:3B 隐藏态变化 81.3% 而输出仅 23.7%,1.7B 为 93.3% 对 16.4%,且动作 token 的输出变化几乎为零;(c) WebShop 训练曲线对比学生(无技能,42.2%)、教师(带技能,56.2%)与直接对齐教师隐藏态的学生(64.8%)的验证成功率。
全文论点的实验基石:先证明技能优势在输出通道近乎不可见、在隐藏态通道普遍存在且可学,方法设计完全由此催生。
上段:N=100 起步 50 步监督得 49.5%/72.0,N=120 起步 30 步监督得 57.0%/73.8;下段:与同检查点继续 GRPO(六评估种子)配对,直接对齐增益为 N=100/30 步 +3.15/+0.70,N=120/30 步 +9.62/+3.23,N=120/10 步 +8.22/+4.00,N=140/10 步 +3.63/+6.35。
量化热身时机的重要性:策略须先胜任任务、其后见之明才值得对齐,起点比监督步数更关键。