Richard Y. Zhang
5 papers · 2019–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
Interdisciplinary Bridge
π
Conference Polyglot
(3)
π
Academic Marathon
(6)
π
Cross-Pollinator
(11)
πΊοΈ
Taxonomy Completionist
(10)
Conferences
ICML (2)
JMLR (2)
ICLR (1)
Top co-authors
Keywords
nonconvex optimization
(3)
non-convex optimization
(1)
semidefinite programming
(1)
matrix factorization
(1)
adversarial training
(1)
gradient descent
(1)
restricted isometry property
(1)
matrix recovery
(1)
exact recovery
(1)
robustness certification
(1)
low-rank optimization
(1)
global optimality
(1)
local minima
(1)
neural network certification
(1)
neural network
(1)
adversarial robustness
(1)
spurious local minima
(1)
Papers
SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming
ICML 2025
Statistically Optimal $K$-means Clustering via Nonnegative Low-rank Semidefinite Programming
ICLR 2024
Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations
ICML 2023
Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality Certification
JMLR 2023
Sharp Restricted Isometry Bounds for the Inexistence of Spurious Local Minima in Nonconvex Matrix Recovery
JMLR 2019