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
• 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
• tcwangshiqi-columbia / Interval-Attack
  Interval attacks (adversarial ML)
  ☆21Updated 5 years ago
• robust-ml / robust-ml.github.io
  A community-run reference for state-of-the-art adversarial example defenses.
  ☆50Updated 6 months ago
• deepgenerativeclassifier / DeepBayes
  Code release for the ICML 2019 paper "Are generative classifiers more robust to adversarial attacks?"
  ☆23Updated 5 years ago
• Hadisalman / robust-verify-benchmark
  Benchmark for LP-relaxed robustness verification of ReLU-networks
  ☆41Updated 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
• ftramer / MultiRobustness
  Code for the paper "Adversarial Training and Robustness for Multiple Perturbations", NeurIPS 2019
  ☆47Updated 2 years ago
• locuslab / perturbation_learning
  Learning perturbation sets for robust machine learning
  ☆65Updated 3 years ago
• xuanqing94 / BayesianDefense
  Adv-BNN: Improved Adversarial Defense through Robust Bayesian Neural Network
  ☆62Updated 5 years ago
• revbucket / geometric-certificates
  Geometric Certifications of Neural Nets
  ☆41Updated 2 years ago
• locuslab / projected_sinkhorn
  ☆87Updated 8 months 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
  ☆160Updated 5 years ago
• MadryLab / relu_stable
  ☆26Updated 2 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
• eth-sri / deepg
  Certifying Geometric Robustness of Neural Networks
  ☆16Updated 2 years ago
• ddkang / advex-uar
  Code for "Testing Robustness Against Unforeseen Adversaries"
  ☆81Updated 8 months ago
• labsix / adversarial-logit-pairing-analysis
  Analysis of Adversarial Logit Pairing
  ☆60Updated 6 years ago
• ZhaoyangLyu / POPQORN
  An Algorithm to Quantify Robustness of Recurrent Neural Networks
  ☆48Updated 4 years ago
• amiratag / InterpretationFragility
  Interpretation of Neural Network is Fragile
  ☆36Updated 11 months ago
• ytsmiling / lmt
  Public code for a paper "Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks."
  ☆34Updated 6 years ago
• IBM / CROWN-Robustness-Certification
  CROWN: A Neural Network Verification Framework for Networks with General Activation Functions
  ☆38Updated 6 years ago
• tianzheng4 / Distributionally-Adversarial-Attack
  AAAI 2019 oral presentation
  ☆50Updated 8 months ago
• MadryLab / adversarial_spatial
  Investigating the robustness of state-of-the-art CNN architectures to simple spatial transformations.
  ☆49Updated 5 years ago
• yangarbiter / adversarial-nonparametrics
  Robustness for Non-Parametric Classification: A Generic Attack and Defense
  ☆18Updated 2 years ago
• kohpangwei / data-poisoning-release
  ☆32Updated 7 years ago
• kohpangwei / group-influence-release
  ☆50Updated 2 years ago
• lsgos / uncertainty-adversarial-paper
  Code for the paper 'Understanding Measures of Uncertainty for Adversarial Example Detection'
  ☆60Updated 6 years ago