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

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

15 / 15 papers shown

Title
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 29 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 25 0 0 04 May 2025
DeCo: Task Decomposition and Skill Composition for Zero-Shot Generalization in Long-Horizon 3D Manipulation Zixuan Chen Junhui Yin Yangtao Chen Jing Huo Pinzhuo Tian Jieqi Shi Yiwen Hou Y. Li Yang Gao 33 0 0 01 May 2025
QuestBench: Can LLMs ask the right question to acquire information in reasoning tasks? Belinda Z. Li Been Kim Z. Wang LRM 32 2 0 28 Mar 2025
Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation Y. Chen Yilun Hao Yang Zhang Chuchu Fan LRM 60 1 0 03 Mar 2025
PlanGenLLMs: A Modern Survey of LLM Planning Capabilities Hui Wei Zihao Zhang Shenghua He Tian Xia Shijia Pan Fei Liu 41 3 0 16 Feb 2025
MCP-Solver: Integrating Language Models with Constraint Programming Systems Stefan Szeider 27 0 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 59 3 0 13 Nov 2024
AHA: A Vision-Language-Model for Detecting and Reasoning Over Failures in Robotic Manipulation Jiafei Duan Wilbert Pumacay Nishanth Kumar Yi Ru Wang Shulin Tian Wentao Yuan Ranjay Krishna Dieter Fox Ajay Mandlekar Yijie Guo VLM LRM 23 19 0 01 Oct 2024
LASP: Surveying the State-of-the-Art in Large Language Model-Assisted AI Planning Haoming Li Zhaoliang Chen Jonathan Zhang Fei Liu LM&Ro LLMAG LRM 36 4 0 03 Sep 2024
CoPa: General Robotic Manipulation through Spatial Constraints of Parts with Foundation Models Haoxu Huang Fanqi Lin Yingdong Hu Shengjie Wang Yang Gao 29 49 0 13 Mar 2024
LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks Subbarao Kambhampati Karthik Valmeekam L. Guan Mudit Verma Kaya Stechly Siddhant Bhambri Lucas Saldyt Anil Murthy LRM 78 107 0 02 Feb 2024
STAP: Sequencing Task-Agnostic Policies Christopher Agia Toki Migimatsu Jiajun Wu Jeannette Bohg 24 19 0 21 Oct 2022
ProgPrompt: Generating Situated Robot Task Plans using Large Language Models Ishika Singh Valts Blukis Arsalan Mousavian Ankit Goyal Danfei Xu Jonathan Tremblay D. Fox Jesse Thomason Animesh Garg LM&Ro LLMAG 112 616 0 22 Sep 2022
Long-Horizon Manipulation of Unknown Objects via Task and Motion Planning with Estimated Affordances Aidan Curtis Xiaolin Fang L. Kaelbling Tomás Lozano-Pérez Caelan Reed Garrett 134 63 0 09 Aug 2021