TacticToe: Learning to Prove with Tactics
Thibault Gauthier,Cezary Kaliszyk,Josef Urban,Ramana Kumar,Michael NorrishJournal of Automated Reasoning 65, pp. 257 - 286, 2021.
Abstract
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},
}
Open Access