Thibault Gauthier,Cezary Kaliszyk,Josef Urban,Ramana Kumar,Michael Norrish
Journal of Automated Reasoning 65, pp. 257 - 286, 2021.
pdf 
doi:10.1007/s10817-020-09580-x
BibTex
@article{tgckjurkmn-jar21, author = {Thibault Gauthier and Cezary Kaliszyk and Josef Urban and Ramana Kumar and Michael Norrish}, title = {{TacticToe}: {L}earning to Prove with Tactics}, journal = {J. Autom. Reason.}, volume = {65}, number = {2}, pages = {257--286}, year = {2021}, url = {https://doi.org/10.1007/s10817-020-09580-x}, doi = {10.1007/s10817-020-09580-x},}