@misc{indiciaeefed93f7f923,
  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},
  url = {https://arxiv.org/abs/2405.20625},
  note = {Source identifier: 2405.20625}
}