Thibault Gauthier
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [j1]Thibault Gauthier, Cezary Kaliszyk:
Aligning concepts across proof assistant libraries. J. Symb. Comput. 90: 89-123 (2019) - 2018
- [i5]Thibault Gauthier, Cezary Kaliszyk, Josef Urban:
Learning to Reason with HOL4 tactics. CoRR abs/1804.00595 (2018) - [i4]Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish:
Learning to Prove with Tactics. CoRR abs/1804.00596 (2018) - 2017
- [c7]Thibault Gauthier, Cezary Kaliszyk, Josef Urban:
TacticToe: Learning to Reason with HOL4 Tactics. LPAR 2017: 125-143 - [c6]Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe:
Classification of Alignments Between Concepts of Formal Mathematical Systems. CICM 2017: 83-98 - 2016
- [c5]Thibault Gauthier, Cezary Kaliszyk, Josef Urban:
Initial Experiments with Statistical Conjecturing over Large Formal Corpora. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 219-228 - 2015
- [c4]Thibault Gauthier, Cezary Kaliszyk:
Premise Selection and External Provers for HOL4. CPP 2015: 49-57 - [c3]
- [i3]Thibault Gauthier, Cezary Kaliszyk:
Sharing HOL4 and HOL Light proof knowledge. CoRR abs/1509.03527 (2015) - [i2]Thibault Gauthier, Cezary Kaliszyk:
Premise Selection and External Provers for HOL4. CoRR abs/1509.03534 (2015) - 2014
- [c2]Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish:
Beagle as a HOL4 external ATP method. PAAR@IJCAR 2014: 50-59 - [c1]
- [i1]Thibault Gauthier, Cezary Kaliszyk:
Matching concepts across HOL libraries. CoRR abs/1405.3906 (2014)
Coauthor Index
last updated on 2019-01-09 01:09 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint