世界模型中的幻觉是可预测和可预防的 Hallucination in World Models is Predictable and Preventable
从数据覆盖角度研究世界模型幻觉,提出三种检测方法并验证缓解效果
前置知识
世界模型
世界模型是一个学习环境动态的生成模型,能够根据当前状态和动作预测未来的观察。它通常包含编码器-解码器对(将观测压缩到潜在空间)和动力学模型(预测下一个潜在状态)。世界模型被广泛用于基于模型的强化学习,通过在想象空间中进行规划来训练策略,而不需要与真实环境频繁交互。
本文核心研究对象,理解世界模型的架构和工作原理是理解论文提出的三种幻觉模式(感知、动作边缘化、场景发散)的基础。
Flow Matching
Flow Matching是一种生成建模技术,通过学习从噪声分布到目标分布的概率路径来生成样本。与扩散模型不同,Flow Matching使用连续时间下的向量场定义路径,训练目标是学习这个向量场。本文使用的shortcut flow-matching目标将经验一步回归项与自一致性bootstrap相结合,实现快速采样(仅需4个Euler子步)。
论文中动力学模型使用Flow Matching进行训练,理解这一技术有助于理解flow instability指标的计算原理和物理意义。
Tokenizer往返残差
这是一个衡量tokenizer重构质量的指标,计算方式为ur等于z-hat减去Encode加上Decode括号z-hat括号的范数,即动力学模型预测的下一个潜在状态z-hat经过解码后再重新编码,与原始z-hat之间的距离。如果z-hat偏离了tokenizer学习的流形,往返过程会产生较大残差。
这是论文提出的三个幻觉预测器之一,用于检测感知幻觉。理解其计算原理有助于理解为什么它能有效预测模型何时会产生幻觉。
模型预测控制MPC
模型预测控制是一种基于模型的规划方法,通过在世界模型中模拟多条未来轨迹,选择使累积奖励最大的动作序列。本文使用交叉熵方法(CEM)进行优化,预测水平H等于32,每16步重新规划。MPC直接在世界模型的rollout上进行决策,因此模型的幻觉会直接影响控制性能。
论文使用MPC作为下游任务评估方法,通过MPC性能来间接衡量世界模型的质量。理解MPC有助于理解为什么幻觉问题在控制场景中特别重要。
研究动机
现代生成世界模型能够生成越来越真实、动作可控的未来场景,但它们频繁产生幻觉:生成的rollouts在视觉上流畅且表面上看似合理,但实际上偏离了真实动态。这个问题之所以严重,是因为幻觉轨迹会被直接输入到下游规划器和策略中。以模型预测控制(MPC)为例,rollout期间的静默幻觉会转化为控制期间的静默错误决策,导致智能体做出次优甚至危险的行为。尽管这些模型的保真度不断提高,但关于rollout在何时何地会产生幻觉,以及为什么会这样,人们的理解仍然很有限。传统观点认为幻觉是需要更大骨干网络和更多训练计算来解决的架构问题,但作者认为世界模型中的幻觉主要是数据覆盖问题。
本文的目标是本文的目标是从数据覆盖的角度系统性地理解和解决世界模型中的幻觉问题。具体包括:1)建立大规模多任务视觉世界建模数据集MMBench2,包含427小时视频、210个任务、真实动作和奖励标签;2)在世界模型流水线的不同阶段(tokenizer、动力学模型、多步rollout)识别并刻画三种截然不同的幻觉模式;3)开发三种无需标签或额外训练的幻觉预测器,能够在运行时准确预测模型何时会产生幻觉;4)提出两种缓解幻觉的方法:覆盖感知训练(通过重新加权采样在训练时填补覆盖缺口)和定向数据收集(将预测器作为好奇心奖励);5)验证将预训练的350M参数世界模型适应到完全未见过的环境仅需50条真实轨迹。
与已有工作不同的是,本文的独特切入角度在于将世界模型中的幻觉重新定义为数据覆盖问题而非架构问题。作者认为幻觉集中在状态-动作空间的低覆盖区域,因此可以通过轻量级的数据中心信号来检测和缓解。这一观点与主流的更大模型加更多算力思路形成鲜明对比。更重要的是,作者发现单一的底层原因——覆盖缺口——解释了模型流水线每个阶段的失败:tokenizer、动作条件化和多步rollout,并表现为三种不同的失败模式。这种统一的视角使得可以使用相同的信号既检测幻觉又缓解它。此外,作者强调现有的幻觉检测方法通常需要额外标签或训练,而本文提出的预测器完全不需要这些,使其特别适合运行时检测。
核心方法
本文的方法论建立在幻觉是数据覆盖问题这一核心假设之上。整体思路分为三个层次:首先建立大规模多任务数据集MMBench2并训练350M参数的Dreamer 4世界模型;然后在模型流水线的三个不同阶段识别三种幻觉模式,并为每种模式设计对应的预测器;最后提出两种互补的缓解策略——覆盖感知训练(在训练时填补覆盖缺口)和定向数据收集(在线填补缺口)。直觉上,如果幻觉确实源于数据覆盖不足,那么:1)幻觉应该集中在训练数据覆盖稀疏的状态-动作区域;2)应该能够从模型内部信号预测何时会发生幻觉;3)通过针对性增加这些区域的数据应该能够减少幻觉。论文通过一系列实验验证了这一假设的正确性。
本文的核心创新在于提出了一套完整的幻觉检测与缓解框架,其本质区别在于:1)将幻觉问题从架构视角转向数据覆盖视角,认为覆盖缺口是所有失败模式的根本原因;2)提出了三种无需额外训练的幻觉预测器(tokenizer往返残差ur、流不稳定性uf、种子间方差us),它们机制上不同但都预测相同的潜在错误;3)将预测器双重使用:既用于运行时检测,又作为好奇心奖励驱动定向数据收集;4)提出了覆盖感知训练策略,通过从按帧均匀采样改为按任务均匀采样,在不增加数据的情况下减少了所有三种失败模式。这些创新使得可以用相同的数据中心信号既检测又缓解幻觉,形成了一个闭环解决方案。
方法步骤详情
方法分为四个主要步骤。第一步是构建MMBench2数据集并训练基础世界模型。MMBench2包含65600条轨迹(427小时224乘224视频,共2300万帧),跨越210个连续控制任务,涵盖10个领域(DMControl、Meta-World、MuJoCo、ManiSkill3、Box2D、RoboDesk、MiniArcade、OGBench、Continuous Atari等)。其中200个任务用于预训练,10个保留为未见过的迁移任务。世界模型采用Dreamer 4架构:对称编码器-解码器Transformer作为视频tokenizer(各50M参数),250M参数的块因果Transformer作为动力学模型。训练分为两阶段:先通过masked autoencoding训练tokenizer,然后冻结tokenizer通过flow-matching训练动力学模型。 第二步是识别三种幻觉模式。感知幻觉发生在tokenizer编码-解码对上:当观测超出训练分布时,tokenizer将未见过的场景结构投影到训练中见过的最接近的样本,例如将未见过的迷宫布局重建为训练中见过的不同布局。动作边缘化幻觉发生在动力学模型上:给定上下文,预测的下一个潜在状态对输入动作不敏感,rollout视觉上合理但坍塌到动作边缘化的未来。场景发散幻觉发生在多步rollout期间:随着预测水平增加,误差累积,但这里特指预测物理上不可能的事件(如乒乓球比赛中球传送回场内)。 第三步是开发三个幻觉预测器。预测器1是tokenizer往返残差:ur等于z-hat减去Encode Decode z-hat的范数,测量动力学模型预测的下一个潜在状态z-hat经过解码-编码往返后的残差。偏离tokenizer流形的z-hat(如损坏的场景布局或虚构对象)无法在重新编码后存活,产生大的ur。预测器2是流不稳定性:测量动力学头部在给定(上下文,动作)对处的flow不稳定性,具体是去噪器的clean-target预测x-hat-1在连续Euler积分子步之间的移动量,在子步的后半部分取平均。良好条件的动力学头部快速收敛到稳定的x-hat-1(低uf),条件信号弱的头部在子步间持续振荡(高uf)。预测器3是种子间方差:测量在固定过去和动作下,N独立去噪轨迹之间下一个潜在状态预测的方差。种子不agreeing的区域正是多步rollout会分散的区域。为了控制场景运动的混淆,作者提出动态归一化变体unorm等于u除以m,其中m是潜在表示的每步RMS变化。 第四步是提出两种缓解策略。覆盖感知训练通过重新加权现有数据集来上权重状态-动作空间中代表性不足的区域,具体将从按帧均匀采样改为按任务均匀采样。定向数据收集将幻觉预测器作为好奇心奖励驱动定向数据收集:在与实时环境交互时,候选轨迹在世界模型中rollout,用预测的幻觉评分,排名最高的轨迹在环境中执行,产生覆盖了之前导致模型幻觉的转换的数据。实践中,以预测水平H等于32、每K等于16步重新规划的方式进行闭环数据收集。
技术新颖性
本文的技术新颖性体现在多个方面。首先,首次系统性地将世界模型幻觉分解为流水线三个阶段的失败模式,并建立了统一的覆盖缺口理论框架。这种分层诊断方法使得能够精确定位幻觉来源并设计针对性的预测器。其次,提出了三种机制上不同的预测器,它们都追踪相同的潜在错误,这提供了强有力的证据表明底层信号是真实的。更关键的是,这些预测器不需要任何标签或额外训练,使其特别适合运行时检测和在线使用。第三,将预测器双重使用——既用于检测又作为好奇心奖励——形成了闭环解决方案,这在世界模型研究中是首创的。第四,覆盖感知训练策略非常简单有效,仅通过改变采样方式(从按帧到按任务)就同时减少了所有三种失败模式,在rollout PSNR上获得了加0.88分贝的提升。第五,MMBench2数据集的独特之处在于同时提供了大规模训练数据(200个任务)、未见过的迁移任务(10个任务)和实时环境,使得能够同时研究训练分布内外的覆盖问题。最后,论文的实验设计非常全面,包括检测验证(AUROC、Spearman相关)、预训练(覆盖感知训练)、定向数据收集(多种数据源比较)和泛化(零样本迁移vs微调),为理解世界模型幻觉提供了全面的实证基础。
实验结果
本文的核心发现强有力地支持了幻觉是数据覆盖问题的假设。在检测验证方面,三个预测器与rollout Delta PSNR的Spearman相关性都约为rho约等于0.80,表明它们都追踪相同的潜在错误。归一化预测器一致优于非归一化版本以及依赖潜在场景运动m或每任务帧数的基线。在预训练实验中,覆盖感知训练(同时用于tokenizer和动力学模型)使rollout Delta PSNR提升加0.88分贝,action-shuffle ratio提升加0.29,三个预测器都有所下降(unorm-r下降0.20,unorm-f下降0.07,unorm-s下降0.14)。这表明单一的数据覆盖干预同时改善了所有三种失败模式。在定向数据收集实验中,随机策略仅获得0.118的MPC性能,预训练模型的零样本迁移达到0.276(2.3倍提升),而基于unorm-r的好奇心收集达到0.325,在无特权行为的情况下接近专家 slash 人类oracle的0.362。人类策略表现最佳(0.390),表明数据收集策略确实能覆盖模型之前产生幻觉的状态-动作区域。对比实验显示no-op动作效果最差(即使同时微调tokenizer和动力学模型,MPC性能仅0.163),随机策略次之(0.228),专家策略(0.362)和人类策略(0.362)相当,好奇心策略(0.325)达到它们的约百分之90。在tokenizer对比实验中,论文训练的tokenizer在训练任务上大幅优于最先进的Wan 2.1 VAE(PSNR 38.29 vs 36.45分贝),但在未见任务上显著更差(PSNR 17.34 vs 36.62分贝),除非对未见任务集进行微调(PSNR 38.04分贝)。这表明域内微调仍有明显优势。计算方面,tokenizer预训练需要14 GPU天(300k步),动力学模型预训练需要24 GPU天(180k步),最终检查点总共需要58 GPU天。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| 幻觉检测(Rollout Delta PSNR预测) | Spearman相关性rho | unorm-r: -0.81, unorm-f: -0.79, unorm-s: -0.80 | 非归一化预测器: -0.70~-0.75,潜在场景运动m: -0.60~-0.65 | 归一化提升约0.05-0.10,优于基线约0.15-0.20 |
| 覆盖感知训练(Rollout质量) | Rollout Delta PSNR (分贝) | +0.88 (同时tokenizer和动力学模型使用覆盖感知训练) | 0 (默认按帧采样) | +0.88 分贝,相当于相对提升约20% |
| 覆盖感知训练(动作敏感性) | Action-shuffle ratio | +0.29 | 0 (默认按帧采样) | +0.29,改善动作边缘化问题 |
| 定向数据收集(未见任务MPC性能) | 归一化分数[0,1] | 好奇心(unorm-r): 0.325 | 随机策略: 0.118, 零样本预训练: 0.276 | 相比随机提升2.75倍,相比零样本提升17.8%,达到专家(0.362)的90% |
| Tokenizer重建质量(训练任务) | PSNR (分贝) | 38.29 (Base), 38.93 (覆盖感知) | Wan 2.1 VAE: 36.45 | +1.84~+2.48 分贝 |
| Tokenizer重建质量(未见任务) | PSNR (分贝) | 17.34 (Base), 17.12 (覆盖感知), 38.04 (微调后) | Wan 2.1 VAE: 36.62 | 微调后超越基线+1.42 分贝,但微调前显著更差(-19.28 分贝) |
局限与改进
作者承认了几个重要局限性。首先,本研究在350M参数规模和210个模拟控制任务上进行,这些发现是否能推广到十亿参数模型或具有传感器噪声和部分可观测性的真实机器人数据仍是一个开放的实证问题。其次,训练大型世界模型的计算成本很高(58 GPU天),这可能限制广泛的可访问性。第三,数据集的多样性虽然涵盖了10个领域,但仍主要局限于模拟环境,真实世界的复杂性(如光照变化、遮挡、传感器噪声)尚未充分探索。此外,论文主要关注RGB观察,尽管MMBench2提供低维状态信息。第四,定向数据收集实验使用的预测水平H等于32和重新规划频率K等于16是经验选择,这些超参数对性能的影响尚未系统分析。第五,论文评估的下游任务主要是基于MPC的控制性能,其他潜在应用(如策略学习、世界模型作为环境模拟器用于训练其他智能体等)的评估有限。最后,虽然论文表明覆盖感知训练和定向数据收集都能缓解幻觉,但两者的最优组合策略尚未充分探索,例如何时应该使用哪种策略,或者如何动态调整数据收集目标。
独立分析的弱点
独立分析来看,论文存在几个可以改进的弱点。第一,实验规模虽然可观(350M参数,58 GPU天),但仍远小于当前最先进的大型世界模型(如十亿参数级别),作者承认不清楚发现是否扩展到更大规模。改进方向是在更大规模模型上验证相同的假设和预测器。第二,数据集虽然多样化但仍局限于模拟环境,真实机器人数据的缺乏限制了发现的真实适用性。改进方向是扩展到真实机器人数据集,测试传感器噪声、部分可观测性和领域转移对幻觉和缓解策略的影响。第三,定向数据收集实验仅使用50条轨迹,虽然效果显著但未探索更少或更多轨迹的权衡。改进方向是进行轨迹数量的消融实验,确定数据效率边界。第四,论文主要评估MPC性能,但世界模型还有其他重要应用场景。改进方向是扩展评估到策略学习、层次规划、世界模型作为环境模拟器等更多下游任务。第五,三个预测器之间的交互和互补性尚未充分探索。改进方向是分析预测器之间的相关性,研究如何组合它们以获得更强的检测信号。第六,覆盖感知训练仅改变了采样策略,未探索其他重加权方法。改进方向是系统比较采样重加权、损失重加权、困难样本挖掘等方法的效果。第七,未见任务集只有10个任务,可能不足以全面评估泛化能力。改进方向是增加未见任务的数量和多样性,特别是来自新领域的任务。
未来方向
基于论文成果,有几个值得深入研究的未来方向。作者提出的主要方向是扩展到十亿参数规模和真实机器人数据,验证幻觉是否仍然是数据覆盖问题,以及提出的预测器和缓解策略是否仍然有效。另一个方向是探索更多样的下游任务评估,如策略学习、层次规划、多智能体交互等,以更全面地理解世界模型的实用价值。基于论文发现,可以延伸的方向包括:1)研究预测器的理论性质,建立数据覆盖与幻觉预测器之间的理论联系,可能需要新的数学工具;2)开发自适应数据收集策略,动态调整好奇心目标,平衡探索和利用;3)研究在线学习和持续学习场景,世界模型需要在部署过程中不断适应新环境;4)探索预测器在其他生成模型中的应用,如视频生成、图像生成等,看覆盖缺口理论是否适用;5)研究幻觉检测与可解释性的关系,可能预测器能够帮助理解模型的决策边界和失败模式;6)开发更高效的幻觉检测算法,减少计算开销使其适合实时应用;7)研究多模态世界模型中的幻觉,如结合语言指令、触觉反馈等;8)探索自动化数据生成方法,如使用其他世界模型或仿真器生成覆盖缺口的数据;9)研究人类反馈在幻觉缓解中的作用,可能结合人类判断来调整预测器或数据收集策略;10)开发标准化的幻觉评估基准,使不同方法能够公平比较。
复现评估
论文的复现性评估相对较好。作者承诺发布完整数据集、训练和评估代码、模型检查点以及与世界模型进行开放式交互的浏览器界面(https://nicklashansen.com/mmbench2)。这是非常难得的,因为大多数世界模型研究只发布代码而不发布数据或检查点。数据集MMBench2包含65600条轨迹(427小时视频,2300万帧),跨越210个任务,规模足够进行充分的实验验证。计算资源需求明确:tokenizer预训练需要8乘NVIDIA H100 GPU训练300k步(14 GPU天),动力学模型预训练需要180k步(24 GPU天),最终检查点总共58 GPU天。虽然成本较高但并非不可企及,许多研究机构都有类似的计算资源。实现细节在附录中提供了充分的描述,包括超参数、训练配方和评估设置。论文还提供了详细的任务列表(附录C)和数据收集过程(附录D),这有助于理解数据的来源和多样性。潜在的限制是:1)MMBench2的某些任务可能依赖特定版本的模拟器或环境,版本兼容性可能影响复现;2)虽然承诺开源,但实际可用的代码质量和文档完整性还需验证;3)浏览器界面虽然有助于交互式探索,但其API是否公开允许自动化评估尚不明确;4)58 GPU天的计算成本对一些研究者可能仍是障碍。总体而言,论文的复现性处于良好水平,主要障碍是计算成本而非开放性或文档质量。
论文图表
这张图展示了MMBench2数据集中210个任务的36个样本,直观呈现了数据集的视觉和形态多样性。每个子图显示一个任务的单帧观察,包括各种场景:如机械臂操作、行走机器人、迷宫导航、Atari游戏、桌面物体操作等。这展示了数据集跨越了10个任务域(DMControl、Meta-World、MuJoCo、ManiSkill3、Box2D、RoboDesk、MiniArcade、OGBench、Continuous Atari等)。
这张图对理解论文很重要,因为它展示了研究使用的数据基础。MMBench2是论文的核心贡献之一,这张图帮助读者理解数据集的规模和多样性。通过直观的任务样本,读者可以看到数据集涵盖了从简单(如倒立摆)到复杂(如Atari游戏)的各种视觉场景,这解释了为什么需要大规模数据来充分覆盖状态-动作空间。此外,图的多样性也为理解为什么会出现覆盖缺口提供了视觉证据——不同任务之间的视觉差异巨大,模型难以在所有区域都获得充分覆盖。
这张图展示了MMBench2训练语料库中210个任务的每任务帧数,按降序排列并按领域着色。纵轴是对数刻度的每任务帧数,从10的3次方到10的6次方。横轴是按帧数排序的任务。不同颜色代表不同领域:DMControl、Meta-World、MuJoCo、RoboDesk、MiniArcade、DMControl Extended、ManiSkill3、Box2D、OGBench、Atari。图显示了长尾分布:前20个任务占所有帧的26%(主要由Atari主导),而底部20个任务仅贡献0.7%(短视野操作任务)。虚线标记了每任务中位数(65k)。
这张图对理解论文很重要,因为它揭示了数据集的构成和潜在的覆盖缺口问题。长尾分布清楚地表明某些任务(特别是Atari游戏)占主导地位,而其他任务(如短视野操作任务)代表性严重不足。这解释了为什么会出现覆盖缺口,以及为什么需要覆盖感知训练——默认按帧采样会过度采样主导任务,忽视代表性不足的任务。图还为理解幻觉预测器的有效性提供了背景:如果幻觉集中在低覆盖区域,那么这些区域很可能对应于帧数少的任务。