Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and
Constraint Satisfaction

Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction

8 June 2024

Tomás Lozano-Pérez

Leslie Pack Kaelbling

ArXiv (abs)PDF HTML

Papers citing "Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction"

7 / 7 papers shown

Title
"Don't Do That!": Guiding Embodied Systems through Large Language Model-based Constraint Generation Aladin Djuhera Amin Seffo Masataro Asai Holger Boche LM&Ro 29 0 0 04 Jun 2025
Meta-Optimization and Program Search using Language Models for Task and Motion Planning Denis Shcherba Eckart Cobo-Briesewitz Cornelius V. Braun Marc Toussaint LM&Ro LRM 167 0 0 06 May 2025
LLM-Guided Probabilistic Program Induction for POMDP Model Estimation Aidan Curtis Hao Tang Thiago Veloso Kevin Ellis Joshua B. Tenenbaum Tomás Lozano-Pérez Leslie Pack Kaelbling 399 1 0 04 May 2025
PlanGenLLMs: A Modern Survey of LLM Planning Capabilities Hui Wei Zihao Zhang Shenghua He Tian Xia Shijia Pan Fei Liu 195 11 0 16 Feb 2025
From Pixels to Predicates: Learning Symbolic World Models via Pretrained Vision-Language Models Ashay Athalye Nishanth Kumar Tom Silver Yichao Liang Tomás Lozano-Pérez Leslie Pack Kaelbling Leslie Kaelbling LM&Ro 90 6 0 31 Dec 2024
MCP-Solver: Integrating Language Models with Constraint Programming Systems Stefan Szeider 101 1 0 31 Dec 2024
Open-World Task and Motion Planning via Vision-Language Model Inferred Constraints Nishanth Kumar F. Ramos Dieter Fox Caelan Reed Garrett Tomás Lozano-Pérez Leslie Pack Kaelbling Caelan Reed Garrett LRM LM&Ro 144 5 0 13 Nov 2024