Showing math.OCShow all
3 papers · 1 filter
math.OC2026
Data-Driven Analysis of First-Order Methods via Distributionally Robust Optimization
Jisun Park, Vinit Ranjan, Bartolomeo Stellato
We consider the problem of analyzing the probabilistic performance of first-order methods when solving convex optimization problems drawn from an unknown distribution only accessib…
math.OC2026
Exact Verification of First-Order Methods via Mixed-Integer Linear Programming
Vinit Ranjan, Jisun Park, Stefano Gualandi +2
We present exact mixed-integer linear programming formulations for verifying the performance of first-order methods for parametric quadratic optimization. We formulate the verifica…
math.OC2025
Verification of First-Order Methods for Parametric Quadratic Optimization
Vinit Ranjan, Bartolomeo Stellato
We introduce a numerical framework to verify the finite step convergence of first-order methods for parametric convex quadratic optimization. We formulate the verification problem…