semidefinite programming

Statistically Optimal K-means Clustering via Nonnegative Low-rank Semidefinite Programming ICLR 2024 Top-K ranking with a monotone adversary COLT 2024 Towards Tight Convex Relaxations for Contact-Rich Manipulation RSS 2024 Training Binary Neural Networks via Gaussian Variational Inference and Low-Rank Semidefinite Programming NeurIPS 2024 A Scalable Frank-Wolfe-Based Algorithm for the Max-Cut SDP ICML 2023 A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification AAAI 2023 A Unified Algebraic Perspective on Lipschitz Neural Networks ICLR 2023 Community Detection in the Hypergraph SBM: Exact Recovery Given the Similarity Matrix COLT 2023 Convex Geometric Motion Planning on Lie Groups via Moment Relaxation RSS 2023 Efficient fair PCA for fair representation learning AISTATS 2023 Essential Matrix Estimation using Convex Relaxations in Orthogonal Space ICCV 2023 Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification AAAI 2023 Likelihood Adjusted Semidefinite Programs for Clustering Heterogeneous Data ICML 2023 Lipschitz constant estimation for 1D convolutional neural networks L4DC 2023 Semidefinite Programming versus Burer-Monteiro Factorization for Matrix Sensing AAAI 2023 Semidefinite Relaxations for Robust Multiview Triangulation CVPR 2023 Structured Semidefinite Programming for Recovering Structured Preconditioners NeurIPS 2023 Theoretical Bounds on the Network Community Profile from Low-rank Semi-definite Programming ICML 2023 Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations ICML 2023 Algorithms and Hardness for Learning Linear Thresholds from Label Proportions NeurIPS 2022 A Quantitative Geometric Approach to Neural-Network Smoothness NeurIPS 2022 A Unified View of SDP-based Neural Network Verification through Completely Positive Programming AISTATS 2022 Clustering with Semidefinite Programming and Fixed Point Iteration JMLR 2022 Data-driven Control of Unknown Linear Systems via Quantized Feedback L4DC 2022 Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models ICML 2022