Conformal Temporal Logic Planning using Large Language Models

18 September 2023

Papers citing "Conformal Temporal Logic Planning using Large Language Models"

22 / 22 papers shown

Title
SafePath: Conformal Prediction for Safe LLM-Based Autonomous Navigation Achref Doula M. Mühlhäuser Alejandro Sánchez Guinea 21 0 0 14 May 2025
Adaptive Stress Testing Black-Box LLM Planners Neeloy Chakraborty John Pohovey Melkior Ornik Katherine Driggs-Campbell 28 0 0 08 May 2025
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees Jun Wang David Smith Sundarsingh Jyotirmoy V. Deshmukh Y. Kantaros 26 0 0 22 Apr 2025
Egocentric Conformal Prediction for Safe and Efficient Navigation in Dynamic Cluttered Environments Jaeuk Shin Jungjin Lee Insoon Yang 64 0 0 01 Apr 2025
C-Adapter: Adapting Deep Classifiers for Efficient Conformal Prediction Sets Kangdao Liu Hao Zeng Jianguo Huang Huiping Zhuang Chi-Man Vong Hongxin Wei 69 4 0 12 Oct 2024
Spatial-Aware Conformal Prediction for Trustworthy Hyperspectral Image Classification Kangdao Liu Tianhao Sun Hao Zeng Yongshan Zhang Chi-Man Pun Chi-Man Vong EDL 40 5 0 02 Sep 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 67 14 0 31 Aug 2024
A Survey of Language-Based Communication in Robotics William Hunt Sarvapali D. Ramchurn Mohammad D. Soorati LM&Ro 65 12 0 06 Jun 2024
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction Shili Sheng Pian Yu David Parker Marta Z. Kwiatkowska Lu Feng 41 1 0 23 Apr 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 34 18 0 20 Feb 2024
On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS) Vishal Pallagani Kaushik Roy Bharath Muppasani F. Fabiano Andrea Loreggia K. Murugesan Biplav Srivastava F. Rossi L. Horesh Amit P. Sheth 28 40 0 04 Jan 2024
Large Language Models for Robotics: A Survey Fanlong Zeng Wensheng Gan Yongheng Wang Ning Liu Philip S. Yu LM&Ro 124 125 0 13 Nov 2023
Forking Uncertainties: Reliable Prediction and Model Predictive Control with Sequence Models via Conformal Risk Control Matteo Zecchin Sangwoo Park Osvaldo Simeone 33 15 0 16 Oct 2023
Conformal Prediction for Deep Classifier via Label Ranking Jianguo Huang Huajun Xi Linjun Zhang Huaxiu Yao Yue Qiu Hongxin Wei 39 21 0 10 Oct 2023
Non-Exchangeable Conformal Risk Control António Farinhas Chrysoula Zerva Dennis Ulmer André F. T. Martins 16 9 0 02 Oct 2023
Optimal Scene Graph Planning with Large Language Model Guidance Zhirui Dai Arash Asgharivaskasi T. Duong Shusen Lin Maria-Elizabeth Tzes George Pappas Nikolay Atanasov LM&Ro 42 17 0 17 Sep 2023
Dynamic Planning with a LLM Gautier Dagan Frank Keller A. Lascarides LLMAG 92 35 0 11 Aug 2023
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 45 11 0 11 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 120 624 0 22 Sep 2022
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers Disha Kamale S. Haesaert C. Vasile 32 8 0 20 Sep 2022
LM-Nav: Robotic Navigation with Large Pre-Trained Models of Language, Vision, and Action Dhruv Shah B. Osinski Brian Ichter Sergey Levine LM&Ro 158 436 0 10 Jul 2022
Language-Conditioned Imitation Learning for Robot Manipulation Tasks Simon Stepputtis Joseph Campbell Mariano Phielipp Stefan Lee Chitta Baral H. B. Amor LM&Ro 124 193 0 22 Oct 2020