Image de couverture de livre

ToolGate: Contract-Grounded and Verified Tool Execution for LLMs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Liu, Yanming, Peng, Xinyue, Cao, Jiannan, Wang, Xinyi, Deng, Songhang, Chen, Jintao, Yin, Jianwei, Zhang, Xuhong
Format:	Preprint
Publié:	2026
Sujets:	Computation and Language Artificial Intelligence 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

Engineering an LTLf Synthesis Tool
par: Duret-Lutz, Alexandre, et autres
Publié: (2025)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
par: De Rosa, Mattia, et autres
Publié: (2025)

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

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
par: Iosif, Radu, et autres
Publié: (2025)

Execution-time opacity problems in one-clock parametric timed automata
par: André, Étienne, et autres
Publié: (2024)

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

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
par: Ospanov, Azim, et autres
Publié: (2025)

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

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
par: Yu, Qixian, et autres
Publié: (2025)

Soft state reduction of fuzzy automata over residuated lattices
par: Nguyen, Linh Anh, et autres
Publié: (2025)

Rational-Valued Affine Verifiers in Arthur--Merlin Proof Systems
par: Chen, Zeyu, et autres
Publié: (2025)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
par: Zhang, Lan, et autres
Publié: (2025)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
par: Chen, Zeyu, et autres
Publié: (2026)

Two-way affine automata can verify every language
par: Chen, Zeyu, et autres
Publié: (2025)

Exact Separation of Words via Trace Geometry
par: Chen, Zeyu, et autres
Publié: (2026)

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
par: Fang, Yue, et autres
Publié: (2025)

BEAVER: An Efficient Deterministic LLM Verifier
par: Suresh, Tarun, et autres
Publié: (2025)

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
par: Raskin, Jean-François, et autres
Publié: (2024)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
par: Chen, Hanyue, et autres
Publié: (2025)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
par: Tsai, Yun Chen, et autres
Publié: (2025)

Contract Based Program Models for Software Model Checking
par: Amilon, Jesper, et autres
Publié: (2025)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)

Constant-Space, Constant-Randomness Verifiers with Arbitrarily Small Error
par: Gezer, M. Utkan, et autres
Publié: (2020)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
par: Yao, Zhen, et autres
Publié: (2025)

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

The Expansion Problem for Infinite Trees
par: Blumensath, Achim
Publié: (2023)

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

Finite Automata for Efficient Graph Recognition
par: Drewes, Frank, et autres
Publié: (2024)

Statistical process discovery
par: Cry, Pierre, et autres
Publié: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
par: Jeppson, Joshua, et autres
Publié: (2025)

Hyper pattern matching
par: Waga, Masaki, et autres
Publié: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
par: Kutrib, Martin, et autres
Publié: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
par: Akshay, S., et autres
Publié: (2024)

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

Componentwise Automata Learning for System Integration (Extended Version)
par: Fujinami, Hiroya, et autres
Publié: (2025)

Universality Frontier for Asynchronous Cellular Automata
par: Baburin, Ivan, et autres
Publié: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
par: Lehaut, Mathieu, et autres
Publié: (2026)

One-clock synthesis problems
par: Lasota, Sławomir, et autres
Publié: (2026)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
par: Mazowiecki, Filip, et autres
Publié: (2025)

Infinite-state Games with Energy Objectives Beyond Counters
par: Sağlam, Irmak, et autres
Publié: (2026)