← 返回 2026-02-13

T3D:通过轨迹自蒸馏与直接判别优化实现少步扩散语言模型 T3D: Few-Step Diffusion Language Models via Trajectory Self-Distillation with Direct Discriminative Optimization

Tunyu Zhang, Xinxi Zhang, Ligong Han, Haizhou Shi, Xiaoxiao He, Zhuowei Li, Hao Wang, Kai Xu, Akash Srivastava, Vladimir Pavlovic, Dimitris N. Metaxas 📅 2026-02-12 👍 9 2026-07-13 08:35
少步推理 扩散语言模型 推理加速 文本生成 自蒸馏

轨迹自蒸馏+DDO目标函数,让扩散语言模型用更少步骤生成高质量文本

前置知识

掩码扩散语言模型(MDLM)

MDLM 是一种基于扩散过程的离散文本生成模型。它的前向过程通过逐步将 token 替换为特殊的掩码 token [M] 来腐蚀文本序列,腐蚀比例由噪声调度 $\alpha_t = 1 - t$ 控制。反向过程则学习从含噪序列 $x_t$ 恢复更干净的序列 $x_s$($s < t$)。与自回归模型逐 token 生成不同,MDLM 可以并行解码多个 token,从而实现快速生成。当前主流的大规模扩散语言模型如 LLaDA、SDAR 等都采用这种范式。

T3D 的核心方法(轨迹自蒸馏)和理论分析(因子化误差)都建立在 MDLM 的反向去噪过程之上,不理解 MDLM 就无法理解论文的技术动机和贡献。

Token 因子化近似(Mean-Field Parameterization)

在 MDLM 中,反向转移概率 $p_\theta(x_s | x_t)$ 理论上是一个关于所有 token 的联合分布,但在实际实现中被近似为各 token 独立分布的乘积:$p_\theta(x_s | x_t) \approx \prod_{i=1}^{L} p_\theta(x_s^i | x_t)$。这种均场近似使得模型可以用神经网络独立预测每个位置的 token,大幅降低了计算复杂度。然而,当解码步数减少时(即 $t$ 和 $s$ 之间的间隔增大),token 之间的依赖关系变得更强,这种独立性假设的误差就会急剧增大。

因子化误差是本文要解决的核心瓶颈。论文用条件总相关性(Conditional TC)来量化这个误差,并证明轨迹自蒸馏能有效降低它,这是全文最重要的技术洞察。

知识蒸馏(Knowledge Distillation)

知识蒸馏是一种模型压缩技术,用一个大而强的「教师模型」来指导一个小而快的「学生模型」学习。在扩散模型领域,蒸馏的目标是让学生模型用更少的去噪步骤达到接近教师模型的生成质量。常见的做法包括端点蒸馏(只监督最终输出)和轨迹蒸馏(监督整个去噪过程的中间状态)。T3D 属于后者,但专门为 MDLM 设计了轨迹级监督方案。

T3D 的名字「Trajectory Self-Distillation」直接来源于此。理解蒸馏范式的差异(端点 vs 轨迹)是理解本文方法创新的关键。

直接判别优化(DDO)

DDO 是一种受 GAN 启发的训练目标,但不需要额外的判别器网络。它通过似然比隐式参数化判别器:用学习中的模型 $p_\theta$ 作为「生成器」,用冻结的参考模型 $p_{\theta_{ref}}$ 提供「假样本」,最优判别器为 $d_\theta(x) = \sigma(\log \frac{p_\theta(x)}{p_{\theta_{ref}}(x)})$。DDO 的优化目标等价于最小化反向 KL 散度,具有模式寻求(mode-seeking)的特性,鼓励模型集中概率质量到高置信度的生成路径上。

DDO 是 T3D 区别于 ReDi 等前向 KL 方法的核心技术。论文发现 DDO 的模式寻求特性在推理任务上尤其重要,能产生更锐利的预测和更好的轨迹对齐。

条件总相关性(Conditional Total Correlation)

条件总相关性 TC 衡量的是联合分布与其因子化近似之间的 KL 散度:$\text{TC}_{J}(x_s | x_t) := \mathbb{E}_{x_t} \left[ \text{KL}\left(p(x_s | x_t) \| \prod_{i=1}^{L} p(x_s^i | x_t)\right) \right]$。它直接量化了 token 独立性假设的误差大小。当解码间隔 $(s, t)$ 增大时,TC 急剧上升,说明少步解码面临的因子化误差随步数压缩而恶化。

