Check my latest preprint on GloptiNets! An algorithm which provides certificates to non-convex optimization problems.