Dream.exe:视频生成模型能否生成可执行的机器人操作? Dream.exe: Can Video Generation Models Dream Executable Robot Manipulation?
提出首个评估视频生成模型物理可执行性的基准测试框架,通过模拟器中的实际执行成功来衡量模型的物理知识。
前置知识
世界模型
世界模型是指智能体内部对物理环境的表示,它能够预测环境状态的变化和不同动作的结果。在深度学习领域,世界模型通常指能够模拟物理规律、预测未来状态或生成真实场景序列的神经网络模型。视频生成模型被假定为从大规模互联网视频中学习到了隐式的世界模型,即通过统计规律内化了物理因果性和运动约束。
本文的核心假设是视频生成模型可能已经学习了世界模型,理解这个概念对于理解为什么作者选择机器人执行作为评估视频生成模型物理知识的窗口至关重要。
视觉运动先验
视觉运动先验是指在视觉数据中学习到的运动模式和物理规律的统计先验知识。在机器人学习领域,这些先验可以指导机器人在新环境中生成合理的运动轨迹,减少对大量人工演示的依赖。视频生成模型通过互联网规模数据训练,可能编码了各种物体交互、抓取、放置等操作的视觉运动模式。
理解视觉运动先验的概念有助于理解为什么作者认为大规模互联网视频训练可能为机器人操作提供有用知识,以及如何将生成的视频转换为可执行的机器人轨迹。
图像到视频生成
图像到视频生成是指在给定起始图像和文本条件的情况下生成连续视频序列的技术。它通过学习视频的时间动态和帧间过渡模式,从静态图像生成动态场景。本文评估的模型都是图像到视频生成器,它们接收初始场景图像和任务描述作为输入,输出展示机器人执行该任务的视频。
图像到视频生成是本文评估的对象,理解这个技术的基本原理有助于理解作者选择这种生成方式的原因,以及如何将生成的视频与真实机器人执行联系起来。
闭环执行
闭环执行是指在机器人执行过程中,控制器会实时监控当前状态与目标状态之间的偏差,并应用校正动作来减小误差。与开环执行直接按照预规划轨迹行动不同,闭环执行能够应对执行过程中的扰动和误差累积。本文在物理模拟器中采用闭环执行策略来测试轨迹的可跟踪性。
闭环执行是本文评估协议的重要组成部分,理解这个概念有助于理解作者如何公平地测试不同模型生成的轨迹的可执行性,以及如何区分轨迹提取误差和执行误差。
研究动机
现有视频生成模型在视觉质量和语义理解方面取得了显著进展,然而这些评估标准仅关注视频看起来是否自然,并未测试其隐含的物理知识是否正确。例如,一个模型可能生成机器人手臂优雅穿过桌子的视频,在视觉上与其他物理有效的运动无法区分。随着模型规模和视觉说服力不断增强,研究界缺乏系统的方法来评估其物理知识和学习是否与视觉进步保持同步。现有的物理评估基准主要使用视觉分类器和人工评估,但测量视觉合理性与实际执行成功是两个完全不同的问题。
本文的目标是本文的核心目标是建立一个系统、可重复、可量化的评估框架,用于测试视频生成模型是否内化了足够准确的物理知识,使其生成的机器人操作视频能够在真实物理环境中执行并完成任务。作者希望通过机器人操作这个具体、可测量的窗口来回答一个更根本的问题:如果模型真正理解了操纵任务的物理规律,它描绘的运动应该能够转化为可执行的机器人行为并在物理世界中产生任务成功。
与已有工作不同的是,本文的独特切入角度在于将视频生成模型作为固定的测试对象,通过物理模拟器中的实际执行来直接评估生成内容的物理正确性,而不是依赖视觉评估或代理指标。与现有工作相比,Dream.exe将物理可执行性作为主要评估标准,直接在模拟器中执行从视频提取的轨迹并测量任务成功率。与其他将视频生成作为机器人策略的工作相比,Dream.exe不对视频生成模型进行任何微调或修改,而是评估模型即开即用的物理知识,这提供了一个更纯粹地测试大规模互联网视频训练是否编码了物理知识的方式。
核心方法
Dream.exe方法的整体思路是建立一个从场景图像和任务描述到机器人执行成功率的端到端评估管道。具体来说,给定初始场景图像和自然语言任务描述,视频生成模型产生一个操作视频。该视频随后沿着三个轨道进行评估:视觉评估包括机器人稳定性、物理合理性和任务遵守;一个五步视频到轨迹提取管道将生成的运动转换为机器人轨迹;闭环物理模拟器执行中的执行评估产生细粒度的成功分数和整体任务成功率。这种三轨道评估协议提供了现有基准无法提供的多维度能力画像,通过实际执行成功而非仅仅感知质量分数来判断视频生成模型的物理知识。
本文的核心创新点在于将任务成功作为评估视频生成模型物理知识的主要标准,通过物理模拟器中的闭环执行来直接验证生成视频中隐含的运动是否确实能够完成指定任务。这与以往仅评估视觉质量或物理合理性的方法有本质区别。另一个关键创新是开发了完整的视频到轨迹提取管道,能够将仅有像素级外观变化的生成视频转换为机器人控制器可以遵循的七自由度动作流,包括区域掩码初始化、二维点跟踪、深度估计和三维提升、末端执行器轨迹提取、夹爪感知动作组装五个步骤。这个管道架起了二维视频域和三维机器人执行域之间的桥梁,使得纯视觉模型的物理知识可以直接通过机器人执行来测试。
方法步骤详情
Dream.exe方法的完整步骤包括四个阶段。第一阶段是视频生成,每个模型接收初始场景图像和任务提示并生成操作视频,对于Level 1和Level 2任务生成短片段,对于Level 3多阶段任务生成较长视频以适应扩展的任务地平线。第二阶段是视觉质量评估,生成视频在轨迹提取前进行评分以表征视觉稳定性、物理合理性和任务遵守,使用两个视觉语言模型评判器以及人工评估协议。第三阶段是视频到轨迹提取和评估,包含五个步骤:区域掩码初始化在第一视频帧识别末端执行器和被操作物体的空间区域;二维点跟踪在区域内采样查询点并使用CoTracker跨所有视频帧跟踪;深度估计和三维提升使用DVD模型估计视频深度并用标定后的末端执行器运动将每个有效跟踪像素转换为世界坐标系中的三维点;末端执行器轨迹提取从提升后的点集估计每帧视觉中心,通过源自初始状态的标定将其转换为控制器参考点轨迹;夹爪感知动作组装从末端执行器轨迹和被操作物体轨迹之间的相对运动推断夹爪打开和关闭时间表。第四阶段是机器人执行和评估,提取的动作流在MuJoCo中通过robosuite控制框架在Franka Panda机器人上执行,场景在每次试验前恢复到精确的初始状态,执行以闭环方式进行。
技术新颖性
本文的技术新颖性体现在多个方面。首先,Dream.exe是首个以物理模拟器中的任务执行成功为主要标准的视频生成模型基准测试,填补了现有评估仅关注感知质量的空白。其次,提出的视频到轨迹提取管道是首个将纯生成的机器人操作视频转换为可执行七自由度动作流的完整解决方案,这需要解决二维到三维提升、控制器标定、夹爪状态推断等多个技术挑战。第三,作者构建了包含101个手动策划的任务套件,按照三个难度级别分层,覆盖从单对象原子操作到多阶段复合任务的物理复杂性谱系,为测试不同方面的物理知识提供了系统框架。第四,实验设计包含了8个代表性模型,覆盖了前沿闭源生成器、开源生成器和机器人特定策略模型,并深入分析了视觉质量与可执行性之间的关系、机器人特定训练的影响、领域内微调的效果等多个重要问题,为社区提供了对视频生成模型物理知识的全面理解。
实验结果
实验揭示了三个核心发现。首先,几个通用视频生成模型实现了可测量的执行成功率,表明从互联网规模数据学习的生成先验已经编码了有意义的物理知识。具体来说,SeedDance 2.0在Level 1达到百分之十五点一的二值成功率,SeedDance 2.0和Wan 2.7在Level 2达到百分之二十一点四的成功率,而Kling 3.0是唯一在Level 3达到非零成功率百分之六点二的模型。这些结果在没有机器人特定监督的情况下取得,证明了大规模互联网视频训练确实为机器人操作提供了有用的物理知识。其次,视觉质量是可执行性的不可靠预测器。物理合理性与任务成功率之间本质上不相关,Pearson相关系数仅为负零点零三。这种不匹配在模型层面非常明显,LTX 2.3在物理合理性上排名第一但二值成功率排名最后,而Veo 3.1在任务遵守上领先但仅达到Level 1百分之三点三的成功率。相反,视觉上较弱的模型如SeedDance 2.0和Kling 3.0实现了最强的任务级结果。第三,机器人特定策略模型在任务成功率方面没有一致地优于通用生成器。CosmosPolicy在Level 1-2的检查点可执行性方面领先,但在Level 2的任务成功率方面显著落后于通用生成器百分之二点四对比百分之二十一点四。领域内微调改善了外观而非物理,Wan 2.2在领域内片段上的微调将生成的视频外观向机器人运动转移并改善了轨迹相似性,但没有显著提高任务成功率。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| Level 1单对象原子操作 | 二值任务成功率 | SeedDance 2.0: 15.1%, CosmosPolicy-BenchCam: 20.8% | Rollout Video (oracle): 76.5% | 与oracle相比差距约60个百分点 |
| Level 2多对象交互 | 二值任务成功率 | SeedDance 2.0: 21.4%, Wan 2.7: 21.4% | Rollout Video (oracle): 38.1% | 与oracle相比差距约17个百分点 |
| Level 3多阶段复合任务 | 二值任务成功率 | Kling 3.0: 6.2% | Rollout Video (oracle): 75.0% | 与oracle相比差距约69个百分点 |
| 轨迹可执行性 | 检查点可达性 | CosmosPolicy-DefaultCam: 0.706, Hailuo 2.3: 0.519 | Rollout Video (oracle): 0.812 | 最佳模型达到oracle的约87% |
| 视觉质量与执行成功率相关性 | Pearson相关系数 | r = -0.03 | 理论上应为正相关 | 实际上接近零相关,证明视觉质量无法预测可执行性 |
局限与改进
作者承认了几个局限性。首先,深度估计仍然是视频到执行管道中的瓶颈,使用模拟器真实深度替代估计深度可显著提高任务级成功率,表明小的时序不一致深度误差在三维提升后被放大,导致不准确的工具中心点位置、接触时序错误和最终较低的执行成功率。其次,当前管道不支持基础导航任务,这限制了评估套件的覆盖范围。第三,本文的评估在物理模拟器中进行,虽然提供了高度可控的环境,但模拟与真实机器人之间存在现实差距,模拟中的成功可能不能保证在真实机器人上成功。第四,评估套件仅包含Franka Panda一种机器人形态,不同机器人的几何和运动学特征可能影响结果。此外,本文的观察表明现有模型在长地平线任务中仍然困难,Level 3成功率几乎为零,暴露了当前模型在维护长任务地平线上的物理一致性和正确排序子目标和转换方面的局限性。
独立分析的弱点
从独立分析的角度来看,本文存在几个具体弱点。首先,视频到轨迹提取管道依赖于多个独立的组件,每个组件的误差会累积传播,管道的整体可靠性受到最弱环节的限制。特别是深度估计在机器人手部周围的小误差可能导致大的轨迹误差,这是一个关键的薄弱环节。其次,管道对视频质量非常敏感,生成的视频中的任何伪影都会直接传播到轨迹提取并导致执行失败,这意味着管道的鲁棒性需要改进。第三,当前管道假设末端执行器和被操作物体在整个视频中保持可见,但在复杂场景中这并不总是成立,限制了方法的适用性。第四,夹爪状态推断依赖于相对运动线索,在物体滑动或被抓取物体与场景中其他物体同时运动等复杂交互中可能失效。改进方向包括开发端到端的可微分视频到轨迹学习框架,减少对多个独立组件的依赖;改进深度估计模型,特别是在机器人手部周围的精度;开发更鲁棒的跟踪算法,能够处理部分遮挡和临时消失;设计更复杂的夹爪状态推理模型,利用语义和上下文信息。第五,评估套件虽然包含101个任务,但仍然相对有限,无法覆盖机器人操作的完整谱系。改进方向是扩展评估套件的多样性和规模。
未来方向
作者提出和基于成果可延伸的未来研究方向包括:改进视频到执行管道的组件,特别是深度估计和轨迹跟踪;开发新的视频生成模型,专门针对物理可执行性进行优化;探索将视频生成模型与机器人学习更深度集成的架构,如将执行反馈纳入视频生成过程;扩展评估套件以覆盖更多样的机器人形态、任务类型和环境;在真实机器人上验证评估结果,弥合模拟与现实的差距;研究如何将执行成功信号反哺到视频生成模型的训练中,创建一个物理可执行性与视觉质量共同优化的循环。此外,基于本文发现视觉质量与可执行性之间缺乏相关性,未来工作可以探索新的模型设计原则,在保持视觉吸引力的同时确保物理正确性。另一个有前景的方向是研究长地平线任务的成功策略,这可能需要改进的规划、记忆和子目标推理能力。最后,随着视频生成模型的规模和复杂性继续增长,需要开发更系统的框架来评估其物理知识和因果理解,不仅限于机器人操作,还包括其他物理现象。
复现评估
Dream.exe评估框架将开源,代码和评估协议将在指定仓库发布,这将支持社区在未来工作中复制和扩展评估。论文提供了详细的模型设置、生成参数和评估指标,使得其他研究团队能够在相同条件下测试他们的模型。使用的模拟环境RoboCasa365和robosuite都是开源框架,确保了任务场景的可重复性。然而,有几个因素影响完全复现的难度:五个闭源模型需要应用程序接口访问,其生成行为可能随时间变化;深度估计模型DVD使用机器人滚动视频微调,虽然论文提供了训练细节,但完全复现可能需要相同的训练数据和计算资源;人工评估协议虽然详细描述,但不同标注者可能产生不同结果;视觉语言模型评估依赖于特定的提示模板和评分标准,细微的变化可能影响分数。在算力方面,生成101个任务的视频并在模拟器中执行需要相当的计算资源,但大多数研究实验室应该能够承担。总体而言,本文的可复现性处于视频生成和机器人学习领域的平均水平,开源框架和详细描述使得主要结果可以被复现,但闭源模型的应用程序接口依赖和计算资源需求构成了一定障碍。
论文图表
图左侧展示了每个难度级别的代表性场景和任务提示,包括Level 1的单对象操作如滑动烤箱、转动水龙头、打开抽屉;Level 2的多对象交互如将奶酪放在面包上、将甜甜圈放入容器、将梨从柜台移动到搅拌机中;Level 3的多阶段任务如将奶酪和面包放在砧板上。右上角展示了101个任务在三个难度级别上的分布:Level 1包含51个任务,Level 2包含42个任务,Level 3包含8个任务。右下角展示了相机视角分布,表明相机视角在不同场景中有意多样化以提高泛化覆盖。
这张图对理解论文至关重要,因为它直观地展示了Dream.exe评估套件的组成结构、任务难度分层和相机视角设计,帮助读者理解评估的范围和系统性设计。
图展示了三个反复出现的失败类别的代表性示例。物体漂浮示例展示奶酪楔在被抓取前就漂浮在空中,违反物理常识。幻影抓取示例展示从咖啡机分配器下方拿起杯子并将其放在柜台上任务中机械爪似乎抓取了杯子但爪指实际上没有闭合,杯子在没有明确物理接触的情况下随机械爪移动。运动学崩溃示例展示将奶酪和面包放在砧板上任务中机械臂以不可能的姿势扭曲。这些失败模式代表了当前视频生成模型在物理合理性方面的系统性问题。
这张图对理解论文的实验分析至关重要,因为它可视化了当前视频生成模型在生成物理合理的机器人操作视频时的主要失败模式,帮助读者理解为什么视觉质量高并不保证可执行性。