mortal12138 Goto Github PK

randomized_smoothing

"Tight Certificates of Adversarial Robustness for Randomly Smoothed Classifiers" (NeurIPS 2019, previously called "A Stratified Approach to Robustness for Randomly Smoothed Classifiers")

recurjac-and-crown

Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)

relu_stable

repo

Enhancing Robustness Against Adversarial Examples in Network Intrusion Detection Systems

robust-finetuning

Code relative to "Adversarial robustness against multiple $l_p$-threat models at the price of one and how to quickly fine-tune robust models to another threat model"

robust-verify-benchmark

Benchmark for LP-relaxed robustness verification of ReLU-networks

robustra

A method for training neural networks that are provably robust to adversarial attacks.

robusttrees

[ICML 2019, 20 min long talk] Robust Decision Trees Against Adversarial Examples

routenet-challenge

RouteNet version for the Graph Neural Networking Challenge 2020

rs4a

Randomized Smoothing of All Shapes and Sizes (ICML 2020).

semantic-randomized-smoothing

Semantic Randomized Smoothing

simulatorattack

The official implementation of CVPR 2021 paper "Simulating Unknown Target Models for Query-Efficient Black-box Attacks"

smoothing

Provable adversarial robustness at ImageNet scale

smoothing-adversarial

Code for our NeurIPS 2019 *spotlight* "Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers"

spatial-smoothing

Official PyTorch implementation of “Blurs Make Results Clearer: Spatial Smoothings to Improve Accuracy, Uncertainty, and Robustness”.

stn-code

Code for Stability Training with Noise (STN)

tf-dagmm

Tensorflow Implementation of dagmm: Deep Autoencoding Gaussian Mixture Model for Unsupervised Anomaly Detection, Zong et al, 2018

tree-ensemble-attack

[NeurIPS 2020] Code for "An Efficient Adversarial Attack for Tree Ensembles"

treeverification

[NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contribution)

umap

Uniform Manifold Approximation and Projection

unsupervisedlearing

verigauge

A united toolbox for running major robustness verification approaches for DNNs.