DeepMath - Deep Sequence Models for Premise Selection

Irving, G, Szegedy, C, Alemi, A, Een, N, Chollet, F, Urban, J.

IRVING, G, et al. DeepMath - Deep Sequence Models for Premise Selection. In: Advances in Neural Information Processing Systems 2016. NIPS 2016, Barcelona, 2016-12-05/2016-12-10. Neural Information Processing Systems Foundation, Inc., 2016. p. 2243-2251. ISSN 1049-5258.