@article{bridgingllmplanningagentsandformalmethod,
  title = {Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification},
  author = {Keshav Ramani and Vali Tawosi and Salwa Alamir and Daniel Borrajo},
  year = {2025},
  eprint = {2510.03469},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.03469},
}