Xinyu Jessica Wang

Xinyu Jessica Wang

Undergraduate student in Computer Science at the University of Wisconsin-Madison

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., Porfirio, D., Wang, X. J., Zhao, K., & Mutlu, B. (2025). VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. arXiv preprint arXiv:2502.17898.
Download Paper