TARSphere:面向演化物理与社会环境的机器人长时程具身智能体全栈框架 TARSphere: A Robot-Oriented Full-Stack Framework for Long-Horizon Embodied Agents in Evolving Physical and Social Environments
物理与社会双重约束下的机器人全栈框架与360集基准,评测8个多模态大模型的动态世界执行能力
前置知识
视觉-语言-动作(VLA)模型
VLA 模型将摄像头图像、语言指令等多模态输入直接映射为机器人控制动作,代表工作有 RT-2、OpenVLA、GR00T 等。它们通常在大规模机器人数据上端到端训练,把感知、理解与控制压缩进一个模型,擅长低层执行,但对长时程任务规划与动态环境适应能力有限。
本文的核心对比对象之一就是具身专用模型(RoboBrain2.0、Hy-Embodied),理解 VLA 的定位才能明白为什么它们在共享 harness 下反而输给通用模型。
多模态大语言模型(MLLM)
以 GPT、Claude、Gemini、Qwen-VL 为代表的大模型,能接收图像与文本进行推理并输出结构化决策。本文将冻结的 MLLM 作为机器人'大脑',通过工具调用式的技能接口发出动作,不微调任何参数,只比较模型固有的推理与感知能力。
TARSphere 的评测协议就是'冻结 MLLM + 统一 harness',8 个被评模型全部是 MLLM,读懂本文需要理解这种模型即智能体的评测范式。
事件驱动有限状态机(FSM)
一种程序结构:系统处于离散状态,只有当特定事件发生且前置条件(这里是因果 DAG 依赖与实时物理/交互条件)满足时才触发状态转移。本文中 NPC 动作走 Idle–Queued–Acting–Done 四态,'已确认的动作完成'与'实际送达的消息'才被承认并提交任务状态变更。
FSM 是 TARSphere-Infra 的评测中枢:任务更新、依赖检查、结局评分全部由它驱动,是理解'评测证据如何被认定'的关键。
物理仿真引擎(Isaac Sim / PhysX)
NVIDIA 的机器人仿真平台,按接触、摩擦、重力等物理定律计算刚体运动。机器人动作不再'瞬移成功',而是要真实完成接近、闭合手指、维持平衡等过程,碰撞和跌倒都可能发生并被记录为执行反馈。
本文反复强调'动作调用成功不等于执行成功',物理保真度正是它区别于 ALFRED/EmbodiedBench 等符号动作基准的根本,也是碰撞率、跌倒率这些指标的来源。
成对条件对比(paired conditions)
实验设计方法:让每个 Base 任务派生出若干变体,变体与 Base 共享同一场景、同一任务族和同一评分流程,只在单一因素上不同(如光照变暗、目标人物更换、工具暂时不可用)。这样两组成绩之差可归因于该因素本身。
TARSphere-Bench 的 360 个 episode 就是 60 个 Base 任务各配 5 个条件(PR/DA/TU/HC/IU),这是全文能力缺口分析的方法论基础。
研究动机
现有具身智能系统难以同时覆盖物理执行与社会交互中的动态变化,具体分三类问题。第一类以 Harness VLA、RoboClaw、HumanCLAW 为代表,它们面向目标固定的任务,'世界会在执行中演化、人类会改变需求'这一维度几乎未被检验。第二类包括 EmbodiedBench 的高层任务、LoTa-Bench、ALFWorld 文本环境和 Embodied Agent Interface,它们把物理执行抽象成离散符号动作——动作调用成功就默认执行成功,回避了机器人必须对抗的接触、摩擦与平衡:一次抓取可能滑落,一次转向可能撞墙甚至摔倒。第三类如 GRBench 虽结合了机器人执行与虚拟 NPC 对话,PARTNR 评估了带时间约束的人机协作,但都没有把执行结果与人类交互绑定到任务状态的更新和评测证据的认定上,任务完成与否与'谁收到了消息''谁接受了交接'脱钩。此外,几乎所有基准只报聚合成功率,这会掩盖不同能力维度的缺陷——两个 Base 成功率相同的模型,可能一个输在感知、一个输在意图理解,评测无法定位。文中 8 个被评模型的碰撞率高达 84–100%、跌倒率 9–47%,说明即使最强的模型在物理执行层面也远未可靠。
本文的目标是本文要为'演化世界中的长时程具身智能体'建立一套可复现、可公平对比的全栈基础设施与基准。具体目标分三层:其一,TARSphere-Infra 在 Isaac Sim/PhysX 物理仿真中运行 G1 机器人与具身 NPC,物理动作受接触与摩擦约束,NPC 具有姿态、行为、可用性与授权知识,对话受邻近性、可见性与听力范围限制;用事件驱动有限状态机依据'已完成的动作'与'已送达的信息'更新任务状态并产出评测证据。其二,TARSphere-Harness 让冻结的多模态大模型通过自我中心观察、分层记忆、多级可执行技能与物理执行反馈进行闭环决策与重规划。其三,TARSphere-Bench 在 30 个室内场景(10 个家庭 + 20 个商业空间)上构建 360 个 episode,覆盖 navigate-and-report 与 fetch-and-deliver 两类任务族,配以感知鲁棒(PR)、干扰适应(DA)、任务更新(TU)、人类协调(HC)、意图理解(IU)五种成对能力条件,并同时评估成功率、路径效率、决策/_token 成本与碰撞/跌倒安全性。
与已有工作不同的是,本文的独特切入角度有三点,均针对上述空白。第一,评测证据与物理执行及人类接受强绑定:交付任务必须通过实际抓取且接收者接受才算完成,报告任务必须真正送达目标人物,FSM 只在因果 DAG 前置条件与实时物理/交互条件满足时才承认事件——这与把执行抽象为符号调用的基准(EmbodiedBench、ALFWorld 等)形成本质区别。第二,成对条件设计:每个 Base episode 派生五个共享场景与任务族的条件变体,使'任务更新后模型能否重规划''人类不可用时能否适应'等能力差异可以在受控对照下量化,而非淹没在聚合分数里,直接回应 Challenge 3。第三,agent-in-the-loop 数据构建:让编码智能体按 SKILL.md 规则联合求解实体绑定、事件依赖与交互位置,使任务语义、因果依赖与场景几何三者一致,再经多智能体审查、人工审核与仿真验证三道工序,最终 96.7% 的 episode 可用,解决了'语义-因果-几何难以同时对齐'的基准构建难题。
核心方法
整体思路先讲直觉:让一个冻结的多模态大模型像'大脑'一样,在受真实物理与社会约束的仿真世界里反复执行'感知—决策—执行—反馈—重规划'的闭环。形式化上,时刻 $t_k$ 策略 $\pi$ 依据观察 $o_{t_k}$ 与交互历史 $h_{t_k}$ 选择动作序列 $B_k = \pi(o_{t_k}, h_{t_k})$;世界状态按 $\langle s_{t+1}, f_t \rangle = W(s_t, \mathrm{Exec}(a_t), e_t)$ 演化并返回测量反馈 $f_t$,其中 $s_t$ 包含机器人、物体、人类与活跃任务状态,$e_t$ 是人类或环境事件。技术路线分三层:TARSphere-Infra 用 Isaac Sim/PhysX 驱动 G1 机器人(行走由学习策略控制,抓取执行规划臂运动且要求物理获取并保持物体),NPC 运行时用 LLM 后端把自然语言问题路由到授权话题并返回 episode 预定义的回复,事件驱动 FSM 把确认的动作完成与实际送达的消息转为任务状态转移;TARSphere-Harness 为模型提供自我中心 RGB、机体系 LiDAR、公共事件与执行反馈(运动残差、碰撞方位角),通过统一多级技能接口调用身体原语、操作、导航与社交动作,控制器后端(SAM3、GraspGenX、cuRobo 等)可替换为 VLN 或全身 VLA 策略;TARSphere-Bench 则提供 360 个 episode、五种配对条件与五阶段依赖检查评测。
核心创新是把评测证据锚定在物理执行与社会交互的真实结果上,而非动作调用是否合法,并让'世界在执行中变化'成为一等公民。与符号动作基准的本质区别有二:其一,动作调用成功不等于执行成功——抓取必须接近、闭合手指并验证持握(Policy-driven grasping),接触、摩擦与平衡决定成败,碰撞与跌倒计入评测,运动是物理的而非传送带式的;其二,任务需求会在执行中被授权事件修改(如收件人从 Elena 改为 Marcus),FSM 依据'证据产生当时生效的需求'来评分,交付必须被新收件人实际接受。与现有人机协作基准的区别在于社会交互有空间与可用性约束:询问 NPC 需要邻近且可见,对方忙碌时回复会延迟,NPC 语音只在听力范围内可闻。另一个关键设计是公平性:8 个冻结 MLLM 共享相同的提示、观察、动作接口、100 次决策上限与终止规则,模型间差异被隔离到决策质量本身;配套消融进一步分离感知(LiDAR、运动残差)、记忆与技能接口各自的贡献。
方法步骤详情
方法步骤完整描述如下。第一步,观察输入:Harness 每次决策接收当前自我中心 RGB 图像、机体系 LiDAR 扫描、公共事件与执行反馈,其中运动残差与碰撞方位角报告移动误差大小与接触方向。第二步,决策输出:模型经思维链推理(图 3 中有完整 示例)后通过统一技能接口提出 1–5 个动作,可选身体原语 $\mathrm{move\_body}(\Delta b)$、$\mathrm{move\_end\_effector}(\Delta\xi, g)$,操作技能 $\mathrm{grasp\_object}(o)$,导航技能 $\mathrm{navigate\_to\_entity}(e)$、$\mathrm{navigate\_to\_frontier}(\ell, d)$,以及社交动作 $\mathrm{ask}(h, q)$、$\mathrm{speak}(h, u)$、$\mathrm{remember\_entity}(e, m)$。第三步,物理执行:动作串行送入 Isaac Sim/PhysX,可在工具边界返回控制并取消剩余动作;行走由学习策略驱动,抓取由 SAM3 定位、GraspGenX 生成抓取位姿、cuRobo 规划臂运动,需物理获取并保持物体。第四步,社会交互:机器人询问 NPC 需满足邻近性与可见性(Robot→NPC: visible + near),NPC 语音仅在听力范围内可达(NPC→Robot: near),LLM 后端按授权话题返回回复。第五步,状态更新:FSM 在 DAG 前置条件与实时物理/交互条件满足时接受事件,NPC 动作经 Idle–Queued–Acting–Done 四态,确认完成与实际送达才提交任务转移(如 recipient: Elena→Marcus)。第六步,评测:五个依赖检查的阶段——任务理解、现场目标观察、现场完成、接收者观察、最终完成——按 $\mathrm{Prog}(e) = \frac{1}{5}\sum_{i=1}^{5} g_{e,i} q_{e,i}$ 计进度,$\mathrm{Succ}(e) = c_e (1 - u_e)$ 计成功,其中 $c_e$ 表示正确完整的报告送达预期接收者或正确物体被接受交接,$u_e$ 表示终局跌倒或物体丢失;路径效率 $\mathrm{Eff}$ 用骨盆 XY 位移积分 $L_{m,e}$ 除以标定路线长度 $d^\star_e$。数据构建侧同步进行:任务卡/NPC 档案/3D 场景输入 → 编码智能体按 SKILL.md 联合求解语义-因果-几何约束 → 多智能体审查(因果、对话、结局绑定、评分捷径、几何、多样性)+ 人工审核 → 仿真验证事件投递与物理执行。
技术新颖性
技术新颖性体现在四个方面。(1) 事件驱动的任务状态机是评测中枢:只把'已确认的动作完成'与'实际送达的消息'作为状态提交凭据,评测器对五个依赖检查的结局按证据产生时生效的需求打分,任务更新事件本身不计分——这使'执行中改需求'首次成为可严格评测的维度。(2) 具身 NPC 不是布景:授权知识、可用性、邻近/可见/听力三重空间约束共同决定信息可得性,社会交互成为任务完成的必要环节(HC 需要他人的信息或现场协助,交接需接收者接受),而 GRBench 只做到了'可以对话'。(3) agent-in-the-loop 构建:用代码智能体按 SKILL.md 联合求解实体绑定、事件依赖与交互位置,多智能体审查六类问题(因果时序、对话自然度、结局绑定、评分捷径、几何间隙、任务覆盖)加人工审核加仿真验证,消融证明去掉多智能体审查可用率从 96.7% 暴跌至 45.0%(-51.7 点),说明该管线本身是可量化的贡献。(4) 受控干预研究方法论:把执行辅助(运动、附着、定位、建图四项)与五种能力条件交叉,用 $G_{ac} = S_{ac} - S_{a\mathrm{Base}}$ 与 $I_{ac} = G_{ac} - G^\mathrm{normal}_c$ 度量辅助是否缩小能力缺口,得出'执行增益不等于能力缺口缩小'的结论,这超越了聚合排名式评测。
实验结果
核心发现有五条,逐一分析。(1) 专有模型领先,通用开源模型可超过具身专用模型:Gemini-3.8-Flash 在 navigate-and-report 达 40.6% 成功(进度 67.2%)、fetch-and-deliver 达 47.8%(进度 69.4%),次优 Claude Sonnet-5 仅 16.9%/24.6%,差距超过 23 个百分点;开源通用模型 Gemma-4-31B 在两个任务族均有成功(导航 13.4%、交付 2.2%),而两个具身模型 RoboBrain2.0-32B 与 Hy-Embodied-VLM-1.0 进度仅 19–27% 与 9–13%,且零 episode 完成——具身预训练若损伤了多模态理解能力反而得不偿失。(2) 配对条件揭示任务相关的能力缺口:六个条件平均看 PR/DA 基本保持 Base 水平,而导航族的 TU/IU 缺口最大(Gemini 导航 TU 成功 16.7%、IU 16.7%,远低于 Base 60.0%),交付族的 HC/IU 更难(HC 43.3%、IU 40.0%)——相同的 Base 成功率可能掩盖完全不同的缺陷分布。(3) 执行安全问题严峻:所有模型-任务组的碰撞发生率 84–100%、跌倒率 9–47%,最强的 Gemini 也有 84%(导航)/98%(交付)碰撞与 14%/16% 跌倒,GPT-5.6-Terra 成功导航的路径比仅 1.17(最接近标定路线)。(4) Harness 消融(以 Gemini 为被评模型):完整 harness 进度 70.5%/成功 45.8%;去掉抓取技能成功暴跌 25.0 点至 20.8%,去 LiDAR -12.5 点、去运动残差 -11.1 点;配置上'10 步文本历史 + 当前 1 帧 + 1–5 自适应动作'以 43.2 次决策、10.5k token/次取得最高均值。(5) 受控干预:四项辅助全开使 Base 成功从 60.0% 升至 66.7%(+6.7),但 DA 缺口仅缩小 3.3 点、TU/HC 缺口维持 13.3/16.7 点不变,证明执行侧辅助无法替代对世界变化与人类协调的推理。失败分析覆盖 2,535 次失败运行:Qwen3.7-Plus 52.9% 归因于工具接口错误,Qwen3.8-27B 与 Hy-Embodied 分别 48.9%/46.1% 归因于任务状态错误(如图 7 中 Hunyuan 未获回答就标记子目标完成)。基础设施校准:平移误差 1.3–4.9 cm、旋转 0.49–1.2°、复合运动终点误差 2.6 cm/0.15°、抓取 229/240 成功(四个距离 93.3–96.7%)、检测 285/300、10 cm 内定位 260/300——误差存在,正是模型必须依据测量反馈修正动作的原因。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| navigate-and-report(导航并报告)平均 | 成功率 Success (%) | Gemini-3.8-Flash:40.6(进度 67.2) | 次优 Claude Sonnet-5:16.9(进度 51.3) | +23.7 个百分点 |
| fetch-and-deliver(抓取并交付)平均 | 成功率 Success (%) | Gemini-3.8-Flash:47.8(进度 69.4) | 次优 Claude Sonnet-5:24.6(进度 51.4) | +23.2 个百分点 |
| Harness 组件消融(Gemini,平衡子集) | 平均成功率 (%) | 完整 harness:45.8 | 去掉抓取技能:20.8(-25.0);去 LiDAR:33.3(-12.5);去运动残差:34.7(-11.1) | 抓取技能为最大贡献组件 |
| 受控干预交叉实验(DA 条件,30 个交付 Base 任务) | 成功率 (%) | 正常执行:Base 60.0 / DA 50.0 | 四项辅助全开:Base 66.7 / DA 60.0 | 完成率 +10.0,但能力缺口仅缩小 3.3 点,TU/HC 缺口 13.3/16.7 点不变 |
| 基准构建管线消融(360 个匹配任务规格) | 可用 episode 比例 (%) | 完整管线:96.7 | 去多智能体审查 45.0;去人工审核 65.0;去 SKILL.md 精炼 72.5;去仿真验证 83.3 | 多智能体审查贡献 +51.7 个百分点 |
| 语义判分 vs 人类评分一致性 | SRCC / PLCC | 计划 0.86/0.88;检查与查询报告 0.91/0.92;因果可靠性与任务可行性均 100% 通过 | —(人类标注为参照) | 强单调/线性相关,支撑自动评测的可信度 |
局限与改进
作者明确承认的局限:只评估了一种机器人本体(G1)和两类室内服务任务(navigate-and-report、fetch-and-deliver),且全部在仿真中完成;真机迁移需要解决感知、接触与人类行为三方面的差异,作者计划向 Mobile-Franka 迁移并接入任务适配的 VLA、导航与操作后端。我自己的补充观察:(1) 全模型 84–100% 的碰撞率本身说明底层运动策略与场景通行性设计尚不成熟,执行层噪声可能污染决策层评测——碰撞究竟归因于规划还是步态策略难以区分;(2) 固定 100 次决策上限会造成'预算型失败':图 7 中 Claude Sonnet-5 已拿到答案却因反复 stand_up(27 次)耗尽预算而未能报告,这类失败更多反映恢复机制而非推理能力;(3) NPC 对话由 LLM 按授权话题路由、按剧本回复,'社会约束'实际上更接近信息可得性约束,距离真实社会规范(礼貌、打断、欺骗)尚远;(4) 语义判分依赖固定 LLM 判官(Qwen3.8-Flash),虽与人类评分 SRCC 达 0.86–0.92,仍可能对特定表述风格或措辞存在偏好;(5) 每个条件仅约 30 个有效 Base episode(360 = 60 Base × 6 条件 × 2 任务族的配对设计),单条件成功率上几个点的差异统计功效有限,排名靠后的模型间差距可能不显著。
独立分析的弱点
独立分析的弱点与对应改进方向:(1) 任务族覆盖过窄——仅两种服务任务,无法检验多房间整理、烹饪等依赖链更长的任务,也缺少室外与移动操作场景,可扩展任务 DSL 与更深的因果 DAG 以提高难度上限。(2) Harness 结果可能与接口设计强耦合——消融显示去掉语义空间记忆反而让 PR/HC 成功从 41.7% 升至 58.3%,去掉 LiDAR 在导航 Base 上只掉到 41.7%,说明组件收益依赖任务分布;可引入元控制器或按模型自动搜索记忆/技能配置,报告'接口敏感性'作为模型评测的一部分。(3) 跌倒后恢复机制原始——定性案例中模型只会反复调用 stand_up,可加入专门的自恢复技能库、跌倒检测触发的人类求助策略,或把恢复行为交给低层策略。(4) NPC 行为脚本化——仅 Idle–Queued–Acting–Done 四态与授权话题问答,缺少多人同时在场、动态日程、误导信息等社会复杂度,可引入多人协商与信息可信度推理任务。(5) 评测指标对部分完成不敏感——Progress 五阶段均权,无法区分关键阶段(物理交接)与辅助阶段(计划质量)的权重,可引入依赖敏感加权或风险调整后的进度度量;同时碰撞/跌倒只作二元记录,可与任务进度联合构造安全-效率权衡曲线。
未来方向
作者提出的方向:向 Mobile-Franka 真机迁移;用任务适配的 VLA、视觉语言导航与操作后端替换或增强图 3(e) 的控制器后端(该接口本就设计为可替换)。基于本文成果可自然延伸的方向:(1) 把失败机制标注(工具接口错误、任务状态错误、物理执行失败、未解决四类,共 2,535 次失败运行)作为针对性微调或提示优化的监督信号,直接修复'未获回答就标记完成'这类系统性缺陷;(2) 学习型记忆整合——让模型从执行反馈中沉淀可复用技能与场景先验(ASPIRE、Zetta 的技能积累思路),而非每个 episode 从零规划,尤其可缓解 TU/HC 缺口;(3) 安全感知规划——把碰撞方位角与运动残差升级为前馈风险预测,主动避开易碰撞区域、在跌倒风险高时减速,把 Safety 指标从被动记录变为主动优化目标;(4) 更深的社会智能——多 NPC 协作、意图冲突、信息不完全可信时的追问与交叉验证,可利用现有授权知识机制扩展;(5) 用 TARSphere 的物理反馈轨迹做闭环强化学习或偏好优化(DPO 式)的数据来源,训练既会推理又懂执行反馈的具身模型,回应该文'通用与具身能力需兼得'的发现。
复现评估
复现评估:代码与项目页已公开(github.com/xuyicheng-zju/TARSphere,项目页 xuyicheng-zju.github.io/TARSphere),基准的 360 个 episode、agent-in-the-loop 构建管线(SKILL.md、多智能体审查、仿真验证流程)与五阶段评分器随框架发布。基础设施依赖 NVIDIA Isaac Sim/PhysX 与 GRScenes-100 场景资产(源自 GRBench),需要一台配 RTX 级 GPU 的工作站,仿真环境安装、资产配置与 G1 控制器接入有中等偏高的工程门槛。评测成本方面:8 个模型中 4 个是专有 API(GPT-5.6-Terra、Claude Sonnet-5、Gemini-3.8-Flash、Qwen3.7-Plus),按默认配置平均每个 episode 约 43.2 次决策、每次约 10.5k token,跑完 360 episode × 多条件会产生可观的 API 费用;开源模型(Qwen3.8-27B、Gemma-4-31B、RoboBrain2.0-32B、Hy-Embodied-VLM-1.0)需多卡 GPU 推理。数据构建侧若要自建新任务,需要编码智能体 + 多个审查 LLM + 人工审核的完整流程。综合判断:环境搭建难度中上,评测执行的主要成本在 API 与算力,复现单模型结果可行,完整复现 8 模型 × 360 episode 的主表需要较大预算;好在所有模型权重冻结、无训练环节,省去了训练算力。
论文图表
四栏拼图展示框架的四大支柱:①社会接地——与具身 NPC 的空间通信依赖人类可用性与交互范围,NPC 会说'我在打电话,稍后再试';②策略驱动抓取——需要接近、闭合手指并验证持握,靠接触反馈确认成功而非直接附着;③演化世界——任务需求会变化(收件人从 Ben 改为 Elena 而原始目标不变),事件触发重规划;④物理接地——运动受接触、摩擦与平衡支配,执行可能失败(碰撞或失去平衡),与传送点式的瞬移形成对照。
这是全文的问题设定图,一眼看清 TARSphere 与符号动作基准的本质区别:执行会失败、人会变卦、世界在动,所有评测设计都由这四点推导而来。
双栏失败分析:(a) 各模型失败画像——2,535 次失败运行中各模型按首次未满足结局(目标/现场/接收者/收尾阶段)与归因(任务状态/工具接口/物理执行/未解决)的百分比分布,如 Qwen3.7-Plus 工具接口错误占 52.9%,Qwen3.8-27B 与 Hy-Embodied 任务状态错误占 48.9%/46.1%,Gemini 的失败中物理执行占比更高;(b) 按首次未满足结局分层的归因堆叠图,物理执行失败共 584 次、动作策略 639 次、 grounding 400 次等。
提供按模型定位系统性缺陷的量化依据,这些标签可直接用作后续微调/提示优化的监督信号,是从'排名'走向'诊断'的关键图表。
对 360 个匹配任务规格消融构建管线四个组件后的可用率:完整管线 96.7%;去掉多智能体审查跌至 45.0%(-51.7 点,最大降幅);去掉人工审核 65.0%;去掉 SKILL.md 精炼 72.5%;去掉仿真验证 83.3%。独立审计检查任务连贯性与所需交互/物理目标的可完成性。
把'基准构建质量'本身变成可消融的对象,证明 agent-in-the-loop 管线不是装饰而是可用率的决定因素。
语义判分与人类评分的一致性检验:在 180 条轨迹上,计划质量的 SRCC/PLCC 为 0.86/0.88,检查/查询报告为 0.91/0.92;另对 60 个 HC 与 60 个 IU 任务审核因果可靠性与任务可行性,两者均 100% 通过。
自动评测(固定 LLM 判官)的可信度凭证——没有这张表,五阶段连续评分的合法性会受到质疑。