learning heuristics for automated reasoning through deep reinforcement learning .
Learning Continuous Semantic Representations of Symbolic Expressions