Before revision:  In this work, we provide a general set of assumptions under which such  solvers are guaranteed to converge with probability one  .
After revision:  In this work, we provide a general set of assumptions under which such solvers are guaranteed to converge with probability one , and provide worst case rates of convergence .