@inproceedings{NIPS2016_f197002b, author = {Irving, Geoffrey and Szegedy, Christian and Alemi, Alexander A and Een, Niklas and Chollet, Francois and Urban, Josef}, booktitle = {Advances in Neural Information Processing Systems}, editor = {D. Lee and M. Sugiyama and U. Luxburg and I. Guyon and R. Garnett}, pages = {}, publisher = {Curran Associates, Inc.}, title = {DeepMath - Deep Sequence Models for Premise Selection}, url = {https://proceedings.neurips.cc/paper_files/paper/2016/file/f197002b9a0853eca5e046d9ca4663d5-Paper.pdf}, volume = {29}, year = {2016} }