Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation [NeurIPS 2017]
☆18Apr 8, 2018Updated 7 years ago
Alternatives and similar repositories for cross-lipschitz
Users that are interested in cross-lipschitz are comparing it to the libraries listed below
Sorting:
- Logit Pairing Methods Can Fool Gradient-Based Attacks [NeurIPS 2018 Workshop on Security in Machine Learning]☆19Dec 2, 2018Updated 7 years ago
- Provable Robustness of ReLU networks via Maximization of Linear Regions [AISTATS 2019]☆31Jul 15, 2020Updated 5 years ago
- A powerful white-box adversarial attack that exploits knowledge about the geometry of neural networks to find minimal adversarial perturb…☆12Aug 5, 2020Updated 5 years ago
- The library for symbolic interval☆22Jun 23, 2020Updated 5 years ago
- Interval attacks (adversarial ML)☆21Jun 17, 2019Updated 6 years ago
- ☆15Dec 7, 2021Updated 4 years ago
- SC-Adagrad, SC-RMSProp and RMSProp algorithms for training deep networks proposed in☆14Oct 5, 2018Updated 7 years ago
- CROWN: A Neural Network Verification Framework for Networks with General Activation Functions☆39Dec 13, 2018Updated 7 years ago
- [ICML 2019, 20 min long talk] Robust Decision Trees Against Adversarial Examples☆69Jul 12, 2025Updated 7 months ago
- ☆18Sep 25, 2019Updated 6 years ago
- Code release for the ICML 2019 paper "Are generative classifiers more robust to adversarial attacks?"☆24May 10, 2019Updated 6 years ago
- [ICML'20] Multi Steepest Descent (MSD) for robustness against the union of multiple perturbation models.☆25Jul 25, 2024Updated last year
- Interfaces for defining Robust ML models and precisely specifying the threat models under which they claim to be secure.☆62May 30, 2019Updated 6 years ago
- A fast sparse attack on deep neural networks.☆51Sep 27, 2020Updated 5 years ago
- The released code of ReluVal in USENIX Security 2018☆60Mar 4, 2020Updated 5 years ago
- Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Net…☆27Jun 23, 2021Updated 4 years ago
- Source code for the paper "Exploiting Excessive Invariance caused by Norm-Bounded Adversarial Robustness"☆25Feb 12, 2020Updated 6 years ago
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆27Nov 23, 2019Updated 6 years ago
- ☆35May 21, 2025Updated 9 months ago
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆28Dec 1, 2021Updated 4 years ago
- [ICLR'21] Dataset Inference for Ownership Resolution in Machine Learning☆32Oct 10, 2022Updated 3 years ago
- Does Refusal Training in LLMs Generalize to the Past Tense? [ICLR 2025]☆78Jan 23, 2025Updated last year
- ☆36Sep 23, 2022Updated 3 years ago
- ☆46May 8, 2024Updated last year
- Code for the paper "Distinguishing the Knowable from the Unknowable with Language Models"☆11Apr 15, 2024Updated last year
- Public code for a paper "Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks."☆35Dec 18, 2018Updated 7 years ago
- Efficient Learning Interpretable Shapelets for Accurate Time Series Classification, ICDE 2018☆14Feb 23, 2018Updated 8 years ago
- Code for FAB-attack☆34Jul 10, 2020Updated 5 years ago
- On the Loss Landscape of Adversarial Training: Identifying Challenges and How to Overcome Them [NeurIPS 2020]☆36Jul 3, 2021Updated 4 years ago
- Transfer Learning for Survival Analysis via Efficient L2,1-norm Regularized Cox Regression☆13Sep 18, 2016Updated 9 years ago
- A way to achieve uniform confidence far away from the training data.☆38Apr 16, 2021Updated 4 years ago
- Data for "Datamodels: Predicting Predictions with Training Data"☆97May 25, 2023Updated 2 years ago
- SurFree: a fast surrogate-free black-box attack☆44Jun 27, 2024Updated last year
- Data, code & materials from the paper "Generalisation in humans and deep neural networks" (NeurIPS 2018)☆95Aug 14, 2023Updated 2 years ago
- Unsupervised-Data-Augmentation-PyTorch☆12Dec 8, 2022Updated 3 years ago
- High-Level Training, Data Augmentation, and Utilities for Pytorch☆13Mar 8, 2019Updated 6 years ago
- Efficient minimax optimization for deep adversarial learning, and more.☆10Mar 28, 2019Updated 6 years ago
- Code of On L-p Robustness of Decision Stumps and Trees, ICML 2020☆10Aug 3, 2020Updated 5 years ago
- SVIP: Towards Verifiable Inference of Open-Source Large Language Models☆14Jun 3, 2025Updated 9 months ago