VeriPlan: Integrating Formal Verification and LLMs into End-User Planning
Published in Conference on Human Factors in Computing Systems (CHI) '25, 2025
Recommended citation: Lee, C. P., Porfirio, D., Wang, X. J., Zhao, K. C., & Mutlu, B. (2025). VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. In Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems.
Download Paper