NIPS Proceedings^β

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)