Author:Thibault Gauthier

Publications
A Mathematical Benchmark for Inductive Theorem Provers Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
TacticToe: Learning to Reason with HOL4 Tactics Thibault Gauthier, Cezary Kaliszyk and Josef Urban In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Beagle as a HOL4 external ATP method Thibault Gauthier, Cezary Kaliszyk, Chantal Keller and Michael Norrish In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning

Keyphrases

A* 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.