Verification of first-order methods for parametric quadratic optimization - Ranjan, Vinit; Stellato, Bartolomeo (Mathematical programming, 2025)