GamePad: A Learning Environment for Theorem Proving
Adam: A Method for Stochastic Optimization