TY  - RPRT
TI  - Automated tight Lyapunov analysis for first-order methods
AU  - Manu Upadhyaya
AU  - Sebastian Banert
AU  - Adrien B. Taylor
AU  - Pontus Giselsson
PY  - 2025
DO  - 10.1007/s10107-024-02061-8
UR  - https://arxiv.org/abs/2302.06713
ID  - 2302.06713
ER  -