Fetching the paper…

Automated tight Lyapunov analysis for first-order methods · Around