TY  - RPRT
TI  - DeepMath - Deep Sequence Models for Premise Selection
AU  - Alex A. Alemi
AU  - Francois Chollet
AU  - Niklas Een
AU  - Geoffrey Irving
AU  - Christian Szegedy
AU  - Josef Urban
PY  - 2017
UR  - https://arxiv.org/abs/1606.04442
ID  - 1606.04442
ER  -