T. Gauthier

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formal proof of R(4,5)=25	2026-02-10	Paper
Learning conjecturing from scratch	2026-01-21	Paper
Alien coding International Journal of Approximate Reasoning	2023-11-16	Paper
TacticToe: learning to prove with tactics Journal of Automated Reasoning	2021-06-09	Paper
Tree neural networks in HOL4 (available as arXiv preprint)	2021-01-20	Paper
GRUNGE: a grand unified ATP challenge (available as arXiv preprint)	2020-03-10	Paper
TacticToe: learning to reason with HOL4 tactics EPiC Series in Computing	2019-01-10	Paper
Aligning concepts across proof assistant libraries Journal of Symbolic Computation	2018-06-14	Paper
Classification of alignments between concepts of formal mathematical systems	2017-07-21	Paper
Sharing HOL4 and HOL Light proof knowledge Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
Matching concepts across HOL libraries Lecture Notes in Computer Science	2014-08-07	Paper
Computational and experimental investigation into aerodynamic interference between slender bodies in supersonic flow Computers and Fluids	2013-09-04	Paper
Computational and experimental investigation into aerodynamic interference between slender bodies in supersonic flow Computers and Fluids	2013-09-04	Paper
A Formal Proof of R(4,5)=25 (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: T. Gauthier