T. Gauthier

Available identifiers

zbMath Open gauthier.thibaultMaRDI QIDQ1640641

List of research outcomes

Publication	Date of Publication	Type
Alien coding	2023-11-16	Paper
TacticToe: learning to prove with tactics	2021-06-09	Paper
Tree neural networks in HOL4	2021-01-20	Paper
GRUNGE: a grand unified ATP challenge	2020-03-10	Paper
TacticToe: learning to reason with HOL4 tactics	2019-01-10	Paper
Aligning concepts across proof assistant libraries	2018-06-14	Paper
Classification of alignments between concepts of formal mathematical systems	2017-07-21	Paper
Sharing HOL4 and HOL Light proof knowledge	2016-01-12	Paper
Matching concepts across HOL libraries	2014-08-07	Paper
Computational and experimental investigation into aerodynamic interference between slender bodies in supersonic flow	2013-09-04	Paper
A Formal Proof of R(4,5)=25	N/A	Paper

Research outcomes over time

This page was built for person: T. Gauthier