U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning

arXiv:2605.02765v1 Announce Type: new Abstract: 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 verification techniques, it remains unclear how users can effectively apply...