GloptiNets: Scalable Non-Convex Optimization with Certificates - Beugnot, Gaspard; Mairal, Julien; Rudi, Alessandro (Advances in Neural Information Processing Systems, 2023)