Lune

NeurIPS2025顶会

InstructFlow: Adaptive Symbolic Constraint-Guided Code Generation for Long-Horizon Planning

Haotian Chi, Zeyu Feng, Yueming Lyu, Chengqi Zheng, Linbo Luo, Yew Soon Ong, Ivor W. Tsang, Hechang Chen, Yi Chang, Haiyan Yin

2025年份
6被引次数
2顶会引用

摘要

Long-horizon planning in robotic manipulation requires translating under-specified, symbolic goals into executable control programs that satisfy spatial, temporal, and physical constraints. However, existing language model-based planners often struggle with decomposing long-horizon tasks, enforcing constraints robustly, and adapting effectively to execution failures. We introduce InstructFlow, a multi-agent framework that establishes a symbolic, feedback-driven flow for code generation in robotic manipulation. InstructFlow comprises three coordinated agents: a InstructFlow Planner that constructs and traverses a hierarchical instruction graph to decompose goals into semantically grounded subtasks; a Code Generator that synthesizes executable code snippets conditioned on this graph; and a Constraint Generator that analyzes execution feedback to induce symbolic constraints when execution failures occur. These constraints are propagated upstream to refine the instruction graph and guide localized code revision without full regeneration. This graph-guided, dynamic flow enables structured, interpretable, and failure-resilient planning, yielding substantial improvements in task success rate and robustness across diverse manipulation benchmarks, particularly in constraint-sensitive and long-horizon scenarios. The implementation is available at https://github.com/chiht21/InstructFlow.

问问这篇 Paper

智能体会读完全文。

Lune 把这篇 Paper 索引到了最后一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。

可以从这些问题问起

智能体调用

Luneget_paper_fulltext

在 Lune 里问

免费开始,无需绑卡

lune papers fulltext 2cccbf75-d92e-484f-b43c-d52004b6ddad

引用它的顶会 Paper2

问问它们各自怎么用它

它引用的顶会 Paper9

相关 Paper

黄昏的海面,两侧是细线勾勒的悬崖