1 citations · 1 across the 3 of their papers we have counts for
4 papers
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…
Understanding Generative AI in Robot Logic Parametrization
Yuna Hwang, Arissa J. Sato, Pragathi Praveena +2
Leveraging generative AI (for example, Large Language Models) for language understanding within robotics opens up possibilities for LLM-driven robot end-user development (EUD). Des…