Gradient Descent Provably Optimizes Over-parameterized Neural Networks
A Lyapunov Analysis of Momentum Methods in Optimization