DeepMath - Deep Sequence Models for Premise Selection
Gated Feedback Recurrent Neural Networks