TacticToe: Learning to Prove with Tactics. - Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef; Kumar, Ramana; Norrish, Michael (Journal of Automated Reasoning, 2021)