NIPS Proceedings
β
Books
Hadi Salman
2 Papers
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks
(2019)
Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers
(2019)