A Proof of Local Convergence for the Adam Optimizer.

Sebastian Bock Martin Georg Weiß

Published in: IJCNN (2019)

Keyphrases

convergence rate
query optimization
convergence speed
initial conditions
optimization algorithm
theorem proving
machine learning
information systems
case study
theorem prover
geometry theorem proving
real time
data sets
proof planning