@article{robustplanningwithllmmoduloframework,
  title = {Robust Planning with LLM-Modulo Framework: Case Study in Travel Planning},
  author = {Atharva Gundawar and Mudit Verma and Lin Guan and Karthik Valmeekam and Siddhant Bhambri and Subbarao Kambhampati},
  year = {2024},
  eprint = {2405.20625},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2405.20625v1},
}