← 返回 2026-01-30

基于潜空间对抗正则化的离线偏好优化 Latent Adversarial Regularization for Offline Preference Optimization

Enyi Jiang, Yibo Jacky Zhang, Yinglun Xu, Andreas Haupt, Nancy Amato, Sanmi Koyejo 📅 2026-01-29 👍 14 2026-07-13 08:35
DPO LLM对齐 偏好优化 对抗训练 潜空间正则化

用GAN在潜空间做正则化,让偏好优化更稳健

前置知识

偏好优化 (Preference Optimization)

偏好优化是大语言模型对齐的核心方法。给定成对偏好数据 $(x, y_w, y_l)$,其中 $x$ 是提示,$y_w$ 是优选回答,$y_l$ 是拒绝回答,通过优化策略模型 $\pi_\theta$ 使其倾向于生成优选回答。最经典的方法是 DPO(Direct Preference Optimization),它通过隐式重参数化将奖励函数消除,直接用策略模型和参考模型的对数概率比来定义损失。DPO 的隐式 KL 正则化强度由参数 $\beta > 0$ 控制。

本文的核心目标是改进偏好优化方法,理解 DPO 的工作机制和局限性是理解 GANPO 的前提

生成对抗网络 (GAN)

GAN 是由 Goodfellow 等人(2014)提出的生成模型框架,通过生成器 $G$ 和判别器 $D$ 之间的极小极大博弈来学习数据分布。生成器试图生成逼真样本欺骗判别器,判别器试图区分真实样本和生成样本。标准 GAN 目标为 $\min_G \max_D \mathbb{E}_{x \sim p_{\text{real}}} [\log D(x)] + \mathbb{E}_{x' \sim G} [\log(1-D(x'))]$。GAN 的变体如相对平均 GAN(RaGAN)通过比较样本间的相对真实性来提高训练稳定性。

GANPO 的核心创新是将 GAN 的对抗训练范式引入偏好优化,用判别器在潜空间提供正则化信号

相对平均 GAN (Relativistic Average GAN, RaGAN)

RaGAN 是 GAN 的一种稳定训练变体,由 Jolicoeur-Martineau(2018)提出。与标准 GAN 判断单个样本的绝对真假不同,RaGAN 估计真实样本比当前批次中假样本平均更真实的概率。给定判别器输出的标量 logit $C_\phi(h)$,定义移动平均基线 $m_\theta := \mathbb{E}_{h \sim p_\theta}[C_\phi(h)]$ 和 $m_{\text{ref}} := \mathbb{E}_{h \sim p_{\text{ref}}}[C_\phi(h)]$,相对判别器根据样本来源使用不同的基线进行 sigmoid 变换。这种相对性设计使训练更稳定,且对应的散度是良定义的。

GANPO 选择 RaGAN 而非标准 GAN 来实现潜空间散度的变分形式,这是方法稳定性的关键

潜空间表示 (Latent Representations)

在 LLM 中,潜空间表示通常指模型最后一层的隐藏状态向量 $h \in \mathbb{R}^d$。与 token 级别的概率分布不同,潜空间表示是低维的、编码了语义和推理状态的稠密结构化信息。论文指出,token 空间的相似性不等于语义相似性:例如 'Hi there' 和 'Good morning to you' 在 token 距离上很远,但在潜空间的余弦距离上很近;反之 'Hi there' 和 'Hit there' 在 token 上很近,但在潜空间可能很远。

理解 token 空间与潜空间的差异是理解本文动机的关键——为什么需要潜空间正则化而非 token 级正则化

研究动机

现有的离线偏好优化方法(如 DPO、SimPO)使用 token 级别的正则化来约束策略模型与参考模型之间的偏离,通常通过 KL 散度实现。然而,token 空间的距离度量存在根本性缺陷:两个语义上极其相似的句子(如 'Hi there' 和 'Good morning to you')在 token 级别的归一化 Levenshtein 距离上可能很远(约 0.7),而在潜空间的余弦距离上却非常近(约 0.02);反之,语义完全不同的句子(如 'Hi there' 和 'Sit there')在 token 上仅有微小变化,但在潜空间中距离较大。这意味着 token 级散度只是实际行为相似性的粗糙代理。此外,DPO 纯粹在固定偏好数据集上训练,容易产生虚假关联——最典型的是隐式奖励与回答长度的耦合,导致模型倾向于生成冗长但无实质改进的回答(verbosity),而非真正的语义改进。在高采样温度下,DPO 的约束遵循能力会严重退化:在 IFEval 上,温度从 0.0 升到 1.0 时,DPO 的严格准确率下降近 20%,表明其对贪婪解码的严重依赖。

本文的目标是本文的目标是引入潜空间正则化来改进离线偏好优化。具体来说,作者希望在保持现有 OPO 方法(如 DPO、SimPO)不变的前提下,设计一个即插即用的正则化器,通过在模型内部表示空间中对齐策略模型和参考模型的分布,提供比 token 级约束更鲁棒的结构化反馈。目标包括:(1)在 AlpacaEval-2.0 等基准上提升对齐质量;(2)在高熵采样条件下保持稳定性;(3)在数学、推理、事实性等下游任务上不退化;(4)以适度的计算开销实现上述改进。

与已有工作不同的是,本文的独特切入角度是将 GAN 的对抗训练范式引入偏好优化的潜空间正则化。与之前直接在 token 空间做 GAN 的工作不同,GANPO 在 LLM 的最后一层隐藏状态空间中操作。关键洞察是:虽然潜空间表示没有显式的概率密度(因此无法直接计算 KL 散度等标准散度),但某些散度(如 Jensen-Shannon 散度)具有变分对偶形式,可以通过训练判别器来隐式最小化。本文进一步超越标准二元 GAN 框架,提出四元表示框架(quad representation),充分利用偏好数据的配对性质,设计两个判别器分别建模 '好' 和 '差' 的潜空间流形,因为这两个流形在拓扑上可能是不同的,单个判别器无法同时分离。

核心方法

GANPO 的整体思路可以用一个直觉来理解:DPO 告诉模型 '什么样的回答更好'(通过偏好数据),而 GANPO 额外告诉模型 '你的内部表示应该长什么样'(通过对齐到参考模型的潜空间结构)。技术路线如下:给定偏好数据集中的三元组 $(x, y_w, y_l)$,首先从策略模型 $\pi_\theta$ 和参考模型 $\pi_{\text{ref}}$ 中提取四个潜空间表示——参考模型对优选回答的表示 $h^+_{\text{ref}}$、对拒绝回答的表示 $h^-_{\text{ref}}$,以及策略模型对应的 $h^+_\theta$ 和 $h^-_\theta$。然后训练两个判别器 $\phi_{\text{pos}}$ 和 $\phi_{\text{neg}}$,使用相对平均 GAN 的变分形式来隐式最小化策略模型与参考模型表示分布之间的散度。最后,将判别器提供的对抗损失 $\mathcal{L}_{\text{adv}}$ 与原始 OPO 损失 $\mathcal{L}_{\text{OPO}}$ 加权求和作为总损失,交替优化判别器和生成器(策略模型)。

GANPO 的核心创新是四元表示框架(Quad Representation Framework)和双判别器设计。与标准二元 GAN 只区分 '真实' 和 '生成' 样本不同,GANPO 充分利用偏好数据的配对结构,同时处理四个表示。正判别器 $\phi_{\text{pos}}$ 的损失包含两项:一项是让参考模型的优选表示得分高于策略模型的优选表示(Mimic Good),另一项是让策略模型的优选表示得分高于参考模型的拒绝表示(区分好坏)。负判别器 $\phi_{\text{neg}}$ 对称设计。这种双判别器架构的本质区别在于:它让判别器以比较方式而非孤立方式理解表示,捕获精细的偏好结构,而非简单的真假分类。与已有方法的根本区别是,之前的 GAN 方法(如 TextGAIL)在 token 空间操作,而 GANPO 在潜空间操作,提供序列级的整体反馈。

方法步骤详情

GANPO 的完整训练流程如下(对应 Algorithm 1):(1)数据采样:从偏好数据集 $\mathcal{D}$ 中采样一批三元组 $\mathcal{B} = \{(x, y_w, y_l)\}$。(2)特征提取:将这批数据分别通过策略模型 $\pi_\theta$(带梯度)和参考模型 $\pi_{\text{ref}}$(冻结),获取最后一层隐藏状态作为潜空间表示,得到四元组 $(h^+_{\theta}, h^-_{\theta}, h^+_{\text{ref}}, h^-_{\text{ref}})$。(3)判别器优化:首先计算所有四个表示的原始 logit $s = C_\phi(h)$,然后通过移动平均更新全局运行均值 $\mu_{\text{pos}} \leftarrow \alpha \mu_{\text{pos}} + (1-\alpha) \text{Mean}(s^+_{\text{ref}})$ 和 $\mu_{\text{neg}}$,接着计算两个判别器的损失并更新参数。(4)生成器优化:计算原始 OPO 损失 $\mathcal{L}_{\text{OPO}}$ 和对抗损失 $\mathcal{L}_{\text{adv}}$,然后更新策略参数 $\theta \leftarrow \theta - \eta \nabla_\theta (\mathcal{L}_{\text{OPO}} + \lambda \mathcal{L}_{\text{adv}})$。整个过程交替进行,判别器和生成器在每一步都更新。

技术新颖性

GANPO 的技术新颖性体现在多个层面。首先,这是首个将潜空间正则化引入语言模型偏好优化的工作,开辟了 token 级优化之外的新方向。其次,四元表示框架是对标准二元 GAN 的重要扩展——偏好数据天然包含配对信息(优选 vs 拒绝),GANPO 通过两个判别器分别处理正负表示,避免了单个判别器无法同时分离拓扑不同流形的问题。第三,选择参考模型而非外部强教师模型作为 '真实' 数据的来源,这看似保守但实际上有深刻考量:参考模型(通常是 SFT 模型)的潜空间流形代表了预训练获得的自然语言良好结构,与策略模型有足够的分布重叠,迫使判别器学习语义区分而非表面风格差异;同时,参考模型在 DPO 等方法中已经存在,无需额外采样成本。第四,将相对平均 GAN 引入潜空间散度的变分形式,通过移动平均基线提高了训练稳定性。

Comparison between DPO and GANPO
Figure 1: Comparison between DPO and GANPO

实验结果

实验结果全面验证了 GANPO 的有效性。在 AlpacaEval-2.0 上,GANPO 在两个模型规模上都一致性地超越了 DPO 和 SimPO。对于 Gemma2-2B-it,GANPO(DPO) 的长度控制胜率(LC-Win)为 29.69%,比 DPO 的 27.79% 提升 1.41 个百分点;GANPO(SimPO) 的 LC-Win 为 36.74%,比 SimPO 的 36.03% 提升 0.71 个百分点,且平均回答长度基本不变(1664 vs 1668)。对于 Llama3-8B-Instruct,GANPO(DPO) 的 LC-Win 为 33.87%(DPO 为 32.34%),GANPO(SimPO) 的 LC-Win 为 50.48%(SimPO 为 48.31%),提升约 1.5-2.0 个百分点。在鲁棒性测试中,GANPO 的优势更加显著:在高采样温度(T ≥ 1.0)下,GANPO 与 DPO 的胜率差距持续扩大,表明 GANPO 在高熵生成条件下更能保持质量。在 IFEval 的严格准确率测试中,DPO 从 T=0.0 到 T=1.0 准确率下降近 20%(从约 0.55 降到约 0.35),而 GANPO 保持在约 0.45 以上,展现出显著更强的结构鲁棒性。判别器有效性实验表明,在高熵条件下(T=1.5 和 T=2.0),学习到的奖励模型与 oracle 的相关性分别为 r=0.14 和 r=-0.50(严重 reward hacking),而判别器保持 r=0.59 和 r=0.52 的强正相关。在下游任务上,GANPO 在 GSM8K(48.67 vs 48.37)、ANLI R3(48.25 vs 47.92)和 TruthfulQA(55.67 vs 55.28)上均有提升,MMLU 基本持平(56.93 vs 57.02),表明对抗目标不会导致过拟合偏好数据而牺牲其他能力。

AlpacaEval 2.0 results
Table 1: AlpacaEval 2.0 results
Robustness against entropy
Figure 3: Robustness against entropy
Comparison of discriminator-based scoring and learned reward models under high-entropy generation
Figure 4: Comparison of discriminator-based scoring and learned reward models under high-entropy generation
查看结构化数据
任务指标本文基线提升
AlpacaEval-2.0 (Gemma2-2B-it) LC-Win Rate (%) 29.69 (DPO), 36.74 (SimPO) 27.79 (DPO), 36.03 (SimPO) +1.90 (DPO), +0.71 (SimPO)
AlpacaEval-2.0 (Llama3-8B-Instruct) LC-Win Rate (%) 33.87 (DPO), 50.48 (SimPO) 32.34 (DPO), 48.31 (SimPO) +1.53 (DPO), +2.17 (SimPO)
IFEval Strict Accuracy (Gemma2-2B-it, T=1.0) Prompt-level Strict Accuracy 约 0.45 约 0.35 (DPO) +10% 绝对提升,显著更强的温度鲁棒性
GSM8K (Gemma2-2B-it) Accuracy (%) 48.67 48.37 (DPO), 46.32 (Base) +0.30 (vs DPO), +2.35 (vs Base)
TruthfulQA (Gemma2-2B-it) Accuracy (%) 55.67 55.28 (DPO), 53.11 (Base) +0.39 (vs DPO), +2.56 (vs Base)

局限与改进

作者坦诚地指出了 GANPO 的几个局限性。首先,与 DPO 和 SimPO 的参数高效且本质上 '无奖励' 的架构不同,GANPO 需要在策略模型之外额外维护和更新两个判别器,带来额外的计算开销和内存占用。其次,对抗博弈引入了额外的超参数调优复杂性(如对抗权重 $\lambda$、移动平均衰减率 $\alpha$、学习率 $\eta$),相比监督目标的稳定性需要更多调参。第三,参考模型锚定训练虽然稳定了判别器,但也限制了探索空间——如果 SFT 模型本身存在根本性的对齐问题或潜空间结构缺陷,GANPO 可能无法充分偏离以找到全局最优策略,本质上继承了锚点的拓扑缺陷。第四,论文承认潜空间正则化和 token 级正则化可能是互补的,需要更多研究来理解两者的最佳组合方式。从独立观察来看,实验仅在两个模型规模(2B 和 8B)上验证,缺乏对更大规模模型(如 70B+)的实验;判别器架构选择的消融仅在 Gemma2-2B-it 上进行;此外,论文未提供训练时间的详细对比。

独立分析的弱点

GANPO 存在几个值得深入分析的弱点。第一,计算效率问题:每一步训练都需要对两个模型(策略和参考)进行前向传播以提取潜空间表示,然后还需要额外的判别器前向和反向传播,这使得每步的计算量大约是纯 DPO 的 2-3 倍。改进方向可以是探索参数共享的轻量级判别器架构,或采用稀疏采样策略减少判别器更新频率。第二,参考模型的限制:GANPO 将参考模型的潜空间流形视为 '良好结构' 的锚点,但如果参考模型本身存在偏见或能力不足,这种锚定会限制策略的探索。改进方向可以是引入课程学习,逐步放松对参考模型的依赖,或使用多个参考模型的集成。第三,超参数敏感性:对抗训练的稳定性高度依赖 $\lambda$(对抗权重)、$\alpha$(移动平均衰减率)等超参数的选择。论文未提供详细的敏感性分析。改进方向可以是自适应调整 $\lambda$,根据判别器的置信度动态平衡 OPO 损失和对抗损失。第四,仅在英文数据上验证,缺乏多语言实验。

未来方向

作者提出了几个有前景的未来研究方向。第一,符号反馈增强:标准对齐方法难以处理严格的语法约束(如有效 JSON、可编译代码),未来可以将编译器信号或逻辑验证器直接注入潜空间损失,将语法作为可微分流形约束。第二,在线自博弈框架:GANPO 目前在离线设置下工作,将其扩展到在线 'Self-Play' 框架——模型自己生成 rollout 然后由演进的判别器评判——可能桥接离线效率和在线方法(如 PPO)的性能优势。第三,多模态扩展:由于 GANPO 在表示空间而非离散 token 上操作,它天然具有模态无关性,适配到视觉-语言模型(VLM)可以为跨模态生成提供强大的对齐方法,其中文本和图像表示之间的结构一致性至关重要。基于已有成果还可以延伸:探索 GANPO 在代码生成任务上的应用(代码有明确的正确性信号,可以作为额外的判别器监督);研究 GANPO 与 RLHF 的结合(将在线 PPO 的奖励信号与潜空间正则化结合);以及在多轮对话场景中的应用(潜空间的序列级反馈可能特别适合捕捉对话连贯性)。

复现评估

从复现角度来看,GANPO 具有较好的可复现性。作者已在 GitHub 上开源了代码(https://github.com/enyijiang/GANPO),这大大降低了复现门槛。训练数据使用的是 UltraFeedback 数据集,这是公开可用的大规模偏好数据集。实验涉及的两个基础模型(Gemma2-2B-it 和 Llama3-8B-Instruct)也都是公开可获取的。然而,复现仍面临一些挑战:首先,训练需要同时加载策略模型和参考模型,对于 Llama3-8B-Instruct 级别的模型,至少需要 2 张高端 GPU(如 A100 80GB);其次,对抗训练的稳定性对超参数敏感,论文提到的 $\lambda$、$\alpha$、$\eta$ 等需要仔细调优;第三,评估涉及多个外部工具(AlpacaEval-2.0、Skywork-Reward-V2 作为 oracle judge、IFEval 等),需要额外的设置。总体而言,对于有 GPU 资源和对抗训练经验的研究者,复现难度为中等。