Pinned Loading

1. RobustraRobustraPublic

   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-OldverAI-secure/Certified-Robustness-SoK-OldverPublic

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

   97 10

3. AI-secure/VeriGaugeAI-secure/VeriGaugePublic

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

   C 90 7

4. AI-secure/semantic-randomized-smoothingAI-secure/semantic-randomized-smoothingPublic

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

   Roff 26 3

5. DSRSDSRSPublic

   Code for Double Sampling Randomized Smoothing [ICML 2022]

   Python 9 2

6. Verified-Intelligence/alpha-beta-CROWNVerified-Intelligence/alpha-beta-CROWNPublic

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

   Python 387 94