这是论文理论分析的核心工具。Theorem 4.1 证明轨迹自蒸馏能降低 TC,而 Corollary 4.2 证明端点蒸馏在 MDLM 中无法降低 TC,这构成了本文方法的理论基础。

研究动机

扩散大语言模型(DLLMs)虽然能通过并行解码实现快速文本生成,但在实际应用中面临一个根本性瓶颈:减少解码步数会导致输出质量严重退化。具体来说,当模型从多步解码压缩到少步解码时,每一步被迫同时预测更多 token,但 MDLM 的 token 因子化近似假设各位置独立预测,无法捕捉 token 之间的依赖关系。论文用条件总相关性(TC)量化了这个问题:在 MATH500 数据集上的实验表明,随着解码间隔增大,TC 急剧上升(如 Figure 1(b) 所示),导致生成质量急剧下降。例如 SDAR-4B-Chat 在 MATH500 上全步解码准确率为 54.40%,但使用少步解码(TokPS=2)时直接降到原始模型水平。现有的自蒸馏方法如 ReDi 采用端点监督(rectified-flow 风格),只关注从全掩码状态到最终输出的映射,但论文理论证明这种做法在 MDLM 中根本无法降低因子化误差,因为 MDLM 的先验 $p(x_T) = \delta_m$ 是确定性的,使得端点监督退化为数据分布的无条件总相关性——一个与模型无关的常数。

本文的目标是本文的核心目标是让扩散语言模型在激进的少步解码预算下(例如每个 block 仅用 2-4 步解码),仍能保持接近全步解码的生成质量。具体而言,论文希望在推理任务(MATH500、GSM8K)和代码生成任务(MBPP、HumanEval)上,将少步解码与全步解码之间的准确率差距大幅缩小。同时,论文还希望这种少步蒸馏不会「遗忘」原有的全步扩散能力——即蒸馏后的模型在恢复全步解码时仍能保持原始性能。此外,论文还希望蒸馏后的模型能兼容动态解码策略,在自适应推理场景下也能获益。

与已有工作不同的是,本文抓住了一个被前人忽视的关键问题:MDLM 中端点监督的理论缺陷。ReDi 等方法借鉴了连续扩散模型中的 rectified-flow 蒸馏思想,但论文通过 Corollary 4.2 揭示了一个根本性区别——在 MDLM 中,由于掩码先验是确定性的,端点监督 $\text{TC}_J(x_0 | x_T)$ 退化为数据分布的固有常数,无法被任何模型优化降低。这意味着 ReDi 式的方法在 MDLM 中存在天然的理论天花板。T3D 的独特切入角度是:不去优化端点到端点的映射,而是去匹配整个去噪轨迹上的中间状态——在非平凡的解码区间 $(s, t)$ 上进行蒸馏,这些区间正是少步解码实际工作的地方。论文进一步用 DDO 替代前向 KL,实现模式寻求的轨迹匹配,这在推理任务中尤为重要。

核心方法

T3D 的方法可以用一个直观的类比来理解:想象一个经验丰富的老师(教师模型)在黑板上演示如何解一道数学题,每一步都有详细的推导过程(全步去噪轨迹)。如果只让学生看最终答案(端点蒸馏),学生学到的只是结论;但如果让学生跟着老师的每一步推导来练习(轨迹蒸馏),学生就能学到解题的思维方式和推理结构。T3D 的技术路线是:首先用教师模型生成完整的去噪轨迹(从全掩码状态到干净文本的中间状态序列),然后用这些轨迹上的中间状态对来训练少步学生模型。关键创新是用 DDO 目标替代传统的前向 KL,使学生专注于教师轨迹中的高概率模式,而非平滑地覆盖所有可能。此外,还引入了路径一致性正则化,给更早解码的 token 更大的训练权重,因为早期解码的错误更容易在后续步骤中传播。整体框架如 Figure 3 所示,训练算法简洁高效。

