Before revision:  We prove that our algorithm converges to an equilibrium point in time polynomial in the dimension , and smoothness parameters of the loss function.
After revision:  Our algorithm provably converges in time polynomial in the dimension , and smoothness parameters of the loss function.