HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Thibault Gauthier

Publications
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, automated reasoning, automated theorem proving, Beagle, combinators, Diophantine equations, higher-order logic, HOL, HOL4, machine learning, proof automation, Reinforcement Learning, tree neural networks.

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