@misc{indiciaefc02cf9b2560,
  title = {Lyapunov Functions for First-Order Methods: Tight Automated Convergence Guarantees},
  author = {Adrien Taylor and Bryan Van Scoy and Laurent Lessard},
  year = {2018},
  url = {https://arxiv.org/abs/1803.06073},
  note = {Source identifier: 1803.06073}
}