A stochastic proximal point algorithm: convergence and application to convex optimization | IEEE Conference Publication | IEEE Xplore