Image de couverture de livre

LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yang, Yunhao, Hong, Junyuan, Perin, Gabriel Jacob, Fan, Zhiwen, Yin, Li, Wang, Zhangyang, Topcu, Ufuk
Format:	Preprint
Publié:	2025
Sujets:	Robotics Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Fine-Tuning Language Models Using Formal Methods Feedback
par: Yang, Yunhao, et autres
Publié: (2023)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
par: Yang, Yunhao, et autres
Publié: (2023)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
par: Yang, Yunhao, et autres
Publié: (2025)

Joint Verification and Refinement of Language Models for Safety-Constrained Planning
par: Yang, Yunhao, et autres
Publié: (2024)

RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
par: Yang, Yunhao, et autres
Publié: (2025)

A Formal Approach for Tuning Stochastic Oscillators
par: Ballarini, Paolo, et autres
Publié: (2024)

Fast and General Automatic Differentiation for Finite-State Methods
par: Yang, Lucas Ondel, et autres
Publié: (2026)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
par: Kulkarni, Abhishek Ninad, et autres
Publié: (2025)

Resource-Constrained Robotic Planning in the face of Mixed Uncertainty
par: Yin, Yihao, et autres
Publié: (2026)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
par: van Spaendonck, P. H. M.
Publié: (2024)

WEX: Formal Specifications for Windows in Stream Processing
par: Hitarth, S, et autres
Publié: (2022)

Closure Properties of General Grammars -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2023)

A General Information Extraction Framework Based on Formal Languages
par: Schmid, Markus L.
Publié: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
par: Kan, Shuanglong, et autres
Publié: (2025)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
par: Wißmann, Thorsten
Publié: (2026)

AGDES: Automatic Generation of Dependent Event Sequences
par: Guzman, Alexander Obeid
Publié: (2026)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
par: Zhang, Shuhang, et autres
Publié: (2025)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
par: Bergsträßer, Pascal, et autres
Publié: (2024)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
par: Finkel, Alain, et autres
Publié: (2025)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
par: Schalk, Patrizia, et autres
Publié: (2025)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
par: Drabik, Karolina, et autres
Publié: (2025)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic
par: Dotzel, Myra, et autres
Publié: (2023)

A Tree Sampler for Bounded Context-Free Languages
par: Considine, Breandan
Publié: (2024)

Shuffles of Context-Free Languages along Regular Trajectories
par: Barloy, Corentin, et autres
Publié: (2026)

Measure-Theoretic Aspects of Star-Free and Group Languages
par: Sin'ya, Ryoma, et autres
Publié: (2025)

Well-Formed Free-Choice Petri Nets Revisited
par: Jancar, Petr, et autres
Publié: (2026)

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
par: Christ, Derek, et autres
Publié: (2026)

Static Analysis Framework for Detecting Use-After-Free Bugs in C++
par: Teodorescu, Vlad-Alexandru, et autres
Publié: (2024)

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
par: Kuriyama, Takayuki
Publié: (2014)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
par: Nogami, Taisei, et autres
Publié: (2024)

Modeling and specification of distributed timed systems
par: James J. Ortiz
Publié: (2013)

The Trembling-Hand Problem for LTLf Planning
par: Yu, Pian, et autres
Publié: (2024)

Formal verification of higher dimensional quantum protocols
par: Puthoor, Ittoop Vergheese
Publié: (2024)

Formally Verified Linear-Time Invertible Lexing
par: Chassot, Samuel, et autres
Publié: (2025)

Continuous Diffusion Models Can Obey Formal Syntax
par: Kim, Jinwoo, et autres
Publié: (2026)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
par: Modesti, Paolo, et autres
Publié: (2021)

Autonomous Task Planning for Heterogeneous Multi-Agent Systems
par: Tziola, Anatoli A., et autres
Publié: (2022)

TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules
par: Manas, Kumar, et autres
Publié: (2024)

Automated Formal Verification of a Highly-Configurable Register Generator
par: Zhang, Shuhang, et autres
Publié: (2024)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
par: Yu, Pian, et autres
Publié: (2025)