low-rank semidefinite programming

Scalable Low-Rank Semidefinite Programming for Certifiably Correct Machine Perception

Build your own certifiably correct machine perception methods