1. Alemi AA, Chollet F, Een N, Irving G, Szegedy C, Urban J (2016) DeepMath – Deep sequence models for premise selection. In: Proceedings of the 30th international conference on neural information processing systems, NIPS’16. Curran Associates, Red Hook, pp 2243–2251
2. Avigad J (2008) Computers in mathematical inquiry. Oxford University Press, New York, Chap 11, pp 134–150
3. Avigad J (2015) Mathematics and language. In: Davis, E., Davis, P. (eds) Mathematics, Substance and Surmise. Springer, Cham
4. Bansal K, Loos SM, Rabe MN, Szegedy C, Wilcox S (2019) HOList: An environment for machine learning of higher-order theorem proving (extended version). CoRR abs/1904.03241, http://arxiv.org/abs/1904.03241
5. Belinkov Y, Glass J (2019) Analysis methods in neural language processing: a survey. Trans Assoc Comput Ling 7:49–72. https://direct.mit.edu/tacl/article-pdf/doi/10.1162/tacl_a_00254/1923061/tacl_a_00254.pdf