Pinned

1. Verified-Intelligence/alpha-beta-CROWN Public

   alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)

   Python 119 22

2. CROWN-IBP Public

   Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).

   Python 78 13

3. Verified-Intelligence/auto_LiRPA Public

   auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

   Python 180 42

4. ZOO-Attack Public

   ZOO: Zeroth Order Optimization based Black-box Attacks to Deep Neural Networks

   Python 147 43

5. Adversarial_Survey Public

   Robustness vs Accuracy Survey on ImageNet

   Python 96 21

6. ATLA_robust_RL Public

   Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework

   Python 39 8