Antimony5292 / FairNeuron
☆10Updated 2 years ago
Related projects: ⓘ
- A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]☆87Updated last year
- White-box Fairness Testing through Adversarial Sampling☆12Updated 3 years ago
- β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification☆30Updated 2 years ago
- ☆26Updated last year
- Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular da…☆17Updated 3 months ago
- Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…☆93Updated 3 years ago
- [NeurIPS 2021] Fast Certified Robust Training with Short Warmup☆23Updated last year
- The official repo for GCP-CROWN paper☆11Updated last year
- This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …☆99Updated last year
- Code release for RobOT (ICSE'21)☆14Updated last year
- Codes for NeurIPS 2021 paper "Adversarial Neuron Pruning Purifies Backdoored Deep Models"☆52Updated last year
- [NDSS'23] BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense☆14Updated 4 months ago
- ☆12Updated 9 months ago
- Repository for Knowledge Enhanced Machine Learning Pipeline (KEMLP)☆10Updated 3 years ago
- Code for the paper "(De)Randomized Smoothing for Certifiable Defense against Patch Attacks" by Alexander Levine and Soheil Feizi.☆16Updated 2 years ago
- RAB: Provable Robustness Against Backdoor Attacks☆39Updated 11 months ago
- The implementation of our paper: Composite Adversarial Attacks (AAAI2021)☆30Updated 2 years ago
- ICLR 2023 paper "Exploring and Exploiting Decision Boundary Dynamics for Adversarial Robustness" by Yuancheng Xu, Yanchao Sun, Micah Gold…☆21Updated last year
- Code for paper "PatchGuard: A Provably Robust Defense against Adversarial Patches via Small Receptive Fields and Masking"☆62Updated 2 years ago
- ☆11Updated last year
- This repo is the official implementation of the ICLR'23 paper "Towards Robustness Certification Against Universal Perturbations." We calc…☆12Updated last year
- Adversarial Distributional Training (NeurIPS 2020)☆61Updated 3 years ago
- [CCS 2021] TSS: Transformation-specific smoothing for robustness certification☆21Updated 11 months ago
- [ICLR 2020] Code for paper "Robustness Verification for Transformers"☆25Updated 2 years ago
- Source code, datasets and models of the paper "Efficient White-box Fairness Testing through Gradient Search" by Lingfeng Zhang, Yueling Z…☆11Updated 3 years ago
- Machine Learning & Security Seminar @Purdue University☆25Updated last year
- ☆9Updated 3 years ago
- ☆73Updated 3 years ago
- Code for ICML2019 Paper "On the Convergence and Robustness of Adversarial Training"☆33Updated 4 years ago
- [NeurIPS'20 Oral] DVERGE: Diversifying Vulnerabilities for Enhanced Robust Generation of Ensembles☆55Updated 2 years ago