Copertina

Fine-Tuning Language Models Using Formal Methods Feedback

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yang, Yunhao, Bhatt, Neel P., Ingebrand, Tyler, Ward, William, Carr, Steven, Wang, Zhangyang, Topcu, Ufuk
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Artificial Intelligence Computation and Language Formal Languages and Automata Theory Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
di: Yang, Yunhao, et al.
Pubblicazione: (2025)

Joint Verification and Refinement of Language Models for Safety-Constrained Planning
di: Yang, Yunhao, et al.
Pubblicazione: (2024)

RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
di: Yang, Yunhao, et al.
Pubblicazione: (2025)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
di: Yang, Yunhao, et al.
Pubblicazione: (2025)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
di: Yang, Yunhao, et al.
Pubblicazione: (2023)

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

A Formal Approach for Tuning Stochastic Oscillators
di: Ballarini, Paolo, et al.
Pubblicazione: (2024)

The Trembling-Hand Problem for LTLf Planning
di: Yu, Pian, et al.
Pubblicazione: (2024)

Learning specifications for reactive synthesis with safety constraints
di: Watanabe, Kandai, et al.
Pubblicazione: (2026)

Resource-Constrained Robotic Planning in the face of Mixed Uncertainty
di: Yin, Yihao, 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)

Autonomous Task Planning for Heterogeneous Multi-Agent Systems
di: Tziola, Anatoli A., et al.
Pubblicazione: (2022)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
di: Cardona, Gustavo A., et al.
Pubblicazione: (2025)

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
di: Yuasa, Mikihisa, et al.
Pubblicazione: (2025)

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
di: Henkel, Christian, et al.
Pubblicazione: (2025)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
di: Yu, Pian, et al.
Pubblicazione: (2025)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
di: Lin, Xuan, et al.
Pubblicazione: (2024)

Robust MITL planning under uncertain navigation times
di: Linard, Alexis, et al.
Pubblicazione: (2024)

TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules
di: Manas, Kumar, et al.
Pubblicazione: (2024)

A General Information Extraction Framework Based on Formal Languages
di: Schmid, Markus L.
Pubblicazione: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
di: Finkel, Alain, et al.
Pubblicazione: (2025)

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length
di: Lan, Nur, et al.
Pubblicazione: (2024)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
di: Bergsträßer, Pascal, et al.
Pubblicazione: (2024)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
di: Kulkarni, Abhishek Ninad, et al.
Pubblicazione: (2025)

WEX: Formal Specifications for Windows in Stream Processing
di: Hitarth, S, et al.
Pubblicazione: (2022)

Closure Properties of General Grammars -- Formally Verified
di: Dvorak, Martin, et al.
Pubblicazione: (2023)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)

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

Safe Networked Robotics with Probabilistic Verification
di: Narasimhan, Sai Shankar, et al.
Pubblicazione: (2023)

CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning
di: Manas, Kumar, et al.
Pubblicazione: (2024)

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models
di: Wu, Yi, et al.
Pubblicazione: (2024)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
di: Zhang, Shuhang, et al.
Pubblicazione: (2025)

Formally Verified Linear-Time Invertible Lexing
di: Chassot, Samuel, et al.
Pubblicazione: (2025)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
di: Schalk, Patrizia, et al.
Pubblicazione: (2025)

Fast and General Automatic Differentiation for Finite-State Methods
di: Yang, Lucas Ondel, et al.
Pubblicazione: (2026)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
di: Drabik, Karolina, et al.
Pubblicazione: (2025)

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

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
di: Graebener, Josefine B., et al.
Pubblicazione: (2024)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
di: Liu, Wenliang, et al.
Pubblicazione: (2025)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
di: Lin, Yuanfei, et al.
Pubblicazione: (2023)