Thibault Gauthier

Thibault Gauthier has 2 papers in our library, in 2018–2019, most of them on Reasoning; often with Cezary Kaliszyk, Josef Urban, Michael Norrish.

2 papers in our library · 2018–2019

The profile is the library's match of the name; two people with one name are not always told apart.

Affiliations

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine.

Of its works in our library, with the number of works on each.

The most cited first (OpenAlex and our library).

TacticToe: Learning to Prove with Tactics (2018 · 57 citations)
In interactive theorem provers such as HOL4, users build proofs by applying tactics, high-level steps that transform a goal into simpler subgoals.
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic (2019 · 15 citations)
The paper explores whether theorem-proving-style search can be guided by neural networks that teach themselves, rather than by hand-crafted heuristics.

4 co-authors with a page, the most papers together first.

Where their works here were published, the most works first, with the editions of those that have a page.

Papers of our library cite their works 17 times (of the 149,439 papers whose bibliographies we read); 12 citing papers with a page here →.

Updated 3 November 2026