Thibault Gauthier
From MaRDI portal
Person:1640641
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 |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Thibault Gauthier
