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