TY - RPRT TI - Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction AU - Aidan Curtis AU - Nishanth Kumar AU - Jing Cao AU - Tomás Lozano-Pérez AU - Leslie Pack Kaelbling PY - 2024 UR - https://arxiv.org/abs/2406.05572 ID - 2406.05572 ER -