:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Voudouris, Konstantinos, Barron, Andrew, Halina, Marta, Klein, Colin, Patel, Matishalin
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Computation and Language Formal Languages and Automata Theory Machine Learning
Accès en ligne:	https://arxiv.org/abs/2509.13968
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
par: Dhayalkar, Sahil Rajesh
Publié: (2026)

Integrating Supertag Features into Neural Discontinuous Constituent Parsing
par: Mielczarek, Lukas
Publié: (2024)

Monadic Context Engineering
par: Zhang, Yifan, et autres
Publié: (2025)

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

Stochastic Directly-Follows Process Discovery Using Grammatical Inference
par: Alkhammash, Hanan, et autres
Publié: (2023)

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

Inference of Deterministic Finite Automata via Q-Learning
par: Hosseinkhani, Elaheh, et autres
Publié: (2025)

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
par: Chen, Lekai, et autres
Publié: (2024)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
par: Carrasco, Matías, et autres
Publié: (2024)

Large Language Models and the Extended Church-Turing Thesis
par: Wiedermann, Jiří, et autres
Publié: (2024)

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
par: Wang, Ruida, et autres
Publié: (2024)

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance
par: Holzer, Nikolaus, et autres
Publié: (2025)

Finding path and cycle counting formulae in graphs with Deep Reinforcement Learning
par: Piquenot, Jason, et autres
Publié: (2024)

RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
par: Jin, Hyundong, et autres
Publié: (2025)

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)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
par: Koohestani, Roham, et autres
Publié: (2025)

Computing the Reachability Value of Posterior-Deterministic POMDPs
par: Fijalkow, Nathanaël, et autres
Publié: (2026)

On Synthesis of Timed Regular Expressions
par: Wang, Ziran, et autres
Publié: (2025)

In System Alignments we Trust! Explainable Alignments via Projections
par: Sommers, Dominique, et autres
Publié: (2025)

Extracting Robust Register Automata from Neural Networks over Data Sequences
par: Hong, Chih-Duo, et autres
Publié: (2025)

Neural Networks as Universal Finite-State Machines: A Constructive Deterministic Finite Automaton Theory
par: Dhayalkar, Sahil Rajesh
Publié: (2025)

Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks
par: Shelat, Shlok, et autres
Publié: (2026)

ToolGate: Contract-Grounded and Verified Tool Execution for LLMs
par: Liu, Yanming, et autres
Publié: (2026)

Verification of Neural Networks (Lecture Notes)
par: Bollig, Benedikt
Publié: (2026)

MinMax Recurrent Neural Cascades
par: Ronca, Alessandro
Publié: (2026)

Subtyping in DHOL -- Extended preprint
par: Rothgang, Colin, et autres
Publié: (2025)

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
par: Luo, Xusheng, et autres
Publié: (2024)

Active Reward Machine Inference From Raw State Trajectories
par: Shehab, Mohamad Louai, et autres
Publié: (2026)

Adaptive Bi-Level Multi-Robot Task Allocation and Learning under Uncertainty with Temporal Logic Constraints
par: Lin, Xiaoshan, et autres
Publié: (2025)

Behavior Trees vs Executable Ontologies: a Comparative Analysis of Robot Control Paradigms
par: Boldachev, Alexander
Publié: (2025)

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

Passive Learning of Lattice Automata from Recurrent Neural Networks
par: Slimi, Jaouhar, et autres
Publié: (2025)

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

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

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models
par: Wu, Yi, et autres
Publié: (2024)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
par: Roy, Rajarshi, et autres
Publié: (2025)

Mining Diamonds in labeled Transition Systems
par: van Spaendonck, P. H. M., et autres
Publié: (2025)

Regular Languages in the Sliding Window Model
par: Ganardi, Moses, et autres
Publié: (2024)