T3D 最本质的创新在于两个层面的洞察。第一个是理论层面:论文证明了在 MDLM 中,轨迹级监督能严格降低条件总相关性(Theorem 4.1: $\mathbb{E}_t[\text{TC}_{J_{\theta^*}}(x_s | x_t)] \leq \mathbb{E}_t[\text{TC}_{J_\phi}(x_s | x_t)]$),而端点监督则完全无效(Corollary 4.2)。这个理论结果直接解释了为什么 ReDi 在少步场景下表现不佳——它优化的是一个无法降低因子化误差的目标。第二个是方法层面:用 DDO(直接判别优化)替代前向 KL 作为轨迹匹配目标。前向 KL 是模式覆盖(mode-covering)的,会产生过度平滑的预测;而 DDO 引入反向 KL 风格的模式寻求(mode-seeking)行为,鼓励学生集中概率质量到教师的高置信度模式上。论文的 Figure 4 展示了这种差异:DDO 在全掩码阶段保持较高熵(广泛探索),在后续阶段产生更低的熵(锐利精炼),形成「探索-利用」的阶段化行为模式。这与 ReDi 等方法的区别不是量变,而是质变——从「无法降低误差」到「有效降低误差」。

方法步骤详情

T3D 的训练分为三个清晰的步骤。第一步是轨迹收集:用预训练的教师模型 $p_\phi$ 在训练集上进行全步解码(例如 block size 4、4 步/block 的静态解码),记录每个 token 的解码顺序,然后根据这个顺序构造中间状态对 $(x_0, x_t)$。具体来说,给定最终生成的干净序列 $x_0$ 和其解码顺序,在时间步 $t$ 处将尚未解码的 token 替换为掩码 token,得到对应的含噪序列 $x_t$。第二步是轨迹蒸馏训练:学生模型 $p_\theta$ 从教师模型初始化,使用 DDO 目标函数进行训练。DDO 损失 $\mathcal{L}_{\text{traj-DDO}}$ 包含两项——第一项鼓励学生对教师生成的样本赋予比参考模型 $p_{\theta_{ref}}$ 更高的似然,第二项惩罚学生对参考模型样本的过度估计。参考模型每 10 个全局步从当前学生更新一次(多轮自博弈更新)。同时计算路径一致性正则化损失 $\mathcal{L}_{\text{path}} = -\mathbb{E}\left[\sum_i w_i \log p_\theta(x_0^i | x_t^{(i)})\right]$,其中权重 $w_i = \frac{B - \pi_i + 1}{B}$,$\pi_i$ 是 token $x_0^i$ 的解码步骤,越早解码的 token 权重越大。第三步是推理:训练完成后,学生模型可以直接用少步解码(例如 2 步/block)进行推理,跳过教师需要的中间步骤。此外,训练时还混入随机 token 以提高鲁棒性(Mixture of Random Tokens 技术)。

技术新颖性

T3D 的技术新颖性体现在三个维度。第一,它首次为 MDLM 建立了轨迹蒸馏的严格理论基础,证明了轨迹监督 vs 端点监督的本质区别不是经验性的而是理论性的——端点监督在 MDLM 中存在不可逾越的天花板(Theorem 4.1 和 Corollary 4.2)。第二,它将 DDO 引入扩散语言模型的蒸馏场景,这是一种全新的目标函数选择。与 ReDi 使用的前向 KL 不同,DDO 产生反向 KL 风格的模式寻求行为,论文用 Figure 4 的熵分析实验展示了这种行为差异:DDO 在全掩码阶段保持探索性,在后续阶段实现锐利精炼。第三,路径一致性正则化是一个轻量但有效的设计,它基于一个直觉观察——在压缩的解码过程中,早期 token 的预测错误会传播到后续步骤,因此应该给它们更大的训练权重。实验表明,这种早 token 加权策略一致优于均匀加权和晚 token 加权(Figure 5)。这三者结合使 T3D 在方法论上与 ReDi、dParallel 等前工作形成了清晰的区分。

Approximation Error Surface Across Decoding Interval
Figure 2: Approximation Error Surface Across Decoding Interval
Overview of T3D
Figure 3: Overview of T3D
Average prediction entropy during trajectory distillation
Figure 4: Average prediction entropy during trajectory distillation

实验结果

