Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Eén, François Chollet, Josef Urban. DeepMath - Deep Sequence Models for Premise Selection. In Daniel D. Lee, Masashi Sugiyama, Ulrike V. Luxburg, Isabelle Guyon, Roman Garnett, editors, Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain. pages 2235-2243, 2016. [doi]
@inproceedings{IrvingSAECU16,
title = {DeepMath - Deep Sequence Models for Premise Selection},
author = {Geoffrey Irving and Christian Szegedy and Alexander A. Alemi and Niklas Eén and François Chollet and Josef Urban},
year = {2016},
url = {http://papers.nips.cc/paper/6280-deepmath-deep-sequence-models-for-premise-selection},
researchr = {https://researchr.org/publication/IrvingSAECU16},
cites = {0},
citedby = {0},
pages = {2235-2243},
booktitle = {Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain},
editor = {Daniel D. Lee and Masashi Sugiyama and Ulrike V. Luxburg and Isabelle Guyon and Roman Garnett},
}