research
∙
07/23/2020
Hierarchical Verification for Adversarial Robustness
We introduce a new framework for the exact point-wise ℓ_p robustness ver...
research
∙
12/12/2019
A Distributed Quasi-Newton Algorithm for Primal and Dual Regularized Empirical Risk Minimization
We propose a communication- and computation-efficient distributed optimi...
research
∙
03/04/2018