I'd be interested to read about the gibberish in UMAP, I know the paper "An improvement of the convergence proof of the ADAM-Optimizer" for the lemma problem in the original ADAM but hadn't heard of the second one. Do you have any further info on it?