Thibault Gauthier

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