Options
A Comparative Study on Solving Optimization Problems with Exponentially Fewer Qubits
Quantum Neural Networks under Depolarization Noise: Exploring White-Box Attacks and Defenses
On Quantum Computing for Neural Network Robustness Verification
Efficient MILP Decomposition in Quantum Computing for ReLU Network Robustness
A Comparative Study on Solving Optimization Problems with Exponentially Fewer Qubits
Diffusion Denoised Smoothing for Certified and Adversarial Robust Out-Of-Distribution
Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm