DeepMath - Deep Sequence Models for Premise Selection
Learning-Assisted Automated Reasoning with Flyspeck