Hadi Salman

Results 2 repositories owned by Hadi Salman

smoothing-adversarial

221
Stars
39
Forks
Watchers

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

robust-verify-benchmark

40
Stars
5
Forks
Watchers

Benchmark for LP-relaxed robustness verification of ReLU-networks