Alternatives and similar repositories for provably-robust-boosting:

Users that are interested in provably-robust-boosting are comparing it to the libraries listed below

• chenhongge / RobustTrees
  [ICML 2019, 20 min long talk] Robust Decision Trees Against Adversarial Examples
  ☆67Updated 2 years ago
• max-andr / provable-robustness-max-linear-regions
  Provable Robustness of ReLU networks via Maximization of Linear Regions [AISTATS 2019]
  ☆32Updated 4 years ago
• tcwangshiqi-columbia / Interval-Attack
  Interval attacks (adversarial ML)
  ☆21Updated 5 years ago
• ftramer / MultiRobustness
  Code for the paper "Adversarial Training and Robustness for Multiple Perturbations", NeurIPS 2019
  ☆47Updated 2 years ago
• Hadisalman / robust-verify-benchmark
  Benchmark for LP-relaxed robustness verification of ReLU-networks
  ☆41Updated 5 years ago
• tonyduan / rs4a
  Randomized Smoothing of All Shapes and Sizes (ICML 2020).
  ☆52Updated 4 years ago
• chenhongge / treeVerification
  [NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contrib…
  ☆26Updated 5 years ago
• robust-ml / robustml
  Interfaces for defining Robust ML models and precisely specifying the threat models under which they claim to be secure.
  ☆62Updated 5 years ago
• MadryLab / relu_stable
  ☆26Updated 2 years ago
• xuanqing94 / BayesianDefense
  Adv-BNN: Improved Adversarial Defense through Robust Bayesian Neural Network
  ☆63Updated 5 years ago
• google-deepmind / interval-bound-propagation
  This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715
  ☆156Updated 5 years ago
• IBM / CROWN-Robustness-Certification
  CROWN: A Neural Network Verification Framework for Networks with General Activation Functions
  ☆38Updated 6 years ago
• deepgenerativeclassifier / DeepBayes
  Code release for the ICML 2019 paper "Are generative classifiers more robust to adversarial attacks?"
  ☆23Updated 5 years ago
• huanzhang12 / CertifiedReLURobustness
  Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://g…
  ☆30Updated 5 years ago
• robust-ml / robust-ml.github.io
  A community-run reference for state-of-the-art adversarial example defenses.
  ☆49Updated 5 months ago
• yangarbiter / adversarial-nonparametrics
  Robustness for Non-Parametric Classification: A Generic Attack and Defense
  ☆18Updated 2 years ago
• uds-lsv / evaluating-logit-pairing-methods
  Logit Pairing Methods Can Fool Gradient-Based Attacks [NeurIPS 2018 Workshop on Security in Machine Learning]
  ☆19Updated 6 years ago
• amiratag / InterpretationFragility
  Interpretation of Neural Network is Fragile
  ☆36Updated 10 months ago
• revbucket / geometric-certificates
  Geometric Certifications of Neural Nets
  ☆41Updated 2 years ago
• jonasrauber / linear-region-attack
  A powerful white-box adversarial attack that exploits knowledge about the geometry of neural networks to find minimal adversarial perturb…
  ☆11Updated 4 years ago
• tianzheng4 / Distributionally-Adversarial-Attack
  AAAI 2019 oral presentation
  ☆50Updated 7 months ago
• eth-sri / deepg
  Certifying Geometric Robustness of Neural Networks
  ☆16Updated last year
• MadryLab / adversarial_spatial
  Investigating the robustness of state-of-the-art CNN architectures to simple spatial transformations.
  ☆49Updated 5 years ago
• max-andr / cross-lipschitz
  Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation [NeurIPS 2017]
  ☆18Updated 6 years ago
• labsix / adversarial-logit-pairing-analysis
  Analysis of Adversarial Logit Pairing
  ☆60Updated 6 years ago
• kohpangwei / group-influence-release
  ☆50Updated last year
• kohpangwei / data-poisoning-release
  ☆32Updated 7 years ago
• MadryLab / robust-features-code
  Code for "Robustness May Be at Odds with Accuracy"
  ☆92Updated last year
• Bai-Li / STN-Code
  Code for Stability Training with Noise (STN)
  ☆21Updated 4 years ago
• locuslab / projected_sinkhorn
  ☆87Updated 7 months ago