DeepMath - Deep Sequence Models for Premise Selection - Citation Graph | Papersgraph