Picture for Christine Lee

Christine Lee

MAP: Multi-user Personalization with Collaborative LLM-powered Agents

Add code
Mar 17, 2025
Viaarxiv icon

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning

Add code
Feb 25, 2025
Viaarxiv icon