1. Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., Urban, J.: Premise selection for mathematics by corpus analysis and kernel methods. J. Autom. Reason. 52(2), 191–213 (2013).
https://doi.org/10.1007/s10817-013-9286-5
2. Andrews, P.B.: On connections and higher-order logic. J. Autom. Reason. 5(3), 257–291 (1989)
3. Anthony, T., Tian, Z., Barber, D.: Thinking fast and slow with deep learning and tree search. arXiv preprint
arXiv:1705.08439
(2017)
4. Bansal, K., Loos, S.M., Rabe, M.N., Szegedy, C., Wilcox, S.: HOList: an environment for machine learning of higher-order theorem proving (extended version). arXiv preprint
arXiv:1904.03241
(2019)
5. Beckert, B., Posegga, J.: Leantap: lean tableau-based deduction. J. Autom. Reason. 15, 339–358 (1995)