Kevin Chenkai Zhao

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

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 have made planning more accessible to everyday users due to their potential to assist users with complex planning tasks. However, LLMs face…