Scalable and Precise Patch Robustness Certification for Deep Learning Models with Top-k Predictions

Qilin Zhou, Haipeng Wang, Zhengyuan Wei +1

Patch robustness certification is an emerging verification approach for defending against adversarial patch attacks with provable guarantees for deep learning systems. Certified re…