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 164 35

2. CROWN-IBP Public

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

   Python 87 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 225 55

4. ZOO-Attack Public

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

   Python 154 44

5. Adversarial_Survey Public

   Robustness vs Accuracy Survey on ImageNet

   Python 98 21

6. ATLA_robust_RL Public

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

   Python 44 11