Concepedia

Thibault Gauthier

TG

5

Publications

121

Citations

5

H-Index

2015

Active since

Affiliations

Universität Innsbruck(Current)

Thibault Gauthier is an author at Universität Innsbruck specializing in verification, automated reasoning, and computer science.

Top concepts

EngineeringVerificationComputer ScienceAutomated ReasoningBusinessStrategyData ScienceFormal MethodsFormal VerificationArtificial Intelligence

Publications per year

2015–2020

5

Publications

5

TacticToe: Learning to Prove with Tactics

Thibault Gauthier, Cezary Kaliszyk, Josef Urban et al. · Journal of Automated Reasoning · 2020 · 39 citations · Full text

Reward Hacking, Engineering, Automated Reasoning +7

Premise Selection and External Provers for HOL4

Thibault Gauthier, Cezary Kaliszyk · 2015 · 36 citations · Full text

Artificial Intelligence, Engineering, Premise Selection +17

Initial Experiments with Statistical Conjecturing over Large Formal Corpora.

Thibault Gauthier, Cezary Kaliszyk, Josef Urban · Conference on Information and Knowledge Management · 2016 · 20 citations

Applied Linguistics, Corpus Linguistics, Computational Linguistics +4

Aligning concepts across proof assistant libraries

Thibault Gauthier, Cezary Kaliszyk · Journal of Symbolic Computation · 2018 · 15 citations · Full text

Learning to Prove with Tactics

Thibault Gauthier, Cezary Kaliszyk, Josef Urban et al. · arXiv (Cornell University) · 2018 · 11 citations · Full text

Artificial Intelligence, Engineering, Game Theory +21

Rows per page

1–5 of 5