TacticToe: Learning to Prove with Tactics
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Topics & Concepts
Mathematical proofAutomated theorem provingGas meter proverComputer scienceProof assistantScheduleTheoretical computer scienceAlgorithmMathematicsGeometryOperating systemArtificial Intelligence in GamesLogic, programming, and type systemsSoftware Engineering Research