NIPS Proceedingsβ

Greg Yang

3 Papers

  • A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks (2019)
  • Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers (2019)
  • Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes (2019)