HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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.

Copyright © 2012-2025 easychair.org. All rights reserved.