2 papers
quant-ph2025
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,…
cs.PL2025
A Denotational Semantics for Quantum Loops
Nicola Assolini, Alessandra Di Pierro
Programming a quantum computer, i.e., implementing quantum algorithms on a quantum processor-based copmputer architecture, is a task that can be addressed (just as for classical co…