Cong Han Lim
6 papers · 2014–2020 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Conference Polyglot Β· Bronze
π
Academic Marathon Β· Sprint
π
Interdisciplinary Bridge Β· Bronze
πΊοΈ
Taxonomy Completionist
(13)
π£
Hot Topic Early Bird
Venues
Top co-authors
Research topics
Keywords
convex relaxation
(2)
dynamic programming
(2)
convex optimization
(2)
non-convex optimization
(1)
group sparsity
(1)
formal verification
(1)
isotonic regression
(1)
coordinate descent
(1)
sparse optimization
(1)
overlapping groups
(1)
continuous relaxation
(1)
tree decomposition
(1)
k-support norm
(1)
permutation matrix
(1)
linear program
(1)
quadratic assignment problem
(1)
relu network
(1)
bregman projection
(1)
projection algorithm
(1)
sorting network
(1)
Papers
Hierarchical Verification for Adversarial Robustness
ICML 2020
An Efficient Pruning Algorithm for Robust Isotonic Regression
NeurIPS 2018
k-Support and Ordered Weighted Sparsity for Overlapping Groups: Hardness and Algorithms
NeurIPS 2017
A Box-Constrained Approach for Hard Permutation Problems
ICML 2016
Efficient Bregman Projections onto the Permutahedron and Related Polytopes
AISTATS 2016
Beyond the Birkhoff Polytope: Convex Relaxations for Vector Permutation Problems
NeurIPS 2014