TacticToe: Learning to Reason with HOL4 Tactics
Gauthier, T., Kaliszyk, C., Urban, J.
GAUTHIER, T., C. KALISZYK, and J. URBAN. TacticToe: Learning to Reason with HOL4 Tactics. In: EITER, T. and D. SANDS, eds. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Maun, 2017-05-07/2017-05-12. Manchester: EasyChair Publications, 2017. p. 125-143. EPiC Series in Computing. vol. 46. ISSN 2398-7340.