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 27 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 397 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

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.