← Keywords

semidefinite programming

147 papers

Explore in graph

Also known as

SDP

Co-occurring keywords

convex optimization (1320) convex relaxation (112) combinatorial optimization (1039) neural network verification (106) matrix completion (356) matrix factorization (529) global optimization (151) polynomial optimization (18) robustness certification (47) low-rank optimization (24)

Papers

Structured Semidefinite Programming for Recovering Structured Preconditioners NIPS 2023
Convex Geometric Motion Planning on Lie Groups via Moment Relaxation RSS 2023
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
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification AAAI 2023
The Burer-Monteiro SDP method can fail even above the Barvinok-Pataki bound NIPS 2022
Learning-Augmented Algorithms for Online Linear and Semidefinite Programming NIPS 2022
Polynomial time guarantees for the Burer-Monteiro method NIPS 2022
A Quantitative Geometric Approach to Neural-Network Smoothness NIPS 2022
Support Recovery in Sparse PCA with Incomplete Data NIPS 2022
Clustering with Semidefinite Programming and Fixed Point Iteration JMLR 2022
Private Robust Estimation by Stabilizing Convex Relaxations COLT 2022
Wasserstein $K$-means for clustering probability distributions NIPS 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming AISTATS 2022
Faster One-Sample Stochastic Conditional Gradient Method for Composite Convex Minimization AISTATS 2022
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022
Sketch-and-lift: scalable subsampled semidefinite program for K-means clustering AISTATS 2022
Algorithms and Hardness for Learning Linear Thresholds from Label Proportions NIPS 2022
Solving Large-Scale Sparse PCA to Certifiable (Near) Optimality JMLR 2022
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization L4DC 2021
Safely Learning Dynamical Systems from Short Trajectories L4DC 2021
Rotation Coordinate Descent for Fast Globally Optimal Rotation Averaging CVPR 2021
Principal Component Regression with Semirandom Observations via Matrix Completion AISTATS 2021
Double Oracle Algorithm for Computing Equilibria in Continuous Games AAAI 2021
Training Quantized Neural Networks to Global Optimality via Semidefinite Programming ICML 2021