DeepMath - Deep Sequence Models for Premise Selection

   Abstract