Thibault Gauthier

According to our database, Thibault Gauthier authored at least 24 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Formal Proof of R(4, 5)=25.

Thibault Gauthier, Chad E. Brown

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Learning Guided Automated Reasoning: A Brief Survey.

Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

Alien coding.

Thibault Gauthier, Miroslav Olsák, Josef Urban

Int. J. Approx. Reason., November, 2023

A Mathematical Benchmark for Inductive Theorem Provers.

Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Learning Program Synthesis for Integer Sequences from Scratch.

Thibault Gauthier, Josef Urban

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Program Synthesis for the OEIS.

Thibault Gauthier

CoRR, 2022

Proofgold: Blockchain for Formal Methods.

Chad E. Brown, Cezary Kaliszyk, Thibault Gauthier, Josef Urban

Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022

2021

TacticToe: Learning to Prove with Tactics.

Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish

J. Autom. Reason., 2021

Learned Provability Likelihood for Tactical Search.

Thibault Gauthier

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

2020

Tree Neural Networks in HOL4.

Thibault Gauthier

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic.

Thibault Gauthier

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

2019

Aligning concepts across proof assistant libraries.

Thibault Gauthier, Cezary Kaliszyk

J. Symb. Comput., 2019

Self-Learned Formula Synthesis in Set Theory.

Chad E. Brown, Thibault Gauthier

CoRR, 2019

Deep Reinforcement Learning in HOL4.

Thibault Gauthier

CoRR, 2019

GRUNGE: A Grand Unified ATP Challenge.

Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Learning to Prove with Tactics.

Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish

CoRR, 2018

Learning to Reason with HOL4 tactics.

Thibault Gauthier, Cezary Kaliszyk, Josef Urban

CoRR, 2018

2017

Classification of Alignments Between Concepts of Formal Mathematical Systems.

Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

TacticToe: Learning to Reason with HOL4 Tactics.

Thibault Gauthier, Cezary Kaliszyk, Josef Urban

Proceedings of the LPAR-21, 2017

2016

Initial Experiments with Statistical Conjecturing over Large Formal Corpora.

Thibault Gauthier, Cezary Kaliszyk, Josef Urban

Proceedings of the Joint Proceedings of the FM4M, 2016

2015

Sharing HOL4 and HOL Light Proof Knowledge.

Thibault Gauthier, Cezary Kaliszyk

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Premise Selection and External Provers for HOL4.

Thibault Gauthier, Cezary Kaliszyk

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

Matching Concepts across HOL Libraries.

Thibault Gauthier, Cezary Kaliszyk

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Beagle as a HOL4 external ATP method.

Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014