CRFL: Certifiably Robust Federated Learning against Backdoor Attacks (ICML 2021)
-
Updated
Aug 5, 2021 - Python
#
certified-robustness
Here are 14 public repositories matching this topic...
[NeurIPS 2021] Fast Certified Robust Training with Short Warmup
-
Updated
Jun 7, 2025 - Python
Official implementation of the paper "PromptSmooth: Certifying Robustness of Medical Vision-Language Models via Prompt Learning"
-
Updated
Apr 17, 2025 - Python
Robustify Black-Box Models (ICLR'22 - Spotlight)
adversarial-learning blackbox-optimization zeroth-order-optimization certified-defense certified-robustness black-box-defense
-
Updated
Jan 29, 2023 - Python
[ICLR 2022] Training L_inf-dist-net with faster acceleration and better training strategies
-
Updated
Mar 16, 2022 - Cuda
Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets
-
Updated
Jun 12, 2024 - SCSS
[ICLR 2022] Boosting Randomized Smoothing with Variance Reduced Classifiers
-
Updated
Mar 29, 2022 - Python
[NeurIPS 2022] (De-)Randomized Smoothing for Decision Stump Ensembles
adversarial-machine-learning randomized-smoothing certified-robustness tree-based-models decision-stump-ensembles
-
Updated
Nov 14, 2022 - Terra
[SRML@ICLR 2022] Robust and Accurate -- Compositional Architectures for Randomized Smoothing
deep-neural-networks adversarial-machine-learning adversarial-robustness randomized-smoothing certified-robustness
-
Updated
Mar 29, 2022 - Python
Implementation of Boosting Certified $\ell_\infty$-dist Robustness with EMA Method and Ensemble Model
-
Updated
Jul 2, 2021 - Python
Adversarial attacks and certified defences on a small MNIST network — FGSM, αβ-CROWN, interval analysis, randomised smoothing.
pytorch adversarial-examples onnx fgsm machine-learning-security adversarial-robustness randomized-smoothing neural-network-verification certified-robustness
-
Updated
Jun 14, 2026 - Python
Certified reachability of NLA-defined concepts: proving when a model can(not) recognize it is being tested. Mashes Anthropic's Natural Language Autoencoder with Raghunathan certified defenses, on GPT-2.
ai-safety interpretability ai-alignment gpt-2 adversarial-robustness certified-robustness mechanistic-interpretability evaluation-awareness
-
Updated
Jul 1, 2026 - Python
Tsetlin Machines with a certificate on every answer: the exact number of feature flips a prediction survives, computed per sample, with predict-or-abstain when the radius is too small.
research adversarial-attacks interpretable-ml tsetlin-machine adversarial-robustness abstention certified-robustness selective-prediction
-
Updated
Jun 12, 2026 - Python
Sound neural-network robustness verifier based on DeepPoly abstract interpretation, back-substitution + learnable ReLU (α) bounds certify L∞ adversarial robustness on MNIST/CIFAR-10 classifiers.
deep-learning pytorch mnist formal-verification abstract-interpretation cifar10 adversarial-examples adversarial-robustness robustness-verification neural-network-verification certified-robustness convex-relaxation deeppoly
-
Updated
Jun 4, 2026 - Python
Improve this page
Add a description, image, and links to the certified-robustness topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the certified-robustness topic, visit your repo's landing page and select "manage topics."