Options
Efficient MILP Decomposition in Quantum Computing for ReLU Network Robustness
On Quantum Computing for Neural Network Robustness Verification
Diffusion Denoised Smoothing for Certified and Adversarial Robust Out-Of-Distribution
Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm