@misc{indiciae79066e68c5ef,
  title = {Automated tight Lyapunov analysis for first-order methods},
  author = {Manu Upadhyaya and Sebastian Banert and Adrien B. Taylor and Pontus Giselsson},
  year = {2025},
  doi = {10.1007/s10107-024-02061-8},
  url = {https://arxiv.org/abs/2302.06713},
  note = {Source identifier: 2302.06713}
}