NIPS Proceedingsβ

Huan Zhang

7 Papers

  • A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks (2019)
  • Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers (2019)
  • Robustness Verification of Tree-based Models (2019)
  • Efficient Neural Network Robustness Certification with General Activation Functions (2018)
  • Can Decentralized Algorithms Outperform Centralized Algorithms? A Case Study for Decentralized Parallel Stochastic Gradient Descent (2017)
  • A Comprehensive Linear Speedup Analysis for Asynchronous Stochastic Parallel Optimization from Zeroth-Order to First-Order (2016)
  • Sublinear Time Orthogonal Tensor Decomposition (2016)