1. Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., Urban, J.: Premise selection for mathematics by corpus analysis and kernel methods. J. Autom. Reasoning 52(2), 191–213 (2014)
2. Alemi, A.A., Chollet, F., Irving, G., Szegedy, C., Urban, J.: DeepMath-deep sequence models for premise selection. arXiv preprint arXiv:1606.04442 (2016)
3. Lecture Notes in Computer Science;D Aspinall,2016
4. Lecture Notes in Computer Science;S Autexier,2015
5. Cezary, K., Franois, C., Christian, S.: HolStep: machine learning dataset for higher-order logic theorem proving. ICLR (2016)