Buchumschlag

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Lekai, Trivedi, Ashutosh, Velasquez, Alvaro
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Congruence-based Learning of Probabilistic Deterministic Finite Automata
von: Carrasco, Matías, et al.
Veröffentlicht: (2024)

Composing Copyless Streaming String Transducers
von: Alur, Rajeev, et al.
Veröffentlicht: (2022)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
von: Yang, Yunhao, et al.
Veröffentlicht: (2025)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
von: Yao, Zhen, et al.
Veröffentlicht: (2025)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
von: Koohestani, Roham, et al.
Veröffentlicht: (2025)

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
von: Wang, Ruida, et al.
Veröffentlicht: (2024)

Inference of Deterministic Finite Automata via Q-Learning
von: Hosseinkhani, Elaheh, et al.
Veröffentlicht: (2025)

Finding path and cycle counting formulae in graphs with Deep Reinforcement Learning
von: Piquenot, Jason, et al.
Veröffentlicht: (2024)

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance
von: Holzer, Nikolaus, et al.
Veröffentlicht: (2025)

ToolGate: Contract-Grounded and Verified Tool Execution for LLMs
von: Liu, Yanming, et al.
Veröffentlicht: (2026)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
von: Murali, Vishnu, et al.
Veröffentlicht: (2023)

Deciding DFA-Primality is NP-Hard
von: Spenner, Daniel Alexander
Veröffentlicht: (2026)

Constructing a BPE Tokenization DFA
von: Berglund, Martin, et al.
Veröffentlicht: (2024)

Robust Probabilistic Model Checking with Continuous Reward Domains
von: Ji, Xiaotong, et al.
Veröffentlicht: (2025)

Probabilistic Regular Tree Priors for Scientific Symbolic Reasoning
von: Schneider, Tim, et al.
Veröffentlicht: (2023)

Large Language Models and the Extended Church-Turing Thesis
von: Wiedermann, Jiří, et al.
Veröffentlicht: (2024)

BEAVER: An Efficient Deterministic LLM Verifier
von: Suresh, Tarun, et al.
Veröffentlicht: (2025)

Stochastic Directly-Follows Process Discovery Using Grammatical Inference
von: Alkhammash, Hanan, et al.
Veröffentlicht: (2023)

RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
von: Jin, Hyundong, et al.
Veröffentlicht: (2025)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
von: Yang, Yunhao, et al.
Veröffentlicht: (2023)

Computing the Reachability Value of Posterior-Deterministic POMDPs
von: Fijalkow, Nathanaël, et al.
Veröffentlicht: (2026)

On Synthesis of Timed Regular Expressions
von: Wang, Ziran, et al.
Veröffentlicht: (2025)

In System Alignments we Trust! Explainable Alignments via Projections
von: Sommers, Dominique, et al.
Veröffentlicht: (2025)

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
von: Dhayalkar, Sahil Rajesh
Veröffentlicht: (2026)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
von: Roy, Rajarshi, et al.
Veröffentlicht: (2025)

Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes
von: Kalagarla, Krishna C., et al.
Veröffentlicht: (2023)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
von: Stan, Daniel, et al.
Veröffentlicht: (2026)

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

Lost in Transmission: When and Why LLMs Fail to Reason Globally
von: Schnabel, Tobias, et al.
Veröffentlicht: (2025)

Structural Abstraction and Refinement for Probabilistic Programs
von: Li, Guanyan, et al.
Veröffentlicht: (2025)

On the Complexity of Language Membership for Probabilistic Words
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Conservative Perception Models for Probabilistic Verification
von: Cleaveland, Matthew, et al.
Veröffentlicht: (2025)

Reasoning about Reasoning: BAPO Bounds on Chain-of-Thought Token Complexity in LLMs
von: Tomlinson, Kiran, et al.
Veröffentlicht: (2026)

Hyper-Minimization for Deterministic Register Automata
von: Li, Yong, et al.
Veröffentlicht: (2026)

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
von: De Maria, Elisabetta, et al.
Veröffentlicht: (2026)

Minimizing Streaming String Transducers: An algebraic approach
von: Benalioua, Yahia Idriss, et al.
Veröffentlicht: (2026)

Minimality Notions via Factorization Systems and Examples
von: Wißmann, Thorsten
Veröffentlicht: (2022)

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

Joint Verification and Refinement of Language Models for Safety-Constrained Planning
von: Yang, Yunhao, et al.
Veröffentlicht: (2024)