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