← 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

Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization L4DC 2021
Double Oracle Algorithm for Computing Equilibria in Continuous Games AAAI 2021
Rotation Coordinate Descent for Fast Globally Optimal Rotation Averaging CVPR 2021
Training Quantized Neural Networks to Global Optimality via Semidefinite Programming ICML 2021
Principal Component Regression with Semirandom Observations via Matrix Completion AISTATS 2021
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification NIPS 2021
Data-driven distributionally robust LQR with multiplicative noise L4DC 2020
Learning Dynamical Systems with Side Information L4DC 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
One Ring to Rule Them All: Certifiably Robust Geometric Perception with Outliers NIPS 2020
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks NIPS 2020
Community detection using fast low-cardinality semidefinite programming NIPS 2020
Learning Structured Distributions From Untrusted Batches: Faster and Simpler NIPS 2020
An $\widetilde\mathcal{O}(m/\varepsilon^3.5)$-Cost Algorithm for Semidefinite Programs with Diagonal Constraints COLT 2020
Proximity Operator of the Matrix Perspective Function and its Applications NIPS 2020
Efficient semidefinite-programming-based inference for binary and multi-class MRFs NIPS 2020
On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples NIPS 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming NIPS 2020
A Quaternion-Based Certifiably Optimal Solution to the Wahba Problem With Outliers ICCV 2019
A Polynomial-time Solution for Robust Registration with Extreme Outlier Rates RSS 2019
Achieving the Bayes Error Rate in Stochastic Block Model by SDP, Robustly COLT 2019
Stochastic first-order methods: non-asymptotic and computer-aided analyses via potential functions COLT 2019
Exact Clustering of Weighted Graphs via Semidefinite Programming JMLR 2019
Overcomplete Independent Component Analysis via SDP AISTATS 2019