VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. - Christine P. Lee; David Porfirio; Xinyu Jessica Wang; Kevin Chenkai Zhao; Bilge Mutlu (CHI, 2025)