TY  - RPRT
TI  - Formal Verification of Variational Quantum Circuits
AU  - Nicola Assolini
AU  - Luca Marzari
AU  - Isabella Mastroeni
AU  - Alessandra di Pierro
PY  - 2025
UR  - https://arxiv.org/abs/2507.10635
ID  - 2507.10635
ER  -