Image de couverture de livre

Formal Verification of Noisy Quantum Reinforcement Learning Policies

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Gross, Dennis
Format:	Preprint
Publié:	2025
Sujets:	Quantum Physics 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

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

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

Formal Modeling and Verification of Grover's Algorithm
par: Sun, H., et autres
Publié: (2026)

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

On the Origin of Quantum Uncertainty
par: Adami, Christoph
Publié: (2020)

Compiling Quantum Regular Language States
par: Bellante, Armando, et autres
Publié: (2026)

On the Simulation Cost of Quantum Finite Automata
par: Chen, Zeyu, et autres
Publié: (2026)

A Representative Framework for Implementing Quantum Finite Automata on Real Devices
par: Khadieva, Aliya, et autres
Publié: (2024)

Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses
par: Lussi, Eduardo Willwock, et autres
Publié: (2024)

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

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
par: Neider, Daniel, et autres
Publié: (2025)

Learning Formal Specifications from Membership and Preference Queries
par: Shah, Ameesh, et autres
Publié: (2023)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
par: Zhang, Shuhang, 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)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
par: Klopfenstein, Rocky, et autres
Publié: (2025)

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

Hilbert: Recursively Building Formal Proofs with Informal Reasoning
par: Varambally, Sumanth, et autres
Publié: (2025)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
par: Sistla, Meghana, et autres
Publié: (2023)

Regular language quantum states
par: Florido-Llinàs, Marta, et autres
Publié: (2024)

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

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

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

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

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)

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)

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

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)

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

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

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

Productive Quantum Programming Needs Better Abstract Machines
par: Núñez-Corrales, Santiago, et autres
Publié: (2025)

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

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

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
par: Li, Zelong, et autres
Publié: (2024)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
par: Rao, Balaji, et autres
Publié: (2025)