论文多源确认

Coding Agents 在广义任务与运动规划上超越手工规划器

Coding Agents for Generalized Task and Motion Planning Problems

精选理由

有人拿 Claude Code 和 Codex 写规划程序,成功率达 95%,比手工规划器高还省十倍算力,代码和提示词全开源了。

论文测试 Claude Code(Opus 5)和 Codex(GPT-5.6 Sol、GPT-6 Astra)能否自动合成可跨实例泛化的任务与运动规划(TAMP)程序。评估覆盖 KinDER 和 PDDLStream 的 28 个模拟环境,共 980 个程序、98,000 个评估回合。在 16 个有规划器可用的环境中,三种编码智能体配置平均成功率达 56% 到 95%,高于手工规划器的 47%。随着物体数量增加,智能体程序保持更高成功率,每个实例平均计算量低一个数量级。论文已公开全部代码和提示词。

原文 · arXiv cs.AI

Coding Agents for Generalized Task and Motion Planning Problems

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.