An improvement of the convergence proof of the ADAM-Optimizer. - Sebastian Bock; Josef Goppold; Martin Georg Weiß (CoRR, 2018)