自奖励序列蒙特卡罗用于掩码扩散语言模型 Self-Rewarding Sequential Monte Carlo for Masked Diffusion Language Models
通过并行粒子探索和轨迹级置信度权重,在推理时提升扩散语言模型生成质量
前置知识
掩码扩散语言模型 (MDLMs)
这是一类基于离散扩散过程的语言模型,其核心思想是通过逐步遮盖(mask)和恢复token来实现文本生成。前向过程将原始文本逐步遮盖为全[MASK]序列,反向过程则通过学习的模型参数 $p_\theta$ 逐步恢复被遮盖的token。与自回归模型不同,MDLMs可以并行生成多个token,通过迭代的低置信度重遮盖策略(low-confidence remasking)逐步从全遮盖状态 $x_T$ 恢复到完整文本 $x_0$。代表性模型包括MDLM、BD3-LMs等。
理解MDLMs是本文的基础,本文的自奖励SMC方法正是针对这类模型的采样过程进行改进。
序列蒙特卡罗 (SMC)
SMC是一种基于粒子的蒙特卡罗采样方法,通过维护N个并行的粒子(样本)来近似复杂的目标分布。每个粒子代表一个完整的轨迹,算法通过三个关键步骤迭代:重采样(resample)、传播(propagate)和重新加权(re-weight)。SMC通过重要性权重来评估每个粒子的质量,高权重的粒子被保留和复制,低权重的粒子被丢弃,从而引导采样过程向高概率区域集中。数学上,SMC维护未归一化的路径测度 $\tilde{\pi}_t(x_{t:T})$,并通过增量重要性权重 $\tilde{w}_{t-1}$ 进行递归更新。
SMC是本文方法的数学框架,理解其重采样和加权机制对于理解自奖励信号的设计至关重要。
置信度采样 (Confidence-based Sampling)
现有MDLMs采用的采样策略,模型在每个时间步对每个被遮盖的token计算预测置信度 $c_t(j) = p_\theta(\hat{x}_0(j) | x_t)$,即模型对token j的预测概率。然后只保留置信度最高的token进行解遮盖,其余token保持遮盖状态。这种策略通过Top-k或阈值策略实现,是一种贪婪的、逐步的解码方式。
这是本文要解决的核心问题——现有方法过度依赖局部置信度,导致短视的轨迹探索和生成质量下降。
Feynman-Kac模型
这是一种概率框架,用于描述粒子系统的演化。在本文中,作者定义势函数 $G_{t-1}(x_t, x_{t-1}) = \prod_{j \in S_t} p_\theta(x_{t-1}(j) | x_t)$ 来量化模型对在步骤t接受的token的置信度。势函数在SMC框架中扮演自奖励信号的角色,引导粒子向高置信度轨迹演化。这个数学框架将扩散采样与SMC联系起来,使得轨迹级置信度作为重要性权重的选择具有理论依据。
提供了将MDLMs采样过程形式化为SMC问题的数学基础,使本文方法不是启发式设计而是理论推导的结果。
有效样本大小 (ESS)
ESS是衡量粒子权重分布退化程度的指标,定义为 $ESS = 1/\sum_{i=1}^N (w_i^t)^2$。当ESS过小时,表明权重分布过于集中,大部分粒子权重接近零,采样效率低下。本文采用自适应重采样策略,仅当ESS低于N/2时才触发重采样,避免在权重分布均匀时进行不必要的重采样操作,提高了计算效率。
ESS是控制重采样频率的关键参数,直接影响算法的计算效率和采样质量之间的平衡。
研究动机
现有掩码扩散语言模型(MDLMs)在采样过程中存在严重的短视问题。具体而言,这些模型采用基于置信度的贪婪采样策略,在每个时间步只保留预测置信度最高的token,而将其余token重新遮盖。这种策略导致两个关键缺陷:首先,它使得生成过程对噪声高度敏感,因为一旦选择了次优的token,后续的生成轨迹将被锁定在局部最优路径上,无法恢复;其次,这种逐步的贪婪解码导致生成路径的多样性急剧下降,所有可能的生成轨迹都会收敛到相似的局部最优解。实验表明,这种短视的轨迹探索会导致生成质量显著下降,例如在MATH数学推理基准测试中,贪婪解码经常产生计算幻觉(如错误地将'3 Blinkets = 7 Blinkets'这样的恒等式),最终导致错误的答案。
本文的目标是本文的具体目标是开发一种推理时扩展(inference-time scaling)算法,能够在不修改预训练模型或需要外部奖励信号的情况下,系统性地提升MDLMs的采样质量。作者希望通过引入并行的轨迹探索机制,将原本单一的贪婪解码过程转变为多粒子交互的优化过程,从而克服现有方法的短视问题,生成更高质量、更多样化的文本输出。具体目标包括:在多个MDLMs变体上验证方法的通用性,在数学推理、代码生成等多个任务域上实现一致的性能提升,并保持生成文本的多样性。
与已有工作不同的是,本文的独特切入角度在于将序列蒙特卡罗(SMC)框架引入MDLMs的采样过程,提出了'自奖励'的概念。与现有的推理时扩展方法(如依赖外部奖励模型或人类偏好信号)不同,本文发现轨迹级置信度本身就是一个自然的、有效的奖励信号。具体而言,作者将MDLMs的采样过程重新表述为Feynman-Kac模型,定义势函数为被接受token的联合概率,从而使得轨迹级置信度成为SMC重要性权重的自然选择。这种设计不仅避免了对外部奖励模型的依赖,还保持了方法的通用性——可以应用于任意预训练的MDLMs和遮盖策略。此外,本文的方法是首个在MDLMs上实现无需额外训练的推理时扩展的工作,为扩散语言模型的性能提升开辟了一个新的维度。
核心方法
本文方法的整体思路可以分为三个层次:直觉层面,作者观察到现有的单轨迹贪婪解码容易陷入局部最优,因此考虑同时运行多个扩散过程(称为粒子)来并行探索不同的生成轨迹,就像同时派出多个探险队在迷宫中寻找出路,定期交流信息并保留最有希望的路径。技术路线层面,作者将MDLMs的采样过程重新形式化为序列蒙特卡罗(SMC)框架,其中每个粒子代表一个完整的生成轨迹,通过重采样、传播和重新加权三个步骤迭代更新。关键创新在于,作者发现模型自身的预测置信度可以作为自奖励信号,无需额外的奖励模型。实现层面,算法维护N个并行粒子,在每个扩散步对粒子进行评估和重采样,高置信度轨迹的粒子被保留和复制,低置信度轨迹的粒子被丢弃,最终选择权重最高的粒子作为输出。
本文的核心创新在于提出了轨迹级置信度作为自奖励信号的概念,这与现有方法存在本质区别。现有的推理时扩展方法通常依赖外部奖励模型(如人类偏好模型、任务特定的评估函数)来引导生成,这些方法需要额外的训练或精心设计的奖励函数,且难以泛化到新任务。本文则发现,MDLMs模型自身的预测置信度 $c_t(j) = p_\theta(\hat{x}_0(j) | x_t)$ 可以被自然地整合到SMC框架中,通过定义势函数 $G_{t-1}(x_t, x_{t-1}) = \prod_{j \in S_t} p_\theta(x_{t-1}(j) | x_t)$,使得轨迹级置信度成为SMC重要性权重的理论最优选择(见命题3.1)。这种自奖励机制的优势在于:1)无需外部奖励信号,保持方法的通用性;2)利用模型自身的'自我评估'能力,避免奖励模型与生成模型之间的分布不匹配;3)将推理时的并行计算能力转化为采样质量的提升,实现了计算资源与生成性能的有效转换。
方法步骤详情
本文方法的具体步骤如下:首先,初始化N个粒子,每个粒子都是完全遮盖的序列 $x_T$,初始权重为 $w_i^T = 1/N$。然后,在每个时间步t(从T到1),执行三个核心步骤:1)重采样(Resample):根据当前权重 $\{w_i^t\}_{i=1}^N$ 对粒子进行重采样,高权重的粒子被复制,低权重的粒子被丢弃,使用有效样本大小(ESS)自适应地决定是否进行重采样(当ESS < N/2时触发);2)传播(Propagate):对每个粒子,使用预训练模型 $p_\theta$ 采样预测 $\hat{x}_0 \sim p_\theta(x_t)$,计算置信度 $c_t^i$,选择更新集合 $S_t^i$(通过Top-k或阈值策略),然后根据MDLMs的反向转移核 $K_t(x_t, x_{t-1})$ 采样新的粒子状态;3)重新加权(Re-weight):根据命题3.1,计算增量重要性权重 $\tilde{w}_{t-1}^i = \prod_{j \in S_t} c_t(j)$,这是轨迹级置信度的累积,并归一化得到新的权重。最终,选择权重最高的粒子作为输出 $\hat{x}_0 = x_0^{i^*}$,其中 $i^* = \arg\max_i \tilde{w}_i^0$。为了提高采样效率,本文还采用了Gumbel-Max技巧进行离散token采样,通过添加Gumbel噪声来控制采样的随机性。
技术新颖性
本文的技术新颖性体现在多个方面:首先,从理论角度,作者首次将MDLMs的采样过程与序列蒙特卡罗理论建立了严格的数学联系,通过命题3.1证明了轨迹级置信度作为SMC重要性权重的理论最优性,这不是启发式设计而是自然推导的结果。其次,从方法角度,本文提出的自奖励机制是一个全新的概念——利用模型自身的预测置信度作为奖励信号,避免了对外部奖励模型的依赖,这与现有的RLHF、DPO等方法形成鲜明对比。第三,从实现角度,本文将Feynman-Kac模型引入扩散语言模型,定义了合适的势函数,使得SMC的重采样机制能够有效地引导生成过程向高置信度轨迹集中。最后,从实验角度,本文的方法展现出惊人的通用性——无需任何额外训练或任务特定设计,就能在多个模型架构(MDLM、BD3-LMs、LLaDA、Dream)和多个任务域(数学推理、代码生成)上实现一致的性能提升,这在推理时扩展方法中是非常罕见的。
实验结果
本文的核心发现可以归纳为以下几个方面:在样本质量评估中,自奖励SMC在MDLM和BD3-LMs上实现了显著的生成困惑度(Gen. PPL)下降。具体而言,MDLM在序列长度L=1024时的困惑度从46.8降至25.8(降低44.9%),在L=2048时从41.3降至25.9(降低37.3%)。BD3-LMs与SMC结合后,最佳配置(L'=4)在L=1024时达到16.1的困惑度,在L=2048时达到15.1,这已经非常接近自回归模型的14.1和13.2的水平。在扩散大语言模型(dLLMs)的评估中,LLaDA-1.5在四个基准测试上的平均准确率从49.3%提升至52.1%(+2.8%),Dream-7B从51.9%提升至56.4%(+4.5%)。特别值得注意的是,本文方法在数学推理(GSM8K、MATH)和代码生成(HumanEval、MBPP)两类任务上都实现了持续改进,表明其强大的泛化能力。在粒子数量扩展实验中,从N=1到N=4,性能呈现单调递增趋势,验证了方法的可扩展性。在温度敏感性分析中,本文方法在0.0到1.0的整个温度范围内都保持稳定性能,而基线模型(特别是Dream-7B)在低温时会出现严重的性能崩溃。在零样本评估中,LLaDA-1.5在MATH任务上从39.0%提升至44.8%(+5.8%),Dream-7B从48.8%提升至51.6%(+2.8%),证明了轨迹级置信度作为隐式奖励信号的鲁棒性。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| GSM8K (数学推理,5-shot) | 准确率 (%) | LLaDA-1.5: 80.7-82.0; Dream-7B: 78.0 | LLaDA-1.5: 79.8-80.4; Dream-7B: 76.2-78.0 | LLaDA-1.5: +0.9-1.6%; Dream-7B: +0.0-1.8% |
| MATH (数学推理,4-shot) | 准确率 (%) | LLaDA-1.5: 41.8-45.4; Dream-7B: 45.2-47.6 | LLaDA-1.5: 38.2-41.4; Dream-7B: 41.6-44.6 | LLaDA-1.5: +3.6-4.0%; Dream-7B: +3.0-3.6% |
| HumanEval (代码生成,0-shot) | 准确率 (%) | LLaDA-1.5: 41.5; Dream-7B: 53.7 | LLaDA-1.5: 35.4-38.7; Dream-7B: 45.1-47.9 | LLaDA-1.5: +2.8-6.1%; Dream-7B: +5.8-8.6% |
| MBPP (代码生成,3-shot) | 准确率 (%) | LLaDA-1.5: 43.2-44.2; Dream-7B: 46.4-48.6 | LLaDA-1.5: 40.2-40.4; Dream-7B: 39.6-42.0 | LLaDA-1.5: +2.8-4.0%; Dream-7B: +4.4-6.8% |
| 生成困惑度 (Gen. PPL, L=1024) | 困惑度 (↓) | MDLM: 25.8; BD3-LMs (L'=4): 16.1 | MDLM: 46.8; BD3-LMs (L'=4): 25.7 | MDLM: -21.0 (44.9%降低); BD3-LMs: -9.6 (37.4%降低) |
局限与改进
尽管本文方法取得了显著成果,但仍存在一些局限性:首先,推理时计算成本的增加是固有的——运行N个并行粒子意味着计算量增加N倍,虽然作者指出这是推理时扩展方法的固有权衡,且可以通过调整粒子数量来控制,但在实际部署中仍需考虑延迟和资源限制。其次,轨迹级置信度完全依赖模型自身的似然估计,这虽然保持了方法的通用性,但并未显式优化下游任务目标(如推理正确性或人类偏好)。作者在附录B中承认,未来可以探索更 informed 的提议分布,如前瞻(look-ahead)或扭曲(twisted)扩散转移,以进一步提高采样效率和质量。第三,本文的方法在低温(τ接近0)时效果不如高温时显著,这可能是因为低温时采样的随机性较低,粒子探索的多样性受限。第四,虽然作者在多个模型和任务上验证了方法,但主要集中在数学推理和代码生成两类任务上,对于创意写作、开放域对话等任务的效果尚未验证。此外,对于特别长的序列生成,轨迹级置信度的累积可能会导致权重分布的退化,尽管ESS自适应重采样机制可以缓解这个问题,但在极端情况下仍需要进一步优化。
独立分析的弱点
本文的弱点主要集中在以下几个方面:1)计算效率问题:虽然作者采用了自适应重采样策略(当ESS < N/2时触发),但运行多个粒子仍然带来了显著的计算开销。在实际应用中,这可能限制方法的部署场景,特别是对于需要低延迟的应用。改进方向包括开发更高效的粒子管理策略,如动态调整粒子数量,或在计算资源受限时采用选择性并行化。2)奖励信号的局限性:当前的轨迹级置信度完全基于模型自身的似然,这可能导致'自我强化'的问题——如果模型对某个错误的token有高置信度,这个错误会被放大。改进方向可以是引入外部验证信号(如事实检查器、代码执行器)或设计混合奖励机制。3)粒子多样性的维持:在重采样过程中,高权重粒子被复制可能导致粒子多样性的丧失,陷入'粒子贫化'问题。改进方向包括引入变异操作(mutation)或使用更 sophisticated 的重采样策略(如系统重采样)。4)温度敏感性:虽然本文方法在温度范围内表现稳定,但在极端低温时性能仍有下降。改进方向可以是设计自适应的温度调度策略,或探索替代的噪声注入机制。
未来方向
作者在附录B中提出了几个未来研究方向:首先,探索更 informed 的提议分布,如前瞻(look-ahead)扩散转移,通过预测未来步骤的置信度来更好地引导当前步骤的采样。其次,研究扭曲(twisted)扩散转移,通过修改转移核来更有效地探索高置信度区域。第三,将方法扩展到更广泛的扩散模型架构,如连续扩散模型或多模态扩散模型。基于本文的成果,还可以延伸以下方向:1)开发自适应的粒子数量调整算法,根据任务难度和计算预算动态调整并行粒子数;2)研究轨迹级置信度与其他奖励信号(如人类偏好、任务特定指标)的融合机制;3)探索将本文方法与模型微调结合,通过强化学习进一步优化模型的自奖励能力;4)在更多任务域(如机器翻译、文本摘要、创意写作)上验证方法的通用性;5)研究长期轨迹依赖问题,开发更有效的长期置信度积累机制。
复现评估
本文在可复现性方面表现良好:1)代码开源:作者已在GitHub上公开了完整代码(https://github.com/Algolzw/self-rewarding-smc),包括所有实验设置和配置;2)数据公开:所有实验使用的数据集(OpenWebText、GSM8K、MATH、HumanEval、MBPP)都是公开可获取的标准基准;3)模型公开:本文使用的预训练模型(MDLM、BD3-LMs、LLaDA-1.5、Dream-7B)都是公开发布的,可以直接下载使用;4)计算资源:作者在单个NVIDIA H200 GPU上测试MDLM和BD3-LMs,在8个NVIDIA A800 GPU上测试dLLMs,这对于研究机构来说是可获取的;5)超参数设置:作者详细报告了所有关键超参数,包括重采样频率(128)、默认粒子数(4)、温度(τ=1)等,便于复现;6)实验细节:作者提供了详细的算法伪代码(Algorithm 1)和数学推导(Appendix A),使得方法实现清晰明确。整体而言,本文的复现难度为中等,主要挑战在于获取足够的计算资源来运行大规模dLLMs实验。
论文图表
该图展示了另一个算术推理问题('Simplify 15 · 87 ÷ 1220')的生成轨迹对比。左侧贪婪解码在第一步就产生了计算幻觉(忽略了15/87的分子中的'1'),导致后续计算全部错误,最终得出错误答案4/7。右侧SR-SMC保持了正确的计算步骤,最终得出正确答案8/21。这个示例进一步展示了贪婪解码在数值计算中的脆弱性,以及SR-SMC通过轨迹探索来纠正错误的能力。
这个额外的定性示例强化了Figure 4的结论,展示了SR-SMC在不同数学问题类型上的有效性,增加了证据的说服力。
该图展示了一个物理推理问题('At 50 miles per hour, how far would a car travel in 2 34 hours?')的生成轨迹对比。左侧贪婪解码在将混合数转换为假分数时产生了严重错误(将2 3/4转换为1/4),导致最终答案12.5英里完全错误。右侧SR-SMC正确地完成了转换(2 3/4 = 11/4),并得出正确答案137 1/2。这个示例展示了SR-SMC在涉及单位转换的物理推理中的优势。
这个示例展示了SR-SMC在不同领域(物理推理)和不同类型错误(单位转换错误)上的鲁棒性,进一步证明了方法的通用性。