Richard Y. Zhang

~Richard_Y._Zhang1

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming

Statistically Optimal $K$-means Clustering via Nonnegative Low-rank Semidefinite Programming