@article{trusttheproc3ssolvinglonghorizon,
  title = {Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction},
  author = {Aidan Curtis and Nishanth Kumar and Jing Cao and Tomás Lozano-Pérez and Leslie Pack Kaelbling},
  year = {2024},
  eprint = {2406.05572},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2406.05572v2},
}