New Tight Bounds for SGD without Variance Assumption: A Computer-Aided Lyapunov Analysis. - Daniel Cortild; Lucas Ketels; Juan Peypouquet; Guillaume Garrigos (CoRR, 2025)