{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T15:49:41Z","timestamp":1774021781680,"version":"3.50.1"},"reference-count":59,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100006754","name":"Army Research Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006754","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,13]]},"DOI":"10.1109\/icra57147.2024.10611163","type":"proceedings-article","created":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T17:51:05Z","timestamp":1723139465000},"page":"6695-6702","source":"Crossref","is-referenced-by-count":69,"title":["AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers"],"prefix":"10.1109","author":[{"given":"Yongchao","family":"Chen","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology"}]},{"given":"Jacob","family":"Arkin","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology"}]},{"given":"Charles","family":"Dawson","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology"}]},{"given":"Yang","family":"Zhang","sequence":"additional","affiliation":[{"name":"MIT-IBM Watson AI Lab"}]},{"given":"Nicholas","family":"Roy","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology"}]},{"given":"Chuchu","family":"Fan","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-091420-084139"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"issue":"3","key":"ref5","first-page":"189","article-title":"Strips: A new approach to the application of theorem proving to problem solving","volume-title":"Artificial Intelligence","volume":"2","author":"Fikes","year":"1971"},{"key":"ref6","first-page":"1877","article-title":"Language models are few-shot learners","volume":"33","author":"Brown","year":"2020","journal-title":"Advances in neural information processing systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IROS55552.2023.10341577"},{"key":"ref8","first-page":"9118","article-title":"Language models as zero-shot planners: Extracting actionable knowledge for embodied agents","volume-title":"International Conference on Machine Learning","author":"Huang"},{"key":"ref9","article-title":"Do as i can, not as i say: Grounding language in robotic affordances","author":"Ahn","year":"2022"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1109\/ICRA48891.2023.10161317","article-title":"ProgPrompt: Generating situated robot task plans using large language models","volume-title":"International Conference on Robotics and Automation (ICRA)","author":"Singh"},{"key":"ref11","article-title":"Inner monologue: Embodied reasoning through planning with language models","author":"Huang","year":"2022"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-023-10131-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IROS55552.2023.10342169"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3310935"},{"key":"ref15","article-title":"Large language models still can\u2019t plan (a benchmark for llms on planning and reasoning about change)","author":"Valmeekam","year":"2022"},{"key":"ref16","article-title":"Llm+ p: Empowering large language models with optimal planning proficiency","author":"Liu","year":"2023"},{"key":"ref17","article-title":"Translating natural language to planning goals with large-language models","author":"Xie","year":"2023"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161125"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6739"},{"key":"ref20","article-title":"Errors are useful prompts: Instruction guided task programming with verifierassisted iterative prompting","author":"Skreta","year":"2023"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.985"},{"key":"ref22","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings","author":"Maler"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3146951"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2019.2949973"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref27","article-title":"Combined task and motion planning as classical ai planning","author":"Ferrer-Mestres","year":"2017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917739114"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733599"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915619022"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v20i1.13436"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6906922"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794128"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913484072"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11219"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341352"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561209"},{"key":"ref39","article-title":"Large language models are zero-shot reasoners","volume-title":"ICML 2022 Workshop on Knowledge Retrieval and Language Models","author":"Kojima"},{"key":"ref40","article-title":"PDDL planning with pretrained large language models","volume-title":"NeurIPS 2022 Foundation Models for Decision Making Workshop","author":"Silver"},{"key":"ref41","first-page":"658","article-title":"Learning to map sentences to logical form: structured classification with probabilistic categorial grammars","volume-title":"Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence","author":"Zettlemoyer"},{"key":"ref42","first-page":"678","article-title":"Online learning of relaxed ccg grammars for parsing to logical form","volume-title":"Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL)","author":"Zettlemoyer"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.3115\/1220835.1220891"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00209"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907841"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759412"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2018.xiv.067"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2020.xvi.016"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510171"},{"key":"ref52","article-title":"Interactive learning from natural language and demonstrations using signal temporal logic","author":"Mohammadinejad","year":"2022"},{"issue":"1","key":"ref53","first-page":"236","article-title":"Abstract meaning representation for human-robot dialogue","volume-title":"Proceedings of the Society for Computation in Linguistics","volume":"2","author":"Bonial"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-101119-071628"},{"key":"ref55","article-title":"Lang2LTL: Translating natural language commands to temporal specification with large language models","volume-title":"Workshop on Language and Robotics at CoRL 2022","author":"Liu"},{"key":"ref56","article-title":"Leveraging pre-trained large language models to construct and utilize world models for model-based task planning","author":"Guan","year":"2023"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/icra48891.2023.10160591"},{"key":"ref58","article-title":"Planning with large language models via corrective re-prompting","volume-title":"NeurIPS 2022 Foundation Models for Decision Making Workshop","author":"Raman"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i18.30006"}],"event":{"name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","location":"Yokohama, Japan","start":{"date-parts":[[2024,5,13]]},"end":{"date-parts":[[2024,5,17]]}},"container-title":["2024 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10609961\/10609862\/10611163.pdf?arnumber=10611163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,11]],"date-time":"2024-08-11T04:14:56Z","timestamp":1723349696000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10611163\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":59,"URL":"https:\/\/doi.org\/10.1109\/icra57147.2024.10611163","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]}}}