TY  - RPRT
TI  - Exact Verification of First-Order Methods via Mixed-Integer Linear Programming
AU  - Vinit Ranjan
AU  - Jisun Park
AU  - Stefano Gualandi
AU  - Andrea Lodi
AU  - Bartolomeo Stellato
PY  - 2026
UR  - https://arxiv.org/abs/2412.11330
ID  - 2412.11330
ER  -