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},
}