Errors are Useful Prompts: Instruction Guided Task Programming with Verifier-Assisted Iterative Prompting
Not on the map. Why?
Abstract (arXiv)
Generating low-level robot task plans from high-level natural language instructions remains a challenging problem. Although large language models have shown promising results in generating plans, the accuracy of the output remains unverified. Furthermore, the lack of domain-specific language data poses a limitation on the applicability of these models. In this paper, we propose CLAIRIFY, a novel approach that combines automatic iterative prompting with program verification to ensure programs written in data-scarce domain-specific language are syntactically valid and incorporate environment constraints. Our approach provides effective guidance to the language model on generating structured-like task plans by incorporating any errors as feedback, while the verifier ensures the syntactic accuracy of the generated plans. We demonstrate the effectiveness of CLAIRIFY in planning chemistry experiments by achieving state-of-the-art results. We also show that the generated plans can be executed on a real robot by integrating them with a task and motion planner.
Key facts. Cited by 46 papers in the map (data through 14 Oct 2026). First posted on arXiv 24 Mar 2023.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2023: 15; 2024: 14; 2025: 11; 2026: 6.
46 papers.
Sort:
By area:
- 2023Voyager: An Open-Ended Embodied Agent with Large Language Modelscited by 2,191
- 2023MetaGPT: Meta Programming for A Multi-Agent Collaborative Frameworkcited by 1,808
- 2023SayPlan: Grounding Large Language Models using 3D Scene Graphs for Scalable Robot Task Planningcited by 294
- 2023OctoPack: Instruction Tuning Code Large Language Modelscited by 189
- 2023REFLECT: Summarizing Robot Experiences for Failure Explanation and Correctioncited by 175
- 2023GenSim: Generating Robotic Simulation Tasks via Large Language Modelscited by 125
- 2023AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkerscited by 113
- 2023Foundational Models Defining a New Era in Vision: A Survey and Outlookcited by 110
- 2024Code-as-Monitor: Constraint-aware Visual Programming for Reactive and Proactive Robotic Failure Detectioncited by 63
- 2024ORGANA: A Robotic Assistant for Automated Chemistry Experimentation and Characterizationcited by 61
- 2024Physics of Language Models: Part 2.2, How to Learn From Mistakes on Grade-School Math Problemscited by 50
- 2025LLM Collaboration With Multi-Agent Reinforcement Learningcited by 49
34 more
- 2023Interactive Task Planning with Language Modelscited by 37
- 2024Steering Large Language Models between Code Execution and Textual Reasoningcited by 24
- 2024A Self-Correcting Vision-Language-Action Model for Fast and Slow System Manipulationcited by 21
- 2024AIC MLLM: Autonomous Interactive Correction MLLM for Robust Robotic Manipulationcited by 20
- 2023Incremental Learning of Humanoid Robot Behavior from Natural Interaction and Large Language Modelscited by 19
- 2024LangProp: A code optimization framework using Large Language Models applied to drivingcited by 18
- 2023LLM-State: Open World State Representation for Long-horizon Task Planning with Large Language Modelcited by 15
- 2024Evaluating Uncertainty-based Failure Detection for Closed-Loop LLM Plannerscited by 15
- 2023Sasha: Creative Goal-Oriented Reasoning in Smart Homes with Large Language Modelscited by 11
- 2024Cohesive Conversations: Enhancing Authenticity in Multi-Agent Simulated Dialoguescited by 11
- 2026QCalEval: Benchmarking Vision-Language Models for Quantum Calibration Plot Understandingcited by 11
- 2025Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generationcited by 10
- 2023Selective Perception: Optimizing State Descriptions with Reinforcement Learning for Language Model Actorscited by 9
- 2024ReFF: Reinforcing Format Faithfulness in Language Models across Varied Taskscited by 9
- 2025Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verificationcited by 9
- 2024ConceptAgent: LLM-Driven Precondition Grounding and Tree Search for Robust Task Planning and Executioncited by 8
- 2025Learning Game-Playing Agents with Generative Code Optimizationcited by 8
- 2026Learning Decentralized LLM Collaboration with Multi-Agent Actor Criticcited by 8
- 2025Structured Preference Optimization for Vision-Language Long-Horizon Task Planningcited by 7
- 2024RAGent: Retrieval-based Access Control Policy Generationcited by 5
- 2025Schema-Guided Scene-Graph Reasoning based on Multi-Agent Large Language Model Systemcited by 5
- 2025Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Plannerscited by 4
- 2025Prime the search: Using large language models for guiding geometric task and motion planning by warm-starting tree searchcited by 4
- 2023Is Feedback All You Need? Leveraging Natural Language Feedback in Goal-Conditioned Reinforcement Learningcited by 2
- 2024Real-World Cooking Robot System from Recipes Based on Food State Recognition Using Foundation Models and PDDLcited by 2
- 2025Self-Corrective Task Planning by Inverse Prompting with Large Language Modelscited by 2
- 2024TimelyLLM: Segmented LLM Serving System for Time-sensitive Robotic Applicationscited by 1
- 2025Constrained Natural Language Action Planning for Resilient Embodied Systemscited by 1
- 2026Safe Embodied AI for Long-horizon Tasks: A Cross-layer Analysis of Robotic Manipulationcited by 1
- 2023Lessons in Reproducibility: Insights from NLP Studies in Materials Sciencecited by 0
- 2025AI-Assisted Authoring for Transparent, Data-Driven Documentscited by 0
- 2026Navigating the Clutter: Waypoint-Based Bi-Level Planning for Multi-Robot Systemscited by 0
- 2026What Language Does and What the Evidence Supports: A Functional Role Taxonomy and Evidence Audit of Language Grounding in Embodied Agentscited by 0
- 2026CAPEX: Efficiently Distilling Foundation Model Behavior into Deployable Robot Policies through Experience-Adaptive Reasoningcited by 0
- 2026CAPEX: Efficiently Distilling Foundation Model Behavior into Deployable Robot Policies through Experience-Adaptive Reasoning26 Sep 2026
- 2026What Language Does and What the Evidence Supports: A Functional Role Taxonomy and Evidence Audit of Language Grounding in Embodied Agents4 Aug 2026
- 2026Safe Embodied AI for Long-horizon Tasks: A Cross-layer Analysis of Robotic Manipulation4 Jun 2026
- 2026QCalEval: Benchmarking Vision-Language Models for Quantum Calibration Plot Understanding28 Apr 2026
- 2026Navigating the Clutter: Waypoint-Based Bi-Level Planning for Multi-Robot Systems22 Apr 2026
- 2026Learning Decentralized LLM Collaboration with Multi-Agent Actor Critic29 Jan 2026
- 2025AI-Assisted Authoring for Transparent, Data-Driven Documents27 Oct 2025
- 2025Constrained Natural Language Action Planning for Resilient Embodied Systems7 Oct 2025
- 2025Learning Game-Playing Agents with Generative Code Optimization27 Aug 2025
- 2025LLM Collaboration With Multi-Agent Reinforcement Learning6 Aug 2025
- 2025Prime the search: Using large language models for guiding geometric task and motion planning by warm-starting tree search8 Jun 2025
- 2025Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Planners26 May 2025
34 more
- 2025Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification6 Apr 2025
- 2025Self-Corrective Task Planning by Inverse Prompting with Large Language Models10 Mar 2025
- 2025Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation3 Mar 2025
- 2025Structured Preference Optimization for Vision-Language Long-Horizon Task Planning28 Feb 2025
- 2025Schema-Guided Scene-Graph Reasoning based on Multi-Agent Large Language Model System5 Feb 2025
- 2024TimelyLLM: Segmented LLM Serving System for Time-sensitive Robotic Applications24 Dec 2024
- 2024ReFF: Reinforcing Format Faithfulness in Language Models across Varied Tasks12 Dec 2024
- 2024Code-as-Monitor: Constraint-aware Visual Programming for Reactive and Proactive Robotic Failure Detection5 Dec 2024
- 2024ConceptAgent: LLM-Driven Precondition Grounding and Tree Search for Robust Task Planning and Execution8 Oct 2024
- 2024Steering Large Language Models between Code Execution and Textual Reasoning4 Oct 2024
- 2024Real-World Cooking Robot System from Recipes Based on Food State Recognition Using Foundation Models and PDDL3 Oct 2024
- 2024RAGent: Retrieval-based Access Control Policy Generation8 Sep 2024
- 2024Physics of Language Models: Part 2.2, How to Learn From Mistakes on Grade-School Math Problems29 Aug 2024
- 2024Cohesive Conversations: Enhancing Authenticity in Multi-Agent Simulated Dialogues13 Jul 2024
- 2024AIC MLLM: Autonomous Interactive Correction MLLM for Robust Robotic Manipulation17 Jun 2024
- 2024Evaluating Uncertainty-based Failure Detection for Closed-Loop LLM Planners1 Jun 2024
- 2024A Self-Correcting Vision-Language-Action Model for Fast and Slow System Manipulation27 May 2024
- 2024LangProp: A code optimization framework using Large Language Models applied to driving18 Jan 2024
- 2024ORGANA: A Robotic Assistant for Automated Chemistry Experimentation and Characterization13 Jan 2024
- 2023Is Feedback All You Need? Leveraging Natural Language Feedback in Goal-Conditioned Reinforcement Learning7 Dec 2023
- 2023LLM-State: Open World State Representation for Long-horizon Task Planning with Large Language Model29 Nov 2023
- 2023Interactive Task Planning with Language Models16 Oct 2023
- 2023GenSim: Generating Robotic Simulation Tasks via Large Language Models2 Oct 2023
- 2023Incremental Learning of Humanoid Robot Behavior from Natural Interaction and Large Language Models8 Sep 2023
- 2023OctoPack: Instruction Tuning Code Large Language Models14 Aug 2023
- 2023MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework1 Aug 2023
- 2023Lessons in Reproducibility: Insights from NLP Studies in Materials Science28 Jul 2023
- 2023Foundational Models Defining a New Era in Vision: A Survey and Outlook25 Jul 2023
- 2023Selective Perception: Optimizing State Descriptions with Reinforcement Learning for Language Model Actors21 Jul 2023
- 2023SayPlan: Grounding Large Language Models using 3D Scene Graphs for Scalable Robot Task Planning12 Jul 2023
- 2023REFLECT: Summarizing Robot Experiences for Failure Explanation and Correction27 Jun 2023
- 2023AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers10 Jun 2023
- 2023Voyager: An Open-Ended Embodied Agent with Large Language Models25 May 2023
- 2023Sasha: Creative Goal-Oriented Reasoning in Smart Homes with Large Language Models16 May 2023
- 2023Voyager: An Open-Ended Embodied Agent with Large Language Modelscited by 2,191
- 2023MetaGPT: Meta Programming for A Multi-Agent Collaborative Frameworkcited by 1,808
- 2025LLM Collaboration With Multi-Agent Reinforcement Learningcited by 49
- 2024Cohesive Conversations: Enhancing Authenticity in Multi-Agent Simulated Dialoguescited by 11
- 2025Learning Game-Playing Agents with Generative Code Optimizationcited by 8
- 2026Learning Decentralized LLM Collaboration with Multi-Agent Actor Criticcited by 8
- 2026What Language Does and What the Evidence Supports: A Functional Role Taxonomy and Evidence Audit of Language Grounding in Embodied Agentscited by 0
- 2026What Language Does and What the Evidence Supports: A Functional Role Taxonomy and Evidence Audit of Language Grounding in Embodied Agents4 Aug 2026
- 2026Learning Decentralized LLM Collaboration with Multi-Agent Actor Critic29 Jan 2026
- 2025Learning Game-Playing Agents with Generative Code Optimization27 Aug 2025
- 2025LLM Collaboration With Multi-Agent Reinforcement Learning6 Aug 2025
- 2024Cohesive Conversations: Enhancing Authenticity in Multi-Agent Simulated Dialogues13 Jul 2024
- 2023MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework1 Aug 2023
- 2023Voyager: An Open-Ended Embodied Agent with Large Language Models25 May 2023
- 2024Physics of Language Models: Part 2.2, How to Learn From Mistakes on Grade-School Math Problemscited by 50
- 2024Steering Large Language Models between Code Execution and Textual Reasoningcited by 24
- 2024AIC MLLM: Autonomous Interactive Correction MLLM for Robust Robotic Manipulationcited by 20
- 2023Sasha: Creative Goal-Oriented Reasoning in Smart Homes with Large Language Modelscited by 11
- 2025Schema-Guided Scene-Graph Reasoning based on Multi-Agent Large Language Model Systemcited by 5
- 2025Schema-Guided Scene-Graph Reasoning based on Multi-Agent Large Language Model System5 Feb 2025
- 2024Steering Large Language Models between Code Execution and Textual Reasoning4 Oct 2024
- 2024Physics of Language Models: Part 2.2, How to Learn From Mistakes on Grade-School Math Problems29 Aug 2024
- 2024AIC MLLM: Autonomous Interactive Correction MLLM for Robust Robotic Manipulation17 Jun 2024
- 2023Sasha: Creative Goal-Oriented Reasoning in Smart Homes with Large Language Models16 May 2023
- 2023SayPlan: Grounding Large Language Models using 3D Scene Graphs for Scalable Robot Task Planningcited by 294
- 2023OctoPack: Instruction Tuning Code Large Language Modelscited by 189
- 2023REFLECT: Summarizing Robot Experiences for Failure Explanation and Correctioncited by 175
- 2023AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkerscited by 113
- 2023Foundational Models Defining a New Era in Vision: A Survey and Outlookcited by 110
- 2024Code-as-Monitor: Constraint-aware Visual Programming for Reactive and Proactive Robotic Failure Detectioncited by 63
- 2024ORGANA: A Robotic Assistant for Automated Chemistry Experimentation and Characterizationcited by 61
- 2023Interactive Task Planning with Language Modelscited by 37
- 2023Incremental Learning of Humanoid Robot Behavior from Natural Interaction and Large Language Modelscited by 19
- 2023LLM-State: Open World State Representation for Long-horizon Task Planning with Large Language Modelcited by 15
- 2024Evaluating Uncertainty-based Failure Detection for Closed-Loop LLM Plannerscited by 15
- 2025Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generationcited by 10
12 most cited of 29 All 29 (JSON)
- 2026CAPEX: Efficiently Distilling Foundation Model Behavior into Deployable Robot Policies through Experience-Adaptive Reasoning26 Sep 2026
- 2026Safe Embodied AI for Long-horizon Tasks: A Cross-layer Analysis of Robotic Manipulation4 Jun 2026
- 2026Navigating the Clutter: Waypoint-Based Bi-Level Planning for Multi-Robot Systems22 Apr 2026
- 2025AI-Assisted Authoring for Transparent, Data-Driven Documents27 Oct 2025
- 2025Constrained Natural Language Action Planning for Resilient Embodied Systems7 Oct 2025
- 2025Prime the search: Using large language models for guiding geometric task and motion planning by warm-starting tree search8 Jun 2025
- 2025Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Planners26 May 2025
- 2025Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification6 Apr 2025
- 2025Self-Corrective Task Planning by Inverse Prompting with Large Language Models10 Mar 2025
- 2025Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation3 Mar 2025
- 2024TimelyLLM: Segmented LLM Serving System for Time-sensitive Robotic Applications24 Dec 2024
- 2024ReFF: Reinforcing Format Faithfulness in Language Models across Varied Tasks12 Dec 2024
12 newest of 29 All 29 (JSON)