Lune

NeurIPS2025Top-tier venue

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

2025Year
6Citations
2Top-tier citations

Abstract

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.

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

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

Cited by top-tier papers2

Ask how each one uses it

Builds on9

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines