LyapunovFunctionsforFirst-OrderMethods:TightAutomatedConvergenceGuaranteesAdrienTaylor1BryanVanScoy2LaurentLessard23Abstractmethod,withanenergyofzerocorrespondingtoreachingtheoptimalsolutionof(P).T...