certifiably correct perception

Scalable Low-Rank Semidefinite Programming for Certifiably Correct Machine Perception

Build your own certifiably correct machine perception methods