Thibault Gauthier

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 25

Top Topics

Automated Reasoning

Top Venues

FM4M/MathUI/ThEdu/DP/WIP@CIKM

Publications

Thibault Gauthier, Chad E. Brown
A Formal Proof of R(4, 5)=25. CoRR (2024)
Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
Learning Guided Automated Reasoning: A Brief Survey. Logics and Type Systems in Theory and Practice (2024)
Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
Learning Guided Automated Reasoning: A Brief Survey. CoRR (2024)
Thibault Gauthier, Miroslav Olsák, Josef Urban
Alien coding. Int. J. Approx. Reason. 162 (2023)
Thibault Gauthier, Miroslav Olsák, Josef Urban
Alien Coding. CoRR (2023)
Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban
A Mathematical Benchmark for Inductive Theorem Provers. LPAR (2023)
Thibault Gauthier, Josef Urban
Learning Program Synthesis for Integer Sequences from Scratch. AAAI (2023)
Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban
A Mathematical Benchmark for Inductive Theorem Provers. CoRR (2023)
Thibault Gauthier
Program Synthesis for the OEIS. CoRR (2022)
Chad E. Brown, Cezary Kaliszyk, Thibault Gauthier, Josef Urban
Proofgold: Blockchain for Formal Methods. FMBC@CAV (2022)
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
TacticToe: Learning to Prove with Tactics. J. Autom. Reason. 65 (2) (2021)
Thibault Gauthier
Learned Provability Likelihood for Tactical Search. SCSS (2021)
Thibault Gauthier
Tree Neural Networks in HOL4. CoRR (2020)
Thibault Gauthier
Tree Neural Networks in HOL4. CICM (2020)
Thibault Gauthier
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic. LPAR (2020)
Thibault Gauthier, Cezary Kaliszyk
Aligning concepts across proof assistant libraries. J. Symb. Comput. 90 (2019)
Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
GRUNGE: A Grand Unified ATP Challenge. CoRR (2019)
Chad E. Brown, Thibault Gauthier
Self-Learned Formula Synthesis in Set Theory. CoRR (2019)
Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
GRUNGE: A Grand Unified ATP Challenge. CADE (2019)
Thibault Gauthier
Deep Reinforcement Learning in HOL4. CoRR (2019)
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Learning to Prove with Tactics. CoRR (2018)
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Learning to Reason with HOL4 tactics. CoRR (2018)
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
TacticToe: Learning to Reason with HOL4 Tactics. LPAR (2017)
Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe
Classification of Alignments Between Concepts of Formal Mathematical Systems. CICM (2017)
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Initial Experiments with Statistical Conjecturing over Large Formal Corpora. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Thibault Gauthier, Cezary Kaliszyk
Premise Selection and External Provers for HOL4. CPP (2015)
Thibault Gauthier, Cezary Kaliszyk
Premise Selection and External Provers for HOL4. CoRR (2015)
Thibault Gauthier, Cezary Kaliszyk
Sharing HOL4 and HOL Light proof knowledge. CoRR (2015)
Thibault Gauthier, Cezary Kaliszyk
Sharing HOL4 and HOL Light Proof Knowledge. LPAR (2015)
Thibault Gauthier, Cezary Kaliszyk
Matching Concepts across HOL Libraries. CICM (2014)
Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish
Beagle as a HOL4 external ATP method. PAAR@IJCAR (2014)
Thibault Gauthier, Cezary Kaliszyk
Matching concepts across HOL libraries. CoRR (2014)