Copertina

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sundarsingh, David Smith, Wang, Jun, Deshmukh, Jyotirmoy V., Kantaros, Yiannis
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation and Language Artificial Intelligence Machine Learning Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Conformal Temporal Logic Planning using Large Language Models
di: Wang, Jun, et al.
Pubblicazione: (2023)

Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction
di: Wang, Jun, et al.
Pubblicazione: (2024)

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
di: Kantaros, Yiannis, et al.
Pubblicazione: (2024)

CoFineLLM: Conformal Finetuning of LLMs for Language-Instructed Robot Planning
di: Wang, Jun, et al.
Pubblicazione: (2025)

Safe Planning in Unknown Environments Using Conformalized Semantic Maps
di: Sundarsingh, David Smith, et al.
Pubblicazione: (2025)

Conformal Reachability for Safe Control in Unknown Environments
di: Ma, Xinhang, et al.
Pubblicazione: (2026)

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
di: Chen, ZhenDong, et al.
Pubblicazione: (2025)

Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models
di: Mavrogiannis, Angelos, et al.
Pubblicazione: (2023)

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
di: Wang, Jun, et al.
Pubblicazione: (2023)

Conformalized Non-uniform Sampling Strategies for Accelerated Sampling-based Motion Planning
di: Natraj, Shubham, et al.
Pubblicazione: (2025)

Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
di: Kalluraya, Samarth, et al.
Pubblicazione: (2024)

Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees
di: Ma, Xinhang, et al.
Pubblicazione: (2025)

NAMO-LLM: Efficient Navigation Among Movable Obstacles with Large Language Model Guidance
di: Zhang, Yuqing, et al.
Pubblicazione: (2025)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
di: Quansah, Paapa Kwesi, et al.
Pubblicazione: (2026)

Making Infeasible Tasks Feasible: Planning to Reconfigure Disconnected 3D Environments with Movable Objects
di: Kalluraya, Samarth, et al.
Pubblicazione: (2026)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
di: Hashemi, Navid, et al.
Pubblicazione: (2024)

Formal Verification and Control with Conformal Prediction
di: Lindemann, Lars, et al.
Pubblicazione: (2024)

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
di: Balakrishnan, Anand, et al.
Pubblicazione: (2024)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
di: Rahaman, Kaizer, et al.
Pubblicazione: (2026)

NL2Formula: Generating Spreadsheet Formulas from Natural Language Queries
di: Zhao, Wei, et al.
Pubblicazione: (2024)

From Actions to Understanding: Conformal Interpretability of Temporal Concepts in LLM Agents
di: Padhi, Trilok, et al.
Pubblicazione: (2026)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
di: Ren, Jiming, et al.
Pubblicazione: (2024)

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
di: Bonin, Lorenzo, et al.
Pubblicazione: (2026)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
di: Zhao, Yiqi, et al.
Pubblicazione: (2023)

Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet
di: Wang, Shuaikang, et al.
Pubblicazione: (2023)

Language Models with Conformal Factuality Guarantees
di: Mohri, Christopher, et al.
Pubblicazione: (2024)

ConU: Conformal Uncertainty in Large Language Models with Correctness Coverage Guarantees
di: Wang, Zhiyuan, et al.
Pubblicazione: (2024)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
di: Hashemi, Navid, et al.
Pubblicazione: (2024)

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
di: English, William, et al.
Pubblicazione: (2025)

NatSGLD: A Dataset with Speech, Gesture, Logic, and Demonstration for Robot Learning in Natural Human-Robot Interaction
di: Shrestha, Snehesh, et al.
Pubblicazione: (2025)

Mind the Error! Detection and Localization of Instruction Errors in Vision-and-Language Navigation
di: Taioli, Francesco, et al.
Pubblicazione: (2024)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
di: Putra, Rizky Ramadhana, et al.
Pubblicazione: (2026)

Conformal Predictive Monitoring for Multi-Modal Scenarios
di: Cairoli, Francesca, et al.
Pubblicazione: (2025)

GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation
di: English, William, et al.
Pubblicazione: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
di: Zhao, Yiqi, et al.
Pubblicazione: (2025)

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
di: Luo, Xusheng, et al.
Pubblicazione: (2024)

Using Natural Language for Human-Robot Collaboration in the Real World
di: Lindes, Peter, et al.
Pubblicazione: (2025)

Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
di: Bergeron, Taylor, et al.
Pubblicazione: (2024)

Next-Generation LLM for UAV: From Natural Language to Autonomous Flight
di: Yuan, Liangqi, et al.
Pubblicazione: (2025)

Adaptive Bi-Level Multi-Robot Task Allocation and Learning under Uncertainty with Temporal Logic Constraints
di: Lin, Xiaoshan, et al.
Pubblicazione: (2025)