DeepMath - Deep Sequence Models for Premise Selection
Understanding the difficulty of training deep feedforward neural networks