learning heuristics for automated reasoning through deep reinforcement learning .
Reinforcement Learning of Theorem Proving