Imagen de Portada

Formal Verification of Variational Quantum Circuits

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Assolini, Nicola, Marzari, Luca, Mastroeni, Isabella, di Pierro, Alessandra
Formato:	Preprint
Publicado:	2025
Materias:	Quantum Physics Machine Learning Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Denotational Semantics for Quantum Loops
por: Assolini, Nicola, et al.
Publicado: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
por: Huang, Qifan, et al.
Publicado: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)

VyZX: Formal Verification of a Graphical Quantum Language
por: Lehmann, Adrian, et al.
Publicado: (2023)

MerLin: A Discovery Engine for Photonic and Hybrid Quantum Machine Learning
por: Notton, Cassandre, et al.
Publicado: (2026)

Verification of Recursively Defined Quantum Circuits
por: Ying, Mingsheng, et al.
Publicado: (2024)

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
por: Kim, Sean, et al.
Publicado: (2024)

Optimizing Quantum Circuits, Fast and Slow
por: Xu, Amanda, et al.
Publicado: (2024)

Semantic Wave Functions: Exploring Meaning in Large Language Models Through Quantum Formalism
por: Laine, Timo Aukusti
Publicado: (2025)

The Quantum Path Kernel: a Generalized Quantum Neural Tangent Kernel for Deep Quantum Machine Learning
por: Incudini, Massimiliano, et al.
Publicado: (2022)

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
por: Ricciardi, Jérome, et al.
Publicado: (2025)

Reinforcement Learning for Variational Quantum Circuits Design
por: Foderà, Simone, et al.
Publicado: (2024)

Local Optimization of Quantum Circuits (Extended Version)
por: Arora, Jatin, et al.
Publicado: (2025)

Quantum Hierarchical Reinforcement Learning via Variational Quantum Circuits
por: Lee, Yu-Ting, et al.
Publicado: (2026)

Active Learning with Variational Quantum Circuits for Quantum Process Tomography
por: Yang, Jiaqi, et al.
Publicado: (2024)

Special-Unitary Parameterization for Trainable Variational Quantum Circuits
por: Chen, Kuan-Cheng, et al.
Publicado: (2025)

Enhancing the Trainability of Variational Quantum Circuits with Regularization Strategies
por: Zhuang, Jun, et al.
Publicado: (2024)

Physics-Informed Bayesian Optimization of Variational Quantum Circuits
por: Nicoli, Kim A., et al.
Publicado: (2024)

Fourier Analysis of Variational Quantum Circuits for Supervised Learning
por: Wiedmann, Marco, et al.
Publicado: (2024)

Symmetry-Based Quantum Circuit Mapping
por: Yu, Di, et al.
Publicado: (2023)

PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits
por: Chen, Zihan, et al.
Publicado: (2025)

Qubit-Wise Architecture Search Method for Variational Quantum Circuits
por: Chen, Jialin, et al.
Publicado: (2024)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
por: Xin, Yutong, et al.
Publicado: (2026)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
por: Sanchez-Stern, Alex, et al.
Publicado: (2024)

QuanBench+: A Unified Multi-Framework Benchmark for LLM-Based Quantum Code Generation
por: Slim, Ali, et al.
Publicado: (2026)

Qadence: a differentiable interface for digital-analog programs
por: Seitz, Dominik, et al.
Publicado: (2024)

QAdaPrune: Adaptive Parameter Pruning For Training Variational Quantum Circuits
por: Kulshrestha, Ankit, et al.
Publicado: (2024)

Investigating and Mitigating Barren Plateaus in Variational Quantum Circuits: A Survey
por: Cunningham, Jack, et al.
Publicado: (2024)

Transfer Learning Analysis of Variational Quantum Circuits
por: Tseng, Huan-Hsin, et al.
Publicado: (2025)

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
por: Marzari, Luca, et al.
Publicado: (2025)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
por: Barone, Antonio Valerio Miceli, et al.
Publicado: (2026)

Quantum Geometry of Data
por: Abanov, Alexander G., et al.
Publicado: (2025)

DafnyBench: A Benchmark for Formal Software Verification
por: Loughridge, Chloe, et al.
Publicado: (2024)

Investigating the Lottery Ticket Hypothesis for Variational Quantum Circuits
por: Kölle, Michael, et al.
Publicado: (2025)

Breaking Through Barren Plateaus: Reinforcement Learning Initializations for Deep Variational Quantum Circuits
por: Peng, Yifeng, et al.
Publicado: (2025)

Pre-training Tensor-Train Networks Facilitates Machine Learning with Variational Quantum Circuits
por: Qi, Jun, et al.
Publicado: (2023)

Escaping from the Barren Plateau via Gaussian Initializations in Deep Variational Quantum Circuits
por: Zhang, Kaining, et al.
Publicado: (2022)

Random-Matrix-Induced Simplicity Bias in Over-parameterized Variational Quantum Circuits
por: Qi, Jun, et al.
Publicado: (2026)

Quantum Circuits Are Just a Phase
por: Heunen, Chris, et al.
Publicado: (2025)

Hybrid Quantum--Classical Machine Learning Potential with Variational Quantum Circuits
por: Willow, Soohaeng Yoo, et al.
Publicado: (2025)