精读笔记
Problem Setting
UniETP处理的是embodied task planning中的“跨环境可泛化评测与训练”问题，而不是提出一个新的planner。它关心的层级是高层任务规划：agent接收自然语言目标和交互历史，输出可执行原子/复合动作序列。
真正困难不在POMDP定义本身，而在不同模拟器把同一类家庭任务暴露成完全不同的接口：观察可能是图像、对象列表、场景图或隐式可行动作；动作可能是低层移动、object-centric teleport、程序式操作或物理交互；评测可能是终态检查、程序执行成功或特定脚本状态。于是planner学到的往往是benchmark-specific interface，而不是embodied planning能力。
这篇论文的关键矛盾是：ETP需要大量、多样、闭环、可执行的数据来训练generalist agent，但这些数据又被模拟器语义和接口割裂；如果强行统一，容易把任务过度抽象成符号规划，丢掉视觉grounding和探索难度。UniETP试图在这两者之间找一个工程上可运行的中间层。
Motivation
已有路线的问题不是单个benchmark不够难，而是每个benchmark都在定义自己的世界。ALFRED/ALFWorld偏AI2-THOR，VirtualHome偏程序化家庭活动，Habitat偏大规模导航和移动操作，BEHAVIOR偏物理真实和复杂物体状态。它们各自有价值，但组合起来不能自然形成训练分布。
作者的核心观察是：模拟器之间的互补性本身就是泛化资源。AI2-THOR的object affordance、VirtualHome的活动程序、Habitat的场景规模、BEHAVIOR的复杂物理状态，如果能被映射到一致的agent-facing contract，就能把benchmark从“孤岛评测”变成“多域数据源”。
关键缺口是统一的interface和统一的evaluation semantics。没有前者，模型输入输出不可复用；没有后者，跨环境成功率不可比较；没有自动生成任务，统一接口只是一层adapter，不能变成可扩展训练机制。
Core Idea
论文真正的核心思想是把simulator-specific embodied planning转成contract-based embodied planning：agent只面对统一观察、统一动作、统一反馈和统一目标逻辑，具体模拟器通过projector把内部状态/动作映射到这个公共空间。这样模型被迫在更抽象的层面学习“对象、状态、空间关系、动作效果、任务逻辑”之间的关系，而不是记住某个环境的API。
这个思路理论上有效，因为跨模拟器泛化的必要条件不是视觉风格一致，而是交互语义可对齐。UniETP把对齐对象选在了高层任务规划所需要的最小充分语义上：对象实例、类别、状态、空间边、可执行动作、动作反馈、目标公式。它改变的建模方式是：环境不再只是模型prompt里的非结构化上下文，而是被压缩成可评测、可生成、可迁移的latent symbolic interface。
和prior的本质区别在于，很多benchmark只是增加任务数量或复杂语言，UniETP更像是在重构ETP的数据平面。它不声称planner architecture新，而是声称统一环境接口后，训练和评测的可扩展性会发生变化。
Method
1. 统一观察空间：解决不同benchmark给agent多少环境先验不可比的问题。UniETP把观察拆成局部视图、全局信息、动作反馈，并允许全局信息按rooms/static objects/movable objects分级暴露。核心变化是把“是否给object list/scene prior”变成可控变量，而不是隐藏在benchmark设计里。
2. 统一参数化动作空间：解决动作枚举和动作语义不一致的问题。动作被表示为action type加对象/房间参数，并区分导航粒度和操作粒度。这里的关键不是30多个动作类别本身，而是把“搜索难度”和“子过程规划难度”显式暴露出来：teleport/composite action越多，越接近高级技能调用；movement/atomic action越多，越接近真实闭环控制。
3. 统一场景图与逻辑评测：解决跨模拟器goal checking不可比的问题。USG用节点状态和空间边表示环境，目标用一阶谓词、量词、布尔连接、时序约束和计数聚合表达。核心变化是评测从任务脚本或终态heuristic转成统一逻辑公式，使复杂目标和跨模拟器比较成为可能。
4. 自动任务生成：解决统一接口之后数据规模不足的问题。模板、affordance knowledge base、scene grounding、scripted expert feasibility check和LLM instruction生成构成流水线。机制上它是在把simulator metadata转成可监督的任务分布，而不是单纯扩写自然语言指令。
5. 多模式评测：M1/M2/M3不是普通ablation，而是能力分解工具。M1更偏任务逻辑和高层意图理解，M2加入对象搜索和primitive planning，M3进一步要求视觉定位和主动探索。它让同一任务族下的失败原因更可诊断。
Key Insight / Why It Works
最重要的贡献是representation alignment。UniETP把不同模拟器中的object state、spatial relation、action affordance和goal condition对齐到统一抽象，使模型训练时看到的是跨域共享的任务结构。这比单纯增加某个benchmark的数据更有价值，因为它减少了环境接口噪声，让监督信号更集中在planning-relevant semantics上。
第二个有效点是difficulty factorization。过去很多ETP结果混在一起：模型失败可能是没读懂指令、没找到物体、不会分解动作、没记住历史、视觉grounding错，或者只是action format错。UniETP通过M1/M2/M3和任务split把这些因素拆开，至少能粗粒度定位瓶颈。实验中M1到M2/M3的大跌，比平均SR更有信息量：当前VLM的高层推理能力在有强先验时看起来不错，但一旦需要探索和状态维护，能力迅速塌陷。
第三个有效点是data coverage。SFT显著提升很可能主要来自统一格式下的大量expert trajectories和任务模板覆盖，而不是模型突然学会了深层因果规划。这里必须直说：增益来源不清。它可能是representation alignment，也可能只是格式适配、模板记忆、affordance prior学习和训练分布覆盖。论文的held-out simulator/task结果有意义，但还不足以证明强组合泛化。
哪些是核心贡献：统一接口、统一逻辑评测、多粒度难度控制。哪些更像辅助：LLM生成instruction、ReAct prompt、failure text explanation。failure feedback ablation也说明文本解释不一定被有效利用，binary success signal反而更关键，这暗示当前agent更多依赖外部状态确认，而不是从视觉中可靠推断动作后果。
这篇论文不是在证明VLM有强embodied reasoning，而是在相当清楚地暴露相反事实：强模型在structured API和丰富先验下表现尚可，但真正进入对象搜索、细粒度grounding、长程闭环后，所谓planning很脆。很多成功更像是在统一符号接口上的retrieval/planning pattern matching，而不是稳健的长期状态建模。
Relation To Prior Work
UniETP最接近的是ETP benchmark和simulator interface路线，而不是VLA控制或端到端机器人学习路线。它和ALFRED/ALFWorld、LoTa-Bench、ET-Plan-Bench、EmbodiedBench、PARTNR等工作的关系是：后者主要定义任务集或评测协议，UniETP试图定义跨模拟器的公共执行层。
看似新的部分中，任务模板生成、LLM改写指令、场景图评测、ReAct闭环都不是新思想；它们在embodied agent和LLM planning里都已有先例。真正新增的信息在于把这些思想组织成一个多simulator、多动作粒度、多目标逻辑的统一benchmark，并且明确把接口标准化作为泛化前提。
和VirtualHome/ET-Plan-Bench这类偏符号程序规划的区别是，UniETP保留了视觉观察和bbox/图像grounding模式；和Habitat/PARTNR这类强调移动操作和协作的大环境不同，UniETP更关注单agent任务规划接口的可比性；和EmbodiedBench相比，它更强调自动任务生成和跨模拟器统一语义，而不是把已有子任务集合并成综合评测。
它属于“benchmark-as-infrastructure”的技术谱系：贡献不在模型，而在重新定义训练/评测分布的组织方式。这类工作如果成功，后续模型论文会把它当作统一数据源和诊断平台。
Dataset / Evaluation
UniETP覆盖四个模拟器、上百类任务模板、数百benchmark实例和更大的训练集，任务维度包括atomic、compositional、logical、linguistic、instance grounding。覆盖范围比单模拟器benchmark明显更宽，尤其是对象状态、空间关系、动作粒度和目标逻辑的组合更丰富。
评测确实支持论文的核心claim之一：不同模型在统一接口下可以跨模拟器比较，而且难度模式能揭示M1到M2/M3的能力断层。跨simulator结果也显示环境规模和可交互对象复杂度会显著改变planner表现，这说明统一benchmark不是简单拼表。
但它还没有充分验证“generalizable embodied task planning”。首先，没有真实世界或真机实验，所有泛化仍在simulator metadata和统一adapter内部。其次，M3只在Atomic split上少量评测，最接近真实部署的设置没有覆盖复杂长程任务。第三，benchmark实例数量不大，虽然训练集有9k，但测试集是否足以避免模板级memorization，文中未充分说明。
评测更强地证明了“统一接口能构造一个有诊断价值的benchmark”，弱一些地证明了“统一数据能改善跨域泛化”，但还没有证明模型学到了可迁移的长期世界模型。
Limitation
1. 核心能力可能主要来自数据覆盖。SFT提升很明显，但这可能是因为训练轨迹覆盖了动作格式、常见对象affordance和模板组合，而不是因为模型学会了真正抽象的planning algorithm。增益归因不清。
2. 统一接口把一部分难题转移到了adapter和USG。对象状态、空间关系、affordance、动作成功判定依赖simulator privileged information。真实机器人中这些都要由感知和状态估计产生，误差会系统性破坏当前评测假设。
3. 动作语义对齐可能有隐藏损失。不同模拟器里的open、heat、place、inside、reachable并不一定有完全一致的物理含义。统一动作类别可能掩盖了transition dynamics差异，使benchmark更适合高层语义规划，而不适合验证物理交互泛化。
4. M1/M2存在structured API bias。给对象ID、bbox列表、静态物体列表、binary success signal会显著降低真实探索难度。模型可能在选择列表项，而不是构建环境记忆。planner实际没有形成长期状态建模的风险很高。
5. 自动生成任务有模板偏置。任务由模板、AKB和scripted expert过滤得到，语言再由LLM生成并人工检查。这种流程可扩展，但容易形成有限的goal grammar和solution grammar。所谓推理可能更像retrieval到训练过的任务模式。
6. 泛化边界仍窄。held-out simulator/task实验有价值，但不是强OOD：统一动作空间、统一goal language和共享家庭物体affordance仍提供大量隐式对齐。真正跨domain、跨embodiment、跨物理规则的泛化尚未证明。
Takeaway
- 1. 对ETP来说，统一环境contract可能比单个更强planner更基础。
- 没有统一observation/action/evaluation语义，所谓generalist embodied planner很难被稳定训练和比较。
- 2. 当前VLM-based embodied agent的主要短板不是复杂语言逻辑，而是探索、实例级grounding、状态跟踪和长程闭环可靠性。
- M1高分不应被误读为真实embodied planning能力成熟。
一句话总结
UniETP是ETP方向从单benchmark任务设计走向跨模拟器统一数据与评测基础设施的一步，真正贡献在representation alignment和难度可控的诊断框架，而不是新的规划模型。