基本信息
- 来源: arxiv
- 原始来源: http://arxiv.org/abs/2609.30233v1
- 发布域名: arxiv.org
- 分类: cs.RO
- 作者: Matteo Merler、Bowen Li、Josh Roy 等
要点解读
这是什么
该研究探讨了编码代理能否通过合成可在不同问题实例间复用的程序，来降低任务与运动规划的计算复杂度。实验对比了代理生成程序与手工规划器的表现。
用在哪里
适合关注机器人规划、智能体程序合成或大语言模型实际应用的研究者和工程师阅读。涉及模拟环境中的任务规划与程序泛化能力评估。
可以推断的
推测：编码代理在生成可复用的规划程序上展现出优势，尤其在问题规模扩大时，相比传统规划器能更高效地完成任务。
推测：代理程序通过与环境交互进行调试和优化的策略，可能是其优于一次性生成方法的关键因素。
来源摘要/节选
Task and motion planning (TAMP) problems remain difficult even with full observability and object-centric states because discrete decisions are tightly coupled to geometric, kinematic, and dynamic constraints. Generalized TAMP addresses this difficulty by exploiting regularities across problem instances to reduce planning effort on new instances. However, existing methods require substantial TAMP-specific engineering. We investigate whether coding agents can automate this process by synthesizing programs that generalize across instances. Given a task description and simulator access, each agent chooses how to interact with the environment while developing a program within a fixed synthesis budget. The program is then frozen and evaluated on unseen instances. We evaluate Claude Code (Opus 5) and Codex (GPT-5.6 Sol and GPT-6 Astra) on 28 simulated environments from KinDER and PDDLStream, with object counts beyond those evaluated in the original benchmark. Across all program synthesis methods, we evaluate 980 generated programs on 100 held-out instances each, 98,000 evaluation episodes in total. Overall, we find that coding agents are surprisingly effective at generalized TAMP: all three agent configurations outperform hand-engineered planners, one-shot generation, and an LLM-based generalized planning baseline in mean success (56% to 95% versus 47% for the planners, on the 16 environments where a planner is available). As object counts grow, the agents’ programs maintain higher success than the planner, using an order of magnitude less computation per instance on average. Logs show agents using interaction to calibrate physical models, test edge cases, and refine strategies. We release all code, including the full prompts given to the agents. These findings suggest that coding agents are a strong baseline for generalized TAMP.
来源说明
当前保存的是来源摘要，不代表论文全文。请以原始来源为准。
「要点解读」由 AI Stack 依据上方已保存内容整理，不代表来源的完整表述；标注「推测：」的判断来自编辑，不是来源陈述。