learning heuristics for automated reasoning through deep reinforcement learning .
GamePad: A Learning Environment for Theorem Proving