T3D 在多个基准测试和模型规模上展示了全面且一致的改进。在 SDAR-4B-Chat 上的少步解码实验中,T3D 在 MATH500 上取得了 60.00% 的准确率(TokPS=2, Block Size=4),相比原始模型的 54.40% 提升了 +5.6 个百分点,而 ReDi 仅为 41.00%(下降 13.4 个百分点),dParallel 为 52.60%。在更激进的 TokPS=4 设置下,T3D 达到 47.80%,而原始模型仅为 13.80%,实现了 +246% 的相对提升。在 LLaDA-8B-Instruct 上,T3D 同样表现最佳:TokPS=4 时平均准确率 74.75%(原始模型 68.71%,+8.79%),TokPS=8 时平均准确率 47.13%(原始模型 17.11%,+175.47%)。值得注意的是,T3D 在代码生成任务上也表现优异:在 SDAR-4B-Chat 的 MBPP 上达到 38.80%(原始 34.20%),HumanEval 达到 51.83%(原始 49.39%)。在全步解码保持实验中(Table 3),T3D 在恢复全步解码后性能几乎不退化:SDAR-4B-Chat 上 MATH500 达到 70.00%(原始 68.00%),GSM8K 达到 89.31%(原始 89.84%),甚至略优于原始模型,而 ReDi 和 dParallel 则出现严重退化。在动态解码实验中(Figure 6),T3D 在 GSM8K 上实现 +10.8% 绝对准确率提升和 1.45 倍吞吐量提升。消融实验(Table 4)表明,轨迹蒸馏贡献了最大提升(从 16.80% 到 38.80%,+130.95%),DDO 进一步提升到 43.20%,路径正则化再提升到 45.00%。多种子实验(Table 7)确认 T3D 的改进稳定可靠:MATH500 上标准差仅 0.31。

Few-step accuracy comparison across baselines on SDAR-1.7B-Chat and SDAR-4B-Chat
Table 1: Few-step accuracy comparison across baselines on SDAR-1.7B-Chat and SDAR-4B-Chat
Few-step accuracy comparison on LLaDA
Table 2: Few-step accuracy comparison on LLaDA
Preserving diffusion performance under full decoding
Table 3: Preserving diffusion performance under full decoding
Component-wise ablation under aggressive few-step decoding
Table 4: Component-wise ablation under aggressive few-step decoding
Dynamic decoding results on GSM8K using SDAR-4B-Chat
Figure 6: Dynamic decoding results on GSM8K using SDAR-4B-Chat
查看结构化数据
任务指标本文基线提升
MATH500 (SDAR-4B-Chat, TokPS=2, BS=4) Accuracy (%) 60.00 54.40 (Original), 41.00 (ReDi), 52.60 (dParallel) +5.6 vs Original, +19.0 vs ReDi
MATH500 (SDAR-4B-Chat, TokPS=4, BS=8) Accuracy (%) 44.80 16.80 (Original), 20.20 (ReDi), 40.80 (dParallel) +167.1% vs Original
MATH500 (LLaDA-8B, TokPS=8) Accuracy (%) 25.20 3.00 (Original), 6.80 (ReDi), 15.60 (dParallel) +740% vs Original, +61.2% vs dParallel
GSM8K (LLaDA-8B, TokPS=4) Accuracy (%) 75.89 70.43 (Original), 68.39 (ReDi), 71.49 (dParallel) +5.46 vs Original
MBPP (SDAR-4B-Chat, TokPS=2, BS=4) Accuracy (%) 38.80 34.20 (Original), 20.00 (ReDi), 23.80 (dParallel) +4.60 vs Original, +18.80 vs ReDi
HumanEval (LLaDA-8B, TokPS=4) Accuracy (%) 94.50 87.80 (Original), 91.50 (ReDi/dParallel) +6.70 vs Original
MATH500 全步解码保持 (SDAR-4B-Chat) Accuracy (%) 70.00 68.00 (Original), 50.40 (ReDi), 13.20 (dParallel) +2.0 vs Original, +38.9% vs ReDi

局限与改进

论文明确承认了两个固有局限性。第一,由于 T3D 依赖自蒸馏,学生模型的性能上限受限于教师模型的质量——如果教师本身在某些任务上表现不佳,蒸馏无法突破这个天花板。第二,轨迹收集需要教师模型进行全步推理(rollout),这带来了与数据集大小和解码预算成正比的离线计算开销。以 SDAR-4B-Chat 为例,轨迹收集约需 1.5 小时(使用 JetEngine 加速),T3D 训练约需 8 小时,而 ReDi 和 dParallel 仅需 4-5 小时。此外,从我的独立观察来看:(1)论文主要在数学推理和代码生成任务上评估,虽然有 WinoGrande 的额外实验,但在开放域对话、创意写作等多样化任务上的效果尚不明确;(2)DDO 的模式寻求特性可能在需要多样性的场景(如故事生成、头脑风暴)中反而成为劣势,因为它倾向于收敛到教师的少数高置信模式;(3)论文的实验基于 SDAR 和 LLaDA 两个模型家族,尚未验证在更大规模模型(如 70B+)上的效果。

独立分析的弱点

从独立分析的角度看,T3D 存在几个值得改进的弱点。首先,DDO 的参考模型更新策略(每 10 步更新一次)是一个较为粗糙的启发式设计,在训练早期参考模型尚未稳定时可能导致训练不稳定。一个改进方向是采用指数移动平均(EMA)或渐进式更新策略,使参考模型的变化更平滑。其次,路径一致性正则化的权重设计 $w_i = \frac{B - \pi_i + 1}{B}$ 假设所有早期 token 同等重要,但在实际推理中,不同位置的 token 对最终答案的影响差异很大(例如数学推理中最终答案 token 比中间推导 token 更关键)。可以考虑基于 token 的信息量或梯度敏感度自适应调整权重。第三,T3D 的轨迹收集使用静态解码策略,但训练后的评估覆盖了动态解码场景,两者之间存在分布偏移。如果在轨迹收集阶段也引入动态解码或多样化的解码策略,可能进一步提升动态解码场景下的表现。第四,论文没有探索混合蒸馏策略——例如先用端点蒸馏快速初始化,再用轨迹蒸馏精细调优,这种两阶段方案可能在训练效率和最终性能之间取得更好的平衡。

未来方向

论文的成果为多个研究方向打开了大门。首先,作者提出的一个自然延伸是将 T3D 应用于更大的模型规模(如 70B 参数级别),验证轨迹自蒸馏在模型规模扩展时是否仍能保持类似的相对收益。其次,可以探索 T3D 与系统级优化(如 KV 缓存、Tensor Parallel)的结合,因为论文的贡献是正交于这些技术的。第三,DDO 的模式寻求特性使其天然适合推理任务,但在开放域生成任务中,可能需要开发自适应的模式覆盖/模式寻求切换机制。第四,论文的理论分析(Theorem 4.1)为研究「什么样的轨迹监督最有效」提供了框架,未来可以探索更细粒度的轨迹采样策略——例如对因子化误差大的区间给予更多监督。第五,T3D 的自蒸馏范式可以扩展到多轮蒸馏(iterative distillation),即用 T3D 的输出作为新的教师进行下一轮蒸馏,逐步压缩到更极端的少步设置。最后,将轨迹蒸馏思想推广到其他离散扩散模型(如图像离散化、音频 token 化)也是一个有前景的方向。

复现评估

论文承诺在正式接收后开源代码(GitHub 仓库已创建:https://github.com/Tyrion58/T3D),但目前提交时代码尚未公开。复现所需的关键资源包括:(1)预训练模型:SDAR-1.7B-Chat、SDAR-4B-Chat 和 LLaDA-8B-Instruct,这些都是已开源的模型;(2)训练数据:MATH 数据集(数学推理)和 PrimeIntellect 数据集(代码生成),均为公开数据集;(3)硬件需求:8 块 NVIDIA A100-40GB GPU,这是目前大多数研究团队可获得的资源;(4)推理加速:JetEngine 推理框架已开源。总训练成本约 9.5 小时(轨迹收集 1.5 小时 + 训练 8 小时),在 8 块 A100 上属于中等开销。复现难度中等——核心算法简洁(Algorithm 1 仅 7 行),但轨迹收集和 DDO 的多轮自博弈更新需要仔细实现。建议复现时先在 SDAR-1.7B-Chat + MATH500 上验证,因为这是计算开销最小的设置。