Hadi Salman's repositories
smoothing-adversarial
Code for our NeurIPS 2019 *spotlight* "Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers"
robust-verify-benchmark
Benchmark for LP-relaxed robustness verification of ReLU-networks
ICAPS2017-code
Repository containing the codes that were used in the paper "Multi-agent Ergodic Coverage with Obstacle Avoidance"
trajectory-optimized-active-search
Code for the ICRA2018 paper "Trajectory-Optimized Sensing for Active Search of Tissue Abnormalities in Robotic Surgery"
gym-gazebo-hadi
Modified version of gym-gazebo. Includes new Gazebo models and new deep RL architectures
convex_adversarial
A method for training neural networks that are provably robust to adversarial attacks.
EfficientNet-PyTorch
A PyTorch implementation of EfficientNet
maskrcnn-benchmark
Fast, modular reference implementation of Instance Segmentation and Object Detection algorithms in PyTorch.
robustness
A library for experimenting with, training and evaluating neural networks, with a focus on adversarial robustness.
Sphinx-RTD-Tutorial
A tutorial on how to use Sphinx
adversarial_image_defenses
Countering Adversarial Image using Input Transformations.
Adversarial_Survey
Robustness vs Accuracy Survey on ImageNet
cifar10_challenge
A challenge to explore adversarial robustness of neural networks on CIFAR10.
cleverhans
An adversarial example library for constructing attacks, building defenses, and benchmarking both
CLIP_benchmark
CLIP-like model evaluation
generative-models
Collection of generative models, e.g. GAN, VAE in Pytorch and Tensorflow.
MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
tensor2tensor
Library of deep learning models and datasets designed to make deep learning more accessible and accelerate ML research.