TY  - RPRT
TI  - The AutoLyap software suite for computer-assisted Lyapunov analyses of first-order methods
AU  - Manu Upadhyaya
AU  - Shuvomoy Das Gupta
AU  - Adrien B. Taylor
AU  - Sebastian Banert
AU  - Pontus Giselsson
PY  - 2026
UR  - https://arxiv.org/abs/2506.24076
ID  - 2506.24076
ER  -