"DeepMath - Deep Sequence Models for Premise Selection."

Alexander A. Alemi et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics