Buchumschlag

Formal Verification of Noisy Quantum Reinforcement Learning Policies

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gross, Dennis
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Quantum Physics Artificial Intelligence Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formal verification of higher dimensional quantum protocols
von: Puthoor, Ittoop Vergheese
Veröffentlicht: (2024)

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

Formal Modeling and Verification of Grover's Algorithm
von: Sun, H., et al.
Veröffentlicht: (2026)

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

On the Origin of Quantum Uncertainty
von: Adami, Christoph
Veröffentlicht: (2020)

Compiling Quantum Regular Language States
von: Bellante, Armando, et al.
Veröffentlicht: (2026)

On the Simulation Cost of Quantum Finite Automata
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)

A Representative Framework for Implementing Quantum Finite Automata on Real Devices
von: Khadieva, Aliya, et al.
Veröffentlicht: (2024)

Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses
von: Lussi, Eduardo Willwock, et al.
Veröffentlicht: (2024)

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

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
von: Neider, Daniel, et al.
Veröffentlicht: (2025)

Learning Formal Specifications from Membership and Preference Queries
von: Shah, Ameesh, et al.
Veröffentlicht: (2023)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
von: Zhang, Shuhang, et al.
Veröffentlicht: (2025)

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

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
von: Chen, Lekai, et al.
Veröffentlicht: (2024)

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

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
von: Klopfenstein, Rocky, et al.
Veröffentlicht: (2025)

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

Hilbert: Recursively Building Formal Proofs with Informal Reasoning
von: Varambally, Sumanth, et al.
Veröffentlicht: (2025)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
von: Sistla, Meghana, et al.
Veröffentlicht: (2023)

Regular language quantum states
von: Florido-Llinàs, Marta, et al.
Veröffentlicht: (2024)

Fine-Tuning Language Models Using Formal Methods Feedback
von: Yang, Yunhao, et al.
Veröffentlicht: (2023)

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

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

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

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
von: Yang, Yunhao, 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)

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)

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

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

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

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)

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

Productive Quantum Programming Needs Better Abstract Machines
von: Núñez-Corrales, Santiago, et al.
Veröffentlicht: (2025)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
von: Wißmann, Thorsten
Veröffentlicht: (2026)

RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
von: Yang, Yunhao, et al.
Veröffentlicht: (2025)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
von: Li, Zelong, et al.
Veröffentlicht: (2024)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
von: Rao, Balaji, et al.
Veröffentlicht: (2025)