Thibault Gauthier

Orcid: 0000-0002-7348-0602

Affiliations:
  • Czech Technical University in Prague, Czech Republic


According to our database1, Thibault Gauthier authored at least 22 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

A Mathematical Benchmark for Inductive Theorem Provers.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Learning Program Synthesis for Integer Sequences from Scratch.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Program Synthesis for the OEIS.
CoRR, 2022

Proofgold: Blockchain for Formal Methods.
Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022

2021
TacticToe: Learning to Prove with Tactics.
J. Autom. Reason., 2021

Learned Provability Likelihood for Tactical Search.
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

2020
Tree Neural Networks in HOL4.
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

2019
Aligning concepts across proof assistant libraries.
J. Symb. Comput., 2019

Self-Learned Formula Synthesis in Set Theory.
CoRR, 2019

Deep Reinforcement Learning in HOL4.
CoRR, 2019

GRUNGE: A Grand Unified ATP Challenge.
Proceedings of the Automated Deduction - CADE 27, 2019

2018
Learning to Prove with Tactics.
CoRR, 2018

Learning to Reason with HOL4 tactics.
CoRR, 2018

2017
Classification of Alignments Between Concepts of Formal Mathematical Systems.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

TacticToe: Learning to Reason with HOL4 Tactics.
Proceedings of the LPAR-21, 2017

2016
Initial Experiments with Statistical Conjecturing over Large Formal Corpora.
Proceedings of the Joint Proceedings of the FM4M, 2016

2015
Sharing HOL4 and HOL Light Proof Knowledge.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Premise Selection and External Provers for HOL4.
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014
Matching Concepts across HOL Libraries.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Beagle as a HOL4 external ATP method.
Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014


  Loading...