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.AI2025
Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
Luca Marzari, Isabella Mastroeni, Alessandro Farinelli
Traditional methods for formal verification (FV) of deep neural networks (DNNs) are constrained by a binary encoding of safety properties, where a model is classified as either saf…