Pinned Loading

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

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

   Python 344 89

2. CROWN-IBP CROWN-IBP Public

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

   Python 99 14

3. Verified-Intelligence/auto_LiRPA Verified-Intelligence/auto_LiRPA Public

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

   Python 336 100

4. ZOO-Attack ZOO-Attack Public

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

   Python 170 47

5. Adversarial_Survey Adversarial_Survey Public

   Robustness vs Accuracy Survey on ImageNet

   Python 99 21

6. ATLA_robust_RL ATLA_robust_RL Public

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

   Python 67 12