Showing quant-phShow all
3 papers · 1 filter
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,…
quant-ph2025
Securities Transaction Settlement Optimization on superconducting quantum devices
Francesco Martini, Daniele Lizzio Bosco, Carlo Barbanera +7
We describe a quantum variational algorithm for securities transactions settlement optimization, based on a novel mathematical formalization of the problem that includes the most r…
quant-ph2024
Automatic and effective discovery of quantum kernels
Massimiliano Incudini, Daniele Lizzio Bosco, Francesco Martini +3
Quantum computing can empower machine learning models by enabling kernel machines to leverage quantum kernels for representing similarity measures between data. Quantum kernels are…