13 citations · 24 across the 5 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
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…