ask others

Thibault Gauthier

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/GauthierK19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/GauthierK19
Thibault Gauthier, Cezary Kaliszyk:
Aligning concepts across proof assistant libraries. J. Symb. Comput. 90: 89-123 (2019)
2018
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1804-00595
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1804-00595
Thibault Gauthier, Cezary Kaliszyk, Josef Urban:
Learning to Reason with HOL4 tactics. CoRR abs/1804.00595 (2018)
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1804-00596
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1804-00596
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish:
Learning to Prove with Tactics. CoRR abs/1804.00596 (2018)
2017
[c7]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/lpar/GauthierKU17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/GauthierKU17
Thibault Gauthier, Cezary Kaliszyk, Josef Urban:
TacticToe: Learning to Reason with HOL4 Tactics. LPAR 2017: 125-143
[c6]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/mkm/MullerGKKR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mkm/MullerGKKR17
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]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cikm/GauthierKU16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cikm/GauthierKU16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cpp/GauthierK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpp/GauthierK15
Thibault Gauthier, Cezary Kaliszyk:
Premise Selection and External Provers for HOL4. CPP 2015: 49-57
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/GauthierK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/GauthierK15
Thibault Gauthier, Cezary Kaliszyk:
Sharing HOL4 and HOL Light Proof Knowledge. LPAR 2015: 372-386
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GauthierK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/GauthierK15
Thibault Gauthier, Cezary Kaliszyk:
Sharing HOL4 and HOL Light proof knowledge. CoRR abs/1509.03527 (2015)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GauthierK15a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/GauthierK15a
Thibault Gauthier, Cezary Kaliszyk:
Premise Selection and External Provers for HOL4. CoRR abs/1509.03534 (2015)
2014
[c2]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/cade/GauthierKKN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/GauthierKKN14
Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish:
Beagle as a HOL4 external ATP method. PAAR@IJCAR 2014: 50-59
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mkm/GauthierK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mkm/GauthierK14
Thibault Gauthier, Cezary Kaliszyk:
Matching Concepts across HOL Libraries. CICM 2014: 267-281
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GauthierK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/GauthierK14
Thibault Gauthier, Cezary Kaliszyk:
Matching concepts across HOL libraries. CoRR abs/1405.3906 (2014)

Coauthor Index

see FAQ

maintained by

, founded at