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)