4 papers
SHRIMP: Iterative Refinement of Robot Task Plans
Mya Schroder, Yuna Hwang, Callie Y. Kim +5
As collaborative robots have entered domains such as manufacturing, agriculture, and healthcare, programming or adapting robot behavior typically requires robotic expertise that mo…
U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning
Christine P Lee, Xinyu Jessica Wang, Aws Albarghouthi +2
LLMs are increasingly used for end-user task planning, yet their black-box nature limits users' ability to ensure reliability and control. While recent systems incorporate verifica…
RoboCritics: Enabling Reliable End-to-End LLM Robot Programming through Expert-Informed Critics
Callie Y. Kim, Nathan Thomas White, Evan He +2
End-user robot programming grants users the flexibility to re-task robots in situ, yet it remains challenging for novices due to the need for specialized robotics knowledge. Large…
VeriPlan: Integrating Formal Verification and LLMs into End-User Planning
Christine Lee, David Porfirio, Xinyu Jessica Wang +2
Automated planning is traditionally the domain of experts, utilized in fields like manufacturing and healthcare with the aid of expert planning tools. Recent advancements in LLMs h…