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