L O ] 2 0 Ju l 2 01 8 Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning
Learning Continuous Semantic Representations of Symbolic Expressions