GloptiNets: Scalable Non-Convex Optimization with Certificates | Read Paper on Bytez