Formal Verification of Variational Quantum Circuits

Nicola Assolini, Luca Marzari, Isabella Mastroeni +1

Variational quantum circuits (VQCs) are a central component of many quantum machine learning algorithms, offering a hybrid quantum-classical framework that, under certain aspects,…