collaborators

1 paper

math.OC2024

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…