AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers-Reference-Cited by-同舟云学术

AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers

Published:2024-05-13 Issue: Volume:2 Page:6695-6702
ISSN:
Container-title:2024 IEEE International Conference on Robotics and Automation (ICRA)
language:
Short-container-title:

Author:

Chen Yongchao¹,Arkin Jacob¹,Dawson Charles¹,Zhang Yang²,Roy Nicholas¹,Fan Chuchu¹

Affiliation:

1. Massachusetts Institute of Technology

2. MIT-IBM Watson AI Lab

Funder

Army Research Laboratory

Publisher

IEEE

Link

Reference59 articles.

5. Strips: A new approach to the application of theorem proving to problem solving;Fikes,1971

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13

3. RoCo: Dialectic Multi-Robot Collaboration with Large Language Models;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13

5. Optimal Scene Graph Planning with Large Language Model Guidance;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13