Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2303.08006
Cited By
v1
v2 (latest)
Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification
IEEE International Conference on Robotics and Automation (ICRA), 2023
9 March 2023
Jiayi Pan
Glen Chou
Dmitry Berenson
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification"
20 / 20 papers shown
Can Large Language Models Autoformalize Kinematics?
Aditi Kabra
Jonathan Laurent
Sagar Bharadwaj
Ruben Martins
Stefan Mitsch
André Platzer
AI4CE
73
0
0
26 Sep 2025
Self-CriTeach: LLM Self-Teaching and Self-Critiquing for Improving Robotic Planning via Automated Domain Generation
Jinbang Huang
Zhiyuan Li
Zhanguang Zhang
Xingyue Quan
Jianye Hao
Yingxue Zhang
Yingxue Zhang
LLMAG
LM&Ro
LRM
298
0
0
25 Sep 2025
Towards a Common Framework for Autoformalization
Agnieszka Mensfelt
David Tena Cucala
Santiago Franco
Angeliki Koutsoukou-Argyraki
Vince Trencsenyi
Kostas Stathis
AI4CE
198
3
0
11 Sep 2025
LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models
Annual Meeting of the Association for Computational Linguistics (ACL), 2025
Marcus Tantakoun
Xiaodan Zhu
Christian Muise
336
15
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 Atanasov
LM&Ro
276
3
0
10 Mar 2025
SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models
IEEE International Conference on Robotics and Automation (ICRA), 2024
Yi Wu
Z. Xiong
Yiran Hu
Shreyash S. Iyengar
Nan Jiang
Aniket Bera
Lin Tan
Suresh Jagannathan
LM&Ro
LLMAG
410
10
0
17 Feb 2025
PlanGenLLMs: A Modern Survey of LLM Planning Capabilities
Annual Meeting of the Association for Computational Linguistics (ACL), 2025
Hui Wei
Zihao Zhang
Shenghua He
Tian Xia
Shijia Pan
Fei Liu
626
9
0
16 Feb 2025
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
Machine-mediated learning (ML), 2025
Daniele Meli
Paolo Fiorini
183
2
0
13 Jan 2025
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
Computer Vision and Pattern Recognition (CVPR), 2024
S P Sharan
Minkyu Choi
Sahil Shah
Harsh Goel
Mohammad Omama
Sandeep Chinchali
EGVM
654
6
0
22 Nov 2024
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2024
Kumar Manas
Stefan Zwicklbauer
Adrian Paschke
LRM
LM&Ro
335
6
0
21 Oct 2024
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
International Conference on Learning Representations (ICLR), 2024
Mathias Jackermeier
Alessandro Abate
OffRL
414
13
0
06 Oct 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
319
25
0
21 May 2024
A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approaches
IEEE/ASME transactions on mechatronics (TAM), 2024
Zhigen Zhao
Shuo Cheng
Yan Ding
Ziyi Zhou
Shiqi Zhang
Danfei Xu
Ye Zhao
534
51
0
03 Apr 2024
Verifiably Following Complex Robot Instructions with Foundation Models
Benedict Quartey
Eric Rosen
Stefanie Tellex
George Konidaris
LM&Ro
459
20
0
18 Feb 2024
GPT-4V(ision) for Robotics: Multimodal Task Planning from Human Demonstration
IEEE Robotics and Automation Letters (RA-L), 2023
Naoki Wake
Atsushi Kanehira
Kazuhiro Sasabuchi
Jun Takamatsu
Katsushi Ikeuchi
LM&Ro
335
102
0
20 Nov 2023
Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models
IEEE International Conference on Robotics and Automation (ICRA), 2023
A. Mavrogiannis
Christoforos Mavrogiannis
Yiannis Aloimonos
LM&Ro
412
19
0
29 Sep 2023
Learning Formal Specifications from Membership and Preference Queries
Ameesh Shah
Marcell Vazquez-Chanlatte
Sebastian Junges
Sanjit A. Seshia
250
5
0
19 Jul 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Neural Information Processing Systems (NeurIPS), 2023
Kaiyu Yang
Aidan M. Swope
Alex Gu
Rahul Chalamala
Peiyang Song
Shixing Yu
Saad Godil
R. Prenger
Anima Anandkumar
RALM
398
342
0
27 Jun 2023
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments
Conference on Robot Learning (CoRL), 2023
Jason Liu
Ziyi Yang
Ifrah Idrees
Sam Liang
Benjamin Schornstein
Stefanie Tellex
Ankit Parag Shah
LM&Ro
245
57
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
239
10
0
29 Jun 2022
1
Page 1 of 1
