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