3 papers
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.OC2026
Theoretical Perspectives on Jabr-Type Convex Relaxations for AC Optimal Power Flow
Gabor Riccardi, Ambrogio Maria Bernardelli, Stefano Gualandi
The alternating current optimal power flow problem is a fundamental yet highly nonconvex optimization problem whose structure reflects both nonlinear power flow physics and the top…
math.OC2026
Batched First-Order Methods for Parallel LP Solving in MIP
Nicolas Blin, Stefano Gualandi, Christopher Maes +2
We present a batched first-order method for solving multiple linear programs in parallel on GPUs. Our approach extends the primal-dual hybrid gradient algorithm to efficiently solv…