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