TY  - RPRT
TI  - VeriPlan: Integrating Formal Verification and LLMs into End-User Planning
AU  - Christine Lee
AU  - David Porfirio
AU  - Xinyu Jessica Wang
AU  - Kevin Zhao
AU  - Bilge Mutlu
PY  - 2025
DO  - 10.1145/3706598.3714113
UR  - https://arxiv.org/abs/2502.17898
ID  - 2502.17898
ER  -