arobey1 / mbrdl

Related projects: ⓘ

• yjhuangcd / local-lipschitz
  Official implementation for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds (NeurIPS, 2021).
  ☆22Updated 2 years ago
• RuntianZ / doro
  Distributional and Outlier Robust Optimization (ICML 2021)
  ☆27Updated 3 years ago
• Hadisalman / robust-verify-benchmark
  Benchmark for LP-relaxed robustness verification of ReLU-networks
  ☆40Updated 5 years ago
• revbucket / lipMIP
  Mixed integer programming for computing lipschitz constants of ReLU Networks
  ☆16Updated last year
• LTS4 / hold-me-tight
  Source code of "Hold me tight! Influence of discriminative features on deep network boundaries"
  ☆22Updated 2 years ago
• MadryLab / spatial-pytorch
  Codebase for "Exploring the Landscape of Spatial Robustness" (ICML'19, https://arxiv.org/abs/1712.02779).
  ☆26Updated 5 years ago
• davidstutz / confidence-calibrated-adversarial-training
  Implementation of Confidence-Calibrated Adversarial Training (CCAT).
  ☆45Updated 4 years ago
• locuslab / intermediate_robustness
  ☆16Updated 2 years ago
• yangarbiter / robust-local-lipschitz
  A Closer Look at Accuracy vs. Robustness
  ☆87Updated 3 years ago
• xu-ji / ARM
  Automatic Recall Machines: Internal Replay, Continual Learning and the Brain
  ☆11Updated 4 years ago
• MadryLab / DebuggableDeepNetworks
  ☆37Updated 3 years ago
• locuslab / perturbation_learning
  Learning perturbation sets for robust machine learning
  ☆64Updated 3 years ago
• jh-jeong / smoothing-consistency
  Code for the paper "Consistency Regularization for Certified Robustness of Smoothed Classifiers" (NeurIPS 2020)
  ☆33Updated 3 years ago
• yaohungt / Pointwise_Dependency_Neural_Estimation
  ☆19Updated 4 years ago
• davidstutz / disentangling-robustness-generalization
  CVPR'19 experiments with (on-manifold) adversarial examples.
  ☆43Updated 4 years ago
• revbucket / geometric-certificates
  Geometric Certifications of Neural Nets
  ☆41Updated last year
• KaidiXu / LiRPA_Verify
  Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"
  ☆17Updated last year
• eth-sri / deepg
  Certifying Geometric Robustness of Neural Networks
  ☆15Updated last year
• locuslab / robust_union
  [ICML'20] Multi Steepest Descent (MSD) for robustness against the union of multiple perturbation models.
  ☆25Updated last month
• max-andr / provable-robustness-max-linear-regions
  Provable Robustness of ReLU networks via Maximization of Linear Regions [AISTATS 2019]
  ☆31Updated 4 years ago
• k9k2 / qSGD
  SGD and Ordered SGD codes for deep learning, SVM, and logistic regression
  ☆34Updated 4 years ago
• jshe / wasserstein-2
  ☆13Updated 5 years ago
• singlasahil14 / CONV-SV
  A fast and efficient way to compute a differentiable bound on the singular values of convolution layers
  ☆11Updated 4 years ago
• PKUAI26 / Bayesian-Adversarial-Learning
  ☆19Updated 5 years ago
• AnonymousNIPS2019 / DeepnetHessian
  The Full Spectrum of Deepnet Hessians at Scale: Dynamics with SGD Training and Sample Size
  ☆17Updated 5 years ago
• hongyanz / TRADES-smoothing
  [JMLR] TRADES + random smoothing for certifiable robustness
  ☆14Updated 4 years ago
• IBM / CROWN-Robustness-Certification
  CROWN: A Neural Network Verification Framework for Networks with General Activation Functions
  ☆38Updated 5 years ago
• tml-epfl / sharpness-vs-generalization
  A modern look at the relationship between sharpness and generalization [ICML 2023]
  ☆42Updated last year
• mfederici / dsit
  Implementation of the models and datasets used in "An Information-theoretic Approach to Distribution Shifts"
  ☆24Updated 2 years ago
• lan-lc / adversarial_example_of_Go
  Attack AlphaZero Go agents (NeurIPS 2022)
  ☆20Updated last year