1. Bansal, K., Loos, S.M., Rabe, M.N., Szegedy, C., Wilcox, S.: HOList: an environment for machine learning of higher order logic theorem proving. In: Proceedings of the 36th International Conference on Machine Learning, ICML 2019, Long Beach, California, USA (2019). http://proceedings.mlr.press/v97/bansal19a.html
2. Lecture Notes in Computer Science;JC Blanchette,2015
3. Breiman, L., Friedman, J.H., Olshen, R.A., Stone, C.J.: Classification and Regression Trees. Wadsworth (1984)
4. Gauthier, T., Kaliszyk, C., Urban, J.: TacticToe: learning to reason with HOL4 tactics. In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana (2017). http://www.easychair.org/publications/paper/340355
5. Lecture Notes in Computer Science;T Gransden,2015