5 citations · 18 across the 18 of their papers we have counts for
3 papers · 1 filter
Certifiably Robust Encoding Schemes
Aman Saxena, Tom Wollschläger, Nicola Franco +2
Quantum machine learning uses principles from quantum mechanics to process data, offering potential advances in speed and performance. However, previous work has shown that these m…
Efficient MILP Decomposition in Quantum Computing for ReLU Network Robustness
Nicola Franco, Tom Wollschläger, Benedikt Poggel +2
Emerging quantum computing technologies, such as Noisy Intermediate-Scale Quantum (NISQ) devices, offer potential advancements in solving mathematical optimization problems. Howeve…
Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm
Nicola Franco, Tom Wollschlaeger, Nicholas Gao +2
In recent years, quantum computers and algorithms have made significant progress indicating the prospective importance of quantum computing (QC). Especially combinatorial optimizat…