L O ] 2 0 Ju l 2 01 8 Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning
Reinforcement Learning of Theorem Proving