semidefinite programming

Faster One-Sample Stochastic Conditional Gradient Method for Composite Convex Minimization AISTATS 2022 Handling Hard Affine SDP Shape Constraints in RKHSs JMLR 2022 Learning-Augmented Algorithms for Online Linear and Semidefinite Programming NeurIPS 2022 Polynomial time guarantees for the Burer-Monteiro method NeurIPS 2022 Private Robust Estimation by Stabilizing Convex Relaxations COLT 2022 Sketch-and-lift: scalable subsampled semidefinite program for K-means clustering AISTATS 2022 Solving Large-Scale Sparse PCA to Certifiable (Near) Optimality JMLR 2022 Support Recovery in Sparse PCA with Incomplete Data NeurIPS 2022 The Burer-Monteiro SDP method can fail even above the Barvinok-Pataki bound NeurIPS 2022 Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022 Wasserstein K-means for clustering probability distributions NeurIPS 2022 A Data Driven, Convex Optimization Approach to Learning Koopman Operators L4DC 2021 An online semi-definite programming with a generalised log-determinant regularizer and its applications ACML 2021 Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NeurIPS 2021 Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization L4DC 2021 Double Oracle Algorithm for Computing Equilibria in Continuous Games AAAI 2021 Exploiting Sparsity for Neural Network Verification L4DC 2021 Faster Algorithms and Constant Lower Bounds for the Worst-Case Expected Error NeurIPS 2021 Learning Stabilizing Controllers for Unstable Linear Quadratic Regulators from a Single Trajectory L4DC 2021 Learning with semi-definite programming: statistical bounds based on fixed point analysis and excess risk curvature JMLR 2021 Memory-Efficient Approximation Algorithms for Max-k-Cut and Correlation Clustering NeurIPS 2021 Minimax Adaptive Control for a Finite Set of Linear Systems L4DC 2021 Principal Component Regression with Semirandom Observations via Matrix Completion AISTATS 2021 Robust error bounds for quantised and pruned neural networks L4DC 2021 Rotation Coordinate Descent for Fast Globally Optimal Rotation Averaging CVPR 2021