Adrien B. Taylor, Bryan Van Scoy, Laurent Lessard: Lyapunov Functions for First-Order Methods: Tight Automated Convergence Guarantees. ICML 2018: 4904-4913