Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification

9 March 2023

Papers citing "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification"

28 / 28 papers shown

Title
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees J. Wang David Smith Sundarsingh Jyotirmoy V. Deshmukh Y. Kantaros 26 0 0 22 Apr 2025
LLMs as Planning Modelers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models Marcus Tantakoun Xiaodan Zhu Christian Muise 36 2 0 22 Mar 2025
LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning Behrad Rabiei Mahesh Kumar A.R. Zhirui Dai Surya L.S.R. Pilla Qiyue Dong Nikolay A. Atanasov LM&Ro 61 0 0 10 Mar 2025
SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models Yi Wu Z. Xiong Yiran Hu Shreyash S. Iyengar Nan Jiang Aniket Bera Lin Tan Suresh Jagannathan LM&Ro LLMAG 84 4 0 17 Feb 2025
PlanGenLLMs: A Modern Survey of LLM Planning Capabilities Hui Wei Zihao Zhang Shenghua He Tian Xia Shijia Pan Fei Liu 50 4 0 16 Feb 2025
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback Daniele Meli Paolo Fiorini 41 0 0 13 Jan 2025
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 82 21 0 20 Dec 2024
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Sundar Sripada V. S. Minkyu Choi Sahil Shah Harsh Goel Mohammad Omama Sandeep P. Chinchali EGVM 108 2 0 22 Nov 2024
CaStL: Constraints as Specifications through LLM Translation for Long-Horizon Task and Motion Planning Weihang Guo Zachary K. Kingston Lydia E. Kavraki 37 2 0 29 Oct 2024
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning Kumar Manas Stefan Zwicklbauer Adrian Paschke LRM LM&Ro 31 1 0 21 Oct 2024
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 34 1 0 06 Oct 2024
TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules Kumar Manas Stefan Zwicklbauer Adrian Paschke 21 8 0 09 Jun 2024
Autoformalizing Euclidean Geometry Logan Murphy Kaiyu Yang Jialiang Sun Zhaoyu Li A. Anandkumar Xujie Si 34 3 0 27 May 2024
A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings Vanya Cohen J. Liu Raymond J. Mooney Stefanie Tellex David Watkins LM&Ro 35 12 0 21 May 2024
Integrating Disambiguation and User Preferences into Large Language Models for Robot Motion Planning Mohammed Abugurain Shinkyu Park 27 1 0 22 Apr 2024
A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approaches Zhigen Zhao Shuo Cheng Yan Ding Ziyi Zhou Shiqi Zhang Danfei Xu Ye Zhao 38 22 0 03 Apr 2024
Language to Map: Topological map generation from natural language path instructions Hideki Deguchi Kazuki Shibata Shun Taguchi 26 3 0 15 Mar 2024
Verifiably Following Complex Robot Instructions with Foundation Models Benedict Quartey Eric Rosen Stefanie Tellex G. Konidaris LM&Ro 39 11 0 18 Feb 2024
GPT-4V(ision) for Robotics: Multimodal Task Planning from Human Demonstration Naoki Wake Atsushi Kanehira Kazuhiro Sasabuchi Jun Takamatsu Katsushi Ikeuchi LM&Ro 21 61 0 20 Nov 2023
Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models A. Mavrogiannis Christoforos Mavrogiannis Yiannis Aloimonos LM&Ro 15 10 0 29 Sep 2023
Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents Ziyi Yang S. S. Raman Ankit Parag Shah Stefanie Tellex LLMAG 17 37 0 18 Sep 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang Aidan M. Swope Alex Gu Rahul Chalamala Peiyang Song Shixing Yu Saad Godil R. Prenger Anima Anandkumar RALM 19 208 0 27 Jun 2023
AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers Yongchao Chen Jacob Arkin Charles Dawson Yang Zhang Nicholas Roy Chuchu Fan LRM 6 95 0 10 Jun 2023
ChatGPT Empowered Long-Step Robot Control in Various Environments: A Case Application Naoki Wake Atsushi Kanehira Kazuhiro Sasabuchi Jun Takamatsu Katsushi Ikeuchi LM&Ro 30 80 0 08 Apr 2023
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments Jason Liu Ziyi Yang Ifrah Idrees Sam Liang Benjamin Schornstein Stefanie Tellex Ankit Parag Shah LM&Ro 20 40 0 22 Feb 2023
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic Mohammad Hekmatnejad Bardh Hoxha Jyotirmoy V. Deshmukh Yezhou Yang Georgios Fainekos 18 6 0 29 Jun 2022
On The Ingredients of an Effective Zero-shot Semantic Parser Pengcheng Yin John Wieting Avirup Sil Graham Neubig 45 15 0 15 Oct 2021
Constrained Language Models Yield Few-Shot Semantic Parsers Richard Shin C. H. Lin Sam Thomson Charles C. Chen Subhro Roy Emmanouil Antonios Platanios Adam Pauls Dan Klein J. Eisner Benjamin Van Durme 292 198 0 18 Apr 2021