3 papers
cs.AI2026
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…
cs.HC2025
LearnMate: Enhancing Online Education with LLM-Powered Personalized Learning Plans and Support
Xinyu Jessica Wang, Christine Lee, Bilge Mutlu
With the increasing prevalence of online learning, adapting education to diverse learner needs remains a persistent challenge. Recent advancements in artificial intelligence (AI),…
cs.HC2025
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…