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

Christine P. Lee, David Porfirio, Xinyu Jessica Wang, Kevin Chenkai Zhao, Bilge Mutlu

Browse the full CHI paper archive.