Formalization of Complexity Analysis of the First-order Algorithms for Convex Optimization

Chenyi Li, Ziyu Wang, Wanyi He +3

The convergence rate of various first-order optimization algorithms is a pivotal concern within the numerical optimization community, as it directly reflects the efficiency of thes…