ThinkWorld:用世界想象强化链式动力学推理的机器人操作学习 ThinkWorld: World Imagination Reinforces Chain-of-Dynamics Reasoning
把动作思维表示为动力学链,用想象未来与观测未来的对齐作奖励,让无动作标注的人类视频也能训练VLA
前置知识
VLA(Vision-Language-Action)模型
VLA 是在视觉-语言模型(VLM)基础上增加动作输出头的通用机器人策略模型,输入语言指令、图像观测和本体状态,输出可执行的连续动作序列。代表作有 OpenVLA、π0、π0.5、MolmoAct。它通过在大规模异构机器人演示上做模仿学习获得泛化能力,但行为覆盖面受限于训练数据中出现过哪些任务和场景。
ThinkWorld 就是一个 VLA 框架,本文所有改进(CoD 推理、未来想象、RL)都作用在 VLA 的 VLM 主干上,理解 VLA 的输入输出契约(观测+指令→动作)是读懂全文的前提。
FAST 动作分词器
FAST(Frequency-space Action Sequence Tokenization)是把连续动作序列压缩成离散 token 的方法:对动作块做 DCT 变换、量化后用 BPE 压缩,得到紧凑的离散词表。它让动作可以像语言 token 一样被自回归模型生成。ThinkWorld 用 FAST 式分词器把机器人动作和人类手部轨迹统一编码进一个 2048 词表的共享运动空间。
Chain-of-Dynamics(CoD)的本质就是用 FAST 式分词得到的离散运动 token 序列,分词器如何把异构动作映射到同一词表是方法成立的根基。
世界模型与未来想象
世界模型学习「动作条件下世界如何演化」的动力学,典型如 Dreamer 系列在想象的 rollout 中优化策略。预测型方法会预测未来像素、特征或轨迹作为控制输出或规划依据。ThinkWorld 的不同在于:未来预测只作为训练信号——比较「模型想象的未来」与「视频里真实观测到的未来」,一致性高就奖励对应的动作思维,部署时完全丢弃预测模块。
本文标题中的 World Imagination 指的就是这种「想象未来-比对观测未来」的奖励机制,这是全文最核心的概念,也是它与视觉预见(visual foresight)类方法的分界线。
GRPO(组相对策略优化)
GRPO 是 DeepSeekMath 提出的 RL 算法:对同一上下文采样一组(本文 K=4)候选输出,用组内奖励标准化后的相对优势作为每个候选的 advantage,省去价值网络。配合 token 级重要性比率裁剪和 KL 约束防止策略跑偏。在 LLM 推理对齐(如 R1)中被广泛使用。
ThinkWorld 的第二阶段用 GRPO 更新 VLM:每个视觉上下文采样 4 条 CoD 候选,按世界想象奖励的组内相对优劣更新,理解 GRPO 才能读懂 RL 阶段的训练目标和奖励标准化细节。
DINOv3 特征空间
DINOv3 是自监督训练的视觉编码器(本文用冻结的 ViT-H/16+),其 patch 级特征保留稠密的空间与物体结构,同时抽象掉外观细节。224×224 输入产生 14×14=196 个 1280 维 patch 特征。在特征空间做预测而非重建 RGB 像素,可以只比较结构变化、避免逼真生成的负担。
ThinkWorld 的未来想象目标、奖励计算(运动加权 patch 余弦相似度)全部定义在冻结 DINOv3 特征空间中,理解这个表示空间是理解损失函数 $\mathcal{L}_{future}$ 和奖励 $r_{world}$ 的前提。
研究动机
VLA 模型(OpenVLA、π0、π0.5 等)在机器人操作上进步显著,但策略学习高度依赖带动作标注的机器人轨迹——这类数据需要物理平台、特定具身的控制接口和大量人工采集,行为与环境覆盖面天然受限。人类第一视角视频(如 EgoDex 的 31.4 万条片段、EgoVerse 的 1155 小时)在行为和场景多样性上远超机器人数据,却不提供可直接执行的机器人动作。从人类视频学习存在一个根本性权衡:潜在动作模型(LAPA、UniVLA、Moto 等)从帧对中推断转移变量,虽然可扩展到无标注视频,但这些变量欠约束,可能学到外观变化或相机运动而非可控行为;全监督路线(EgoMimic、EgoScale、EgoWAM 等)恢复手部姿态并重定向轨迹,物理接地强,但依赖精确的姿态估计与人-机对应关系,跨具身监督成本高昂。同时,推理增强的 VLA(ThinkAct、MolmoAct、ACoT-VLA)加入文本计划、视觉轨迹等中间 token,但这些思维并没有接地到它们将在世界中引起的变化上,对未见场景和技能的泛化仍受底层机器人数据覆盖面约束。
本文的目标是本文要构建一个让人类视频与机器人数据「说同一种动作语言」的 VLA 学习框架:把动作思维表示为 Chain-of-Dynamics(CoD)——一串描述中间动力学的离散运动 token,作为跨具身共享的动作推理接口;先用具身有动作标注的演示把这个运动词表接地到物理行为上,再用「预测的未来世界状态 vs 视频中观测到的未来」的一致性作为奖励,通过强化学习精炼 CoD 推理。这样即使是没有动作标注的人类视频,也能凭观测到的状态转移提供直接监督,让人与机器人的经验共同塑造同一个推理空间,最终提升真实机器人对未见任务与环境的泛化,并支持从人类演示中学习技能组合。
与已有工作不同的是,本文的独特切入是把「未来观测」从控制输出降级为训练时信号。已有工作要么把未来预测作为策略的输出(视觉预见、视频规划),要么用想象 rollout 优化策略(Dreamer),要么用潜变量自洽地学习动作表示(LAPA);而 ThinkWorld 让 VLM 先「想」出动作序列(CoD),再想象该动作引起的未来特征,用想象与观测未来的对齐度给 CoD 打分做 GRPO——奖励只需要视频里本就存在的下一帧状态,不需要动作标签,也不需要真实执行候选动作。这把被动的、无标注的人类视频直接变成了 RL 监督。另外,CoD 是 VLM 原生的 token 序列而非外挂模块,且部署时 CoD 与未来预测全部丢弃,训练时思考、推理时零开销,这与 MolmoAct-Think 这类推理时思考的模型形成鲜明对比。
核心方法
直觉上,ThinkWorld 让模型学会「想一个动作会让世界发生什么变化」,再用真实视频里的下一秒画面来验证这个想象是否靠谱——想象得准的动作思维被强化,想象不准的被抑制。技术上分两阶段。阶段(a)监督微调:把机器人关节/末端执行器动作和带标注的人类手部轨迹统一成归一化 delta 末端执行器表示,用 FAST 式分词器 $\mathcal{T}(\cdot)$ 离散化为共享 2048 词表的运动 token 序列(即 CoD),VLM 以自回归方式在指令、视觉历史和当前观测条件下生成 CoD;同时在 CoD 后接 64 个可学习 future queries,经轻量解码器预测 1 秒后观测的冻结 DINOv3 特征,实现 CoD 条件化的未来想象。阶段(b)强化学习:对同一上下文采样 K=4 条 CoD 候选,用想象未来与观测未来的运动加权特征相似度 $r_{world}$ 作为奖励做 GRPO,配合小权量的监督 replay 防止运动接地退化。连续控制始终由 MolmoAct2 动作专家完成,它只读取 VLM 输入 token 的逐层 KV 特征,不直接消费 CoD token,因此部署时不需要生成 CoD。
核心创新是「后果接地的强化学习」(consequence-grounded RL)。与潜在动作模型的本质区别:LAPA 类方法从帧间差异推断潜变量并以其自洽性训练,变量欠约束、可能编码外观或相机运动;ThinkWorld 的 CoD 先由真实动作数据(机器人轨迹+标注人手轨迹)初始化接地,再被「动作引起的真实世界变化」校准——奖励衡量的是动作思维与世界后果的因果一致性。与 world-action 模型和视觉预见方法的本质区别:那些方法把未来预测作为控制输出或用想象 rollout 规划,推理时要付生成的代价;ThinkWorld 的未来预测只在训练时存在,用于塑造 VLM 的动作相关表示,部署时丢弃。与已有推理增强 VLA(ThinkAct、ACoT-VLA)的区别:它们的中间思维(计划、粗轨迹)不与世界变化对齐,泛化仍受机器人数据覆盖限制;CoD 则直接被动作导致的状态转移监督,人类视频因此能提供训练信号。运动加权的相似度设计(低变化 patch 权重 0.2、高变化 patch 权重升至 1)保证奖励聚焦在动作真正改变的区域而非静态背景。
方法步骤详情
第一步,统一运动表示与分词:机器人动作与人类手腕轨迹都转成 delta 末端执行器表示(平移用 0.3448 m、旋转用 0.9119 rad 固定尺度归一化;人类坐标以演员为中心、+z 对齐重力、+x 跟随朝向),在 1 秒窗口上训练 FAST 式分词器(词表 2048),得到目标 CoD 序列 $c^\star_t = \mathcal{T}(m_t)$。第二步,VLM SFT(150k 步,batch 128,VLM 学习率 $10^{-5}$):优化 $\mathcal{L}_{SFT} = \mathcal{L}_{CoD} + \lambda_{future}\mathcal{L}_{future}$,其中 $\mathcal{L}_{CoD}$ 是生成 CoD 的交叉熵;未来预测在冻结 DINOv3 特征空间进行,$\mathcal{L}_{future}$ 为逐 patch 的 $1-\cos$ 加 SmoothL1($\beta=0.01$);辅以 VQA 数据防灾难遗忘。第三步,动作专家训练(50k 步):冻结 VLM,按 masked flow matching 训练 MolmoAct2 动作专家,$x_t=(1-t)\epsilon + t a$ 下回归 $a-\epsilon$,推理时 10 步 Euler 积分。第四步,世界想象 RL(2k 步,只更新 VLM):每个上下文采样 $K=4$ 条 CoD,冻结的 future projector 给出想象未来 $z_{t+\Delta}$,奖励 $r_{world}=\mathrm{sim}(z_{t+\Delta}, z^\star_{t+\Delta})$ 取全局平均与运动加权 patch 余弦相似度的均值;$\mathcal{L}_{RL}=0.999\mathcal{L}_{GRPO}+0.001\mathcal{L}_{replay}$,GRPO 重要性比率裁剪于 $[0.8,1.28]$、KL 系数 0.04,畸形 CoD 得到组内最低奖励再减 0.05。第五步,具身特定后训练:LIBERO 版全参数微调 50k 步;真实双臂 YAM 版对 VLM 用 LoRA、全量更新动作专家,人类视频样本只优化未来预测损失。部署时仅运行动作专家,CoD 与未来预测全部丢弃。
技术新颖性
技术新颖性体现在四个层面。其一,统一的 VLM 原生动作语言:CoD 把人手运动与机器人控制目标编进同一离散词表,不做人与机器人运动学等价的假设(人类用演员中心系、机器人用基座系,只在 delta EEF 层面对齐),t-SNE 分析显示 CoD 隐状态按运动方向而非数据来源聚类,验证了共享结构。其二,观测转移即奖励:RL 奖励 $r_{world}$ 只消费当前帧与未来帧,无需动作标注、无需仿真器、无需在线执行候选动作,这在「用无标注视频做 RL」的方向上是干净的形式化。其三,运动加权奖励:利用观测帧对计算 DINO 特征变化量,低于中位数的 patch 权重 0.2、至 90 分位线性升到 1,防止大面积静态背景稀释奖励信号。其四,训练时思考、部署时丢弃的架构分工:推理延迟实测 p50 324.84 ms、显存 7.07 GiB,反而低于不做思考的 MolmoAct2(335.07 ms)和远低于推理时思考的 MolmoAct2-Think(879.37 ms),说明「内化到表示」与「外显为推理链」可以解耦。这种「思维作为表示正则而非运行时组件」的定位是本文在工程上最聪明的取舍。
实验结果
仿真基准:仅在标准 LIBERO 训练集上后训练的 ThinkWorld(2.9B 参数)在 LIBERO 四个套件平均成功率 97.3%(Spatial 98.2 / Object 98.8 / Goal 97.8 / Long 94.2),超过 π0.5(96.9)与 VLA-JEPA(97.2);零样本迁移到 LIBERO-PRO 平均 55.6%,超过 π0.5 的 53.2% 与 VLA-JEPA 的 48.5%,其中任务目标漂移 31.9%(比 VLA-JEPA 高 11.1 个百分点)、环境漂移 60.9%(高 19.9 个百分点),但 Object 73.3% 低于 OpenVLA 的 93.0%。补充的 LIBERO-Plus 平均 71.7% 超 DreamVLA(69.9),机器人初始状态扰动 70.5% 对次优 40.8%。真实机器人(双臂 YAM、三相机、15 Hz 控制):三个任务 ID 共 60/60 全部成功,OOD 52/60,宏观成功率 94.4%、微观 93.3%,最强基线 MolmoAct2 仅 62.2%/60.0%;分任务看 OOD 成功率为颜色匹配 80%、杯子挂架 100%、物体分拣 86.7%。技能组合:机器人只见过 OPEN/PUT-L/PUT-R/CLOSE 四个原子技能(100 条演示),配合 90 条人类完整任务视频,模型能按人类演示的 open→put-left→close 顺序单次 rollout 完成从未有完整机器人演示的任务。人类数据缩放实验:固定机器人数据量,人类视频占比从 0 提到 50% 时 LIBERO-PRO 成功率从 45.4% 升到 47.8%,且比同规模纯机器人对照高约 1.2 个百分点,说明收益来自数据多样性而非训练量。消融:从 Qwen3-VL+动作专家基线的 40.1% 出发,加历史帧 40.7%、加未来预测 50.4%、加 CoD 54.4%、加 RL 55.6%;未来预测质量上 CoD 条件化在 top-25% 运动密集 patch 的余弦相似度 0.62,明显好于 shuffle/empty/无 CoD 的 0.54-0.55。SimplerEnv 零适配 micro 成功率 46.51%。推理效率:p50 延迟 324.84 ms、峰值显存 7.07 GiB,均优于所有对比模型。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| LIBERO(仿真,Spatial/Object/Goal/Long 四套件) | 平均成功率 (%) | 97.3 | VLA-JEPA 97.2 / π0.5 96.9 / MolmoAct 86.6 / OpenVLA 76.5 | 以 2.9B 参数取得全场最佳平均,超 π0.5 约 0.4 个百分点 |
| LIBERO-PRO(仿真分布外:物体/位置/语义/任务/环境漂移) | 平均成功率 (%) | 55.6 | π0.5 53.2 / OpenVLA 51.7 / VLA-JEPA 48.5 / MolmoAct 41.2 | 比最强基线 π0.5 高 2.4 个百分点;任务漂移 31.9 vs VLA-JEPA 20.8(+11.1),环境漂移 60.9 vs 41.0(+19.9) |
| LIBERO-Plus(七维感知扰动零样本评测) | 平均成功率 (%) | 71.7 | DreamVLA 69.9 / OpenVLA-OFT 69.6 / π0-FAST 61.6 | +1.8 个百分点;机器人初始状态 70.5 vs 次优 40.8(+29.7),布局 79.6 vs 74.2(+5.4) |
| 真实双臂 YAM(颜色匹配/杯子挂架/分拣,ID+OOD 六设置 120 次) | 宏观/微观成功率 (%) | 94.4 / 93.3(ID 60/60 全成,OOD 52/60) | MolmoAct2 62.2 / 60.0;LaWAM 45.6 / 44.2;Diffusion Policy 32.8 / 36.7 | 宏观 +32.2 个百分点;六个任务-条件组合全部第一,杯挂 OOD 100% vs 次优 80% |
| SimplerEnv(仿真,无基准特定适配) | micro 成功率 (%) | 46.51(Google-VM 49.31 / Google-VA 46.54 / WidowX-VM 41.67) | 未做同设置对比,属开箱泛化参考 | 证明策略在未见基准上无需适配即可完成相当比例任务 |
| 推理延迟(单张 H100,eager 模式,batch 1) | p50 延迟 (ms) / 峰值显存 (GiB) | 324.84 / 7.07 | MolmoAct2 335.07 / 12.11;MolmoAct2-Think 879.37 / 12.12 | 比推理时思考的模型快约 2.7 倍,显存省约 42% |
局限与改进
作者承认的局限:所有训练结果来自单一种子,报告的置信区间只刻画评测波动而非训练间差异;推理延迟数据依赖特定硬件与输入配置,需按所述部署设置解读。从数据看还有更实质的问题:其一,LIBERO-PRO 上位置漂移仅 18.2%、物体漂移 73.3%(OpenVLA 达 93.0、π0.5 达 96.0),说明 CoD 对「同一任务换了物体/位置」的组合泛化并不均衡,语义理解(93.9)远强于空间组合;其二,LIBERO-Plus 相机扰动只有 46.9%,是七个维度中最弱项,低于 OpenVLA-OFT 的 56.4%,视角变化下想象的特征对齐会退化;其三,RL 的奖励是特征相似度而非任务成功,模型可能学到「让特征像未来」而非「让动作正确」,技能组合实验中人类视频只改变 VLM 的推理先验、动作专家没见过完整任务,出错时无在线纠正机制;其四,SFT 初始化仍要求人类数据带标注的手腕轨迹(EgoDex/EgoVerse 自带),对完全无标注的网络视频还需姿态估计管线;其五,未来预测时域固定为 1 秒,跨长时程的任务级想象未探索。
独立分析的弱点
第一,空间组合泛化薄弱:LIBERO-PRO 位置漂移 18.2% 说明 CoD 编码了「怎么动」却没充分编码「往哪动」的几何关系,改进方向是把未来预测从 2D patch 特征升级为带深度/3D 点云的表示,或在奖励中加入物体位姿一致性项。第二,奖励可被外观捷径欺骗:DINO 余弦相似度衡量的是特征对齐,理论上存在与真实转移无关却相似度高的预测,且畸形 CoD 只被罚 0.05 的组内相对值,改进方向是引入接触/力等物理一致性校验,或用少量真值动作做奖励的锚定校准。第三,RL 是开环的:机器人执行失败不会反馈回 CoD 优化(奖励只来自数据集里的观测转移),策略层的失败模式无法被修正,改进方向是把部署时的真实结果回灌为在线奖励。第四,人类数据依赖手腕轨迹标注:对任意网络视频需要额外的手部姿态估计,误差会直接污染共享词表,改进方向是用潜在动作蒸馏或关键点追踪做弱监督分词。第五,固定 1 秒时域:抓取-放置等长时程任务的中间状态无法被一次想象覆盖,改进方向是多尺度时域(如 0.5s/1s/3s)层次化想象。第六,单种子与算力门槛:完整预训练需要 128 块 H100 做 SFT、64 块做 RL,且 LIBERO-PRO 上部分指标(Object 73.3)反而低于更大参数的旧模型,说明 2B 骨干+推理目标的组合还有容量瓶颈,改进方向是多种子汇报与骨干缩放实验。
未来方向
作者在结论中未展开具体未来工作,仅指出「用观测世界动力学学习可迁移动作推理」有扩大机器人学习数据来源的潜力。基于成果可延伸的方向:一是时域扩展——把固定 1 秒的 $\Delta$ 变成层次化多时域想象,让 CoD 覆盖完整任务片段而非单步转移,这直接呼应长时程任务 94.2% 尚有空间的现状;二是闭环 RL——当前奖励来自被动视频,若允许机器人执行候选 CoD 并用真实结果替换想象相似度,就得到在线版后果接地 RL,可修复开环弱点;三是把 CoD 与语言思维链组合成「子目标文本→CoD→动作」的层次推理,结合 ThinkAct 类方法的文本计划;四是跨具身零样本验证——t-SNE 已显示 CoD 按运动而非具身聚类,下一步可在没见过的机械臂上零微调部署;五是扩大人类视频占比实验(当前只到 50%)并研究缩放定律;六是把未来预测从 DINO 2D 特征换成 3D 几何感知表示以攻克位置漂移 18.2% 的短板;七是探索推理时按需启用 CoD 的自适应模式,在困难场景付出思考代价、简单场景保持低延迟。
复现评估
论文的可复现性文档非常详尽:附录给出模型配置(Qwen3-VL-2B 主干、冻结 DINOv3 ViT-H/16+ 目标编码器、64 个 future queries、两层 MLP+六层交叉注意力解码器)、完整输入输出 prompt 模板、本体状态 256 桶量化方案、图像增强 pipeline、RL 奖励与 GRPO 全部超参(K=4、裁剪区间 [0.8,1.28]、KL 0.04、$\lambda_{GRPO}=0.999$)、训练数据合同(Table 4 列出八个数据源的片段数/帧数/小时数/控制频率)与分阶段训练配置(Table 5)。所用数据全部公开:EgoDex、EgoVerse、DROID、Bridge/RT-1、BC-Z、RoboCOIN、MolmoAct2-DROID/BimanualYAM;评测基准 LIBERO、LIBERO-PRO、LIBERO-Plus、SimplerEnv 均公开,部分 LIBERO-PRO 基线取自官方仓库、其余标注为复现。瓶颈在算力:SFT 用 128 块 H100、动作 SFT 最多 128 块、RL 64 块、具身后训练 32-64 块,学术实验室难以复现完整预训练,但复现下游后训练(如 LIBERO 50k 步微调)和所有评测是可行的;部署推理单张 RTX 3090 即可。论文附项目页但正文未明确承诺代码开源,实际复现难度:完整流程高,后训练与评测中等。另需注意所有训练结果基于单一种子,复现时指标可能有波动。
论文图表
teaser 图,四栏并列:人类第一视角视频与机器人演示进入统一运动空间;CoD 经强化学习缩放;仿真与真机对比显示 ThinkWorld 在域外(新物体 88.9%、新轨迹、新环境 77.8%)远超 Diffusion Policy(16.7%)、MolmoAct2(48.9%/46.7%)与 LaWAM(44.4%);右下展示从人类视频做技能组合(OPEN→PUT-L→CLOSE)
一图涵盖全文动机(人类+机器人经验)、方法(统一运动空间+未来想象+RL 缩放)和核心结果数字,是快速把握论文贡献的入口
固定机器人数据量,人类视频占比 0%/10%/25%/50% 对应成功率 45.4%/46%/47%/47.8%,50% 变体比匹配训练规模的纯机器人对照高约 1.2 个百分点
回答「人类视频真的有用吗」这一关键质疑,通过匹配规模的对照实验排除了单纯训练量带来的收益
CoD 开启时全 patch 余弦 0.74、top-25% 运动 patch 0.62;shuffle/空/无 CoD 条件分别为 0.71-0.72 与 0.54-0.55,运动密集 patch 上差距更显著
定量证明 CoD 特别擅长预测动作引起的变化,补充 Figure 7 的定性观察