Author:Thibault Gauthier
KeyphrasesA* proof search, automated reasoning, automated theorem proving, Beagle, combinators, Diophantine equations, higher-order logic, HOL, HOL4, machine learning, proof automation, Reinforcement Learning, tree neural networks. |