semidefinite programming

Safely Learning Dynamical Systems from Short Trajectories L4DC 2021 Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification NeurIPS 2021 Stable Online Control of Linear Time-Varying Systems L4DC 2021 Training Quantized Neural Networks to Global Optimality via Semidefinite Programming ICML 2021 A Fast Spectral Algorithm for Mean Estimation with Sub-Gaussian Rates COLT 2020 An Õ(m/ε^3.5)-Cost Algorithm for Semidefinite Programs with Diagonal Constraints COLT 2020 Community detection using fast low-cardinality semidefinite programming NeurIPS 2020 Data-driven distributionally robust LQR with multiplicative noise L4DC 2020 Efficient semidefinite-programming-based inference for binary and multi-class MRFs NeurIPS 2020 Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming NeurIPS 2020 Global Optimality for Point Set Registration Using Semidefinite Programming CVPR 2020 In Perfect Shape: Certifiably Optimal 3D Shape Reconstruction From 2D Landmarks CVPR 2020 Learning Dynamical Systems with Side Information L4DC 2020 Learning Structured Distributions From Untrusted Batches: Faster and Simpler NeurIPS 2020 Lipschitz constant estimation of Neural Networks via sparse polynomial optimization ICLR 2020 Near-Optimal Comparison Based Clustering NeurIPS 2020 Neural Networks are Convex Regularizers: Exact Polynomial-time Convex Optimization Formulations for Two-layer Networks ICML 2020 One Ring to Rule Them All: Certifiably Robust Geometric Perception with Outliers NeurIPS 2020 On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples NeurIPS 2020 Proximity Operator of the Matrix Perspective Function and its Applications NeurIPS 2020 Semialgebraic Optimization for Lipschitz Constants of ReLU Networks NeurIPS 2020 Achieving the Bayes Error Rate in Stochastic Block Model by SDP, Robustly COLT 2019 A Conditional-Gradient-Based Augmented Lagrangian Framework ICML 2019 A Polynomial-time Solution for Robust Registration with Extreme Outlier Rates RSS 2019 A Quaternion-Based Certifiably Optimal Solution to the Wahba Problem With Outliers ICCV 2019