%0 Journal Article
%T VeriPlan: Integrating Formal Verification and LLMs into End-User Planning
%A Lee, Christine
%A Porfirio, David
%A Wang, Xinyu Jessica
%A Zhao, Kevin
%A Mutlu, Bilge
%J Computing Research Repository
%V 2025
%N 2502
%D 2025-02-25
%~ DeepDyve