Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
robustness adversarial-machine-learning adversarial-examples adversarial-defense robustness-verification crown-ibp ibp-bounds crown-bounds verified-errors
-
Updated
Jun 7, 2021 - Python