2 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.LG2020★ 2 cited
Hierarchical Verification for Adversarial Robustness
Cong Han Lim, Raquel Urtasun, Ersin Yumer
We introduce a new framework for the exact point-wise robustness verification problem that exploits the layer-wise geometric structure of deep feed-forward networks with r…
cs.LG2019★ 1 cited
A Distributed Quasi-Newton Algorithm for Primal and Dual Regularized Empirical Risk Minimization
Ching-pei Lee, Cong Han Lim, Stephen J. Wright
We propose a communication- and computation-efficient distributed optimization algorithm using second-order information for solving empirical risk minimization (ERM) problems with…
math.OC2018
A Distributed Quasi-Newton Algorithm for Empirical Risk Minimization with Nonsmooth Regularization
Ching-pei Lee, Cong Han Lim, Stephen J. Wright
We propose a communication- and computation-efficient distributed optimization algorithm using second-order information for solving ERM problems with a nonsmooth regularization ter…