Pinned Loading

1. Robustra Robustra Public

   Forked from locuslab/convex_adversarial

   A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]

   Python 10 2

2. AI-secure/Certified-Robustness-SoK-Oldver AI-secure/Certified-Robustness-SoK-Oldver Public

   This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets and paper categorization.

   98 10

3. AI-secure/VeriGauge AI-secure/VeriGauge Public

   A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]

   C 90 7

4. AI-secure/semantic-randomized-smoothing AI-secure/semantic-randomized-smoothing Public

   [CCS 2021] TSS: Transformation-specific smoothing for robustness certification

   Roff 26 3

5. DSRS DSRS Public

   Code for Double Sampling Randomized Smoothing [ICML 2022]

   Python 9 2

6. 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 316 83