@misc{indiciae2f16ea1452e6,
  title = {VeriPlan: Integrating Formal Verification and LLMs into End-User Planning},
  author = {Christine Lee and David Porfirio and Xinyu Jessica Wang and Kevin Zhao and Bilge Mutlu},
  year = {2025},
  doi = {10.1145/3706598.3714113},
  url = {https://arxiv.org/abs/2502.17898},
  note = {Source identifier: 2502.17898}
}