×
Author ID: gauthier.thibault Recent zbMATH articles by "Gauthier, Thibault"
Published as: Gauthier, Thibault; Gauthier, T.
Documents Indexed: 11 Publications since 2011, including 1 Additional arXiv Preprint
Co-Authors: 13 Co-Authors with 10 Joint Publications
330 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 60 times in 43 Documents Cited by Year
Matching concepts across HOL libraries. Zbl 1304.68154
Gauthier, Thibault; Kaliszyk, Cezary
12
2014
TacticToe: learning to reason with HOL4 tactics. Zbl 1403.68224
Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef
11
2017
TacticToe: learning to prove with tactics. Zbl 07356973
Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef; Kumar, Ramana; Norrish, Michael
9
2021
Aligning concepts across proof assistant libraries. Zbl 1395.68247
Gauthier, Thibault; Kaliszyk, Cezary
7
2019
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
7
2019
Sharing HOL4 and HOL Light proof knowledge. Zbl 1471.68309
Gauthier, Thibault; Kaliszyk, Cezary
6
2015
Classification of alignments between concepts of formal mathematical systems. Zbl 1367.68309
Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian
5
2017
Computational and experimental investigation into aerodynamic interference between slender bodies in supersonic flow. Zbl 1271.76152
Chaplin, R.; MacManus, D.; Leopold, F.; Martinez, B.; Gauthier, T.; Birch, T.
1
2011
Tree neural networks in HOL4. Zbl 1455.68247
Gauthier, Thibault
1
2020
Alien coding. Zbl 1531.68164
Gauthier, Thibault; Olšák, Miroslav; Urban, Josef
1
2023
Alien coding. Zbl 1531.68164
Gauthier, Thibault; Olšák, Miroslav; Urban, Josef
1
2023
TacticToe: learning to prove with tactics. Zbl 07356973
Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef; Kumar, Ramana; Norrish, Michael
9
2021
Tree neural networks in HOL4. Zbl 1455.68247
Gauthier, Thibault
1
2020
Aligning concepts across proof assistant libraries. Zbl 1395.68247
Gauthier, Thibault; Kaliszyk, Cezary
7
2019
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
7
2019
TacticToe: learning to reason with HOL4 tactics. Zbl 1403.68224
Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef
11
2017
Classification of alignments between concepts of formal mathematical systems. Zbl 1367.68309
Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian
5
2017
Sharing HOL4 and HOL Light proof knowledge. Zbl 1471.68309
Gauthier, Thibault; Kaliszyk, Cezary
6
2015
Matching concepts across HOL libraries. Zbl 1304.68154
Gauthier, Thibault; Kaliszyk, Cezary
12
2014
Computational and experimental investigation into aerodynamic interference between slender bodies in supersonic flow. Zbl 1271.76152
Chaplin, R.; MacManus, D.; Leopold, F.; Martinez, B.; Gauthier, T.; Birch, T.
1
2011
all top 5

Cited by 79 Authors

12 Kaliszyk, Cezary
11 Urban, Josef
5 Rabe, Florian
4 Gauthier, Thibault
4 Kohlhase, Michael
4 Olšák, Miroslav
4 Sutcliffe, Geoff
3 Jakubův, Jan
3 Pąk, Karol
2 Benzmüller, Christoph Ewald
2 Blaauwbroek, Lasse
2 Brown, Chad Edward
2 Chvalovský, Karel
2 Guidi, Ferruccio
2 Müller, Dennis
2 Owre, Sam
2 Piotrowski, Bartosz
2 Reger, Giles
2 Sacerdoti Coen, Claudio
2 Zhang, Liao
2 Zombori, Zsolt
1 Aspinall, David
1 Autexier, Serge
1 Bancerek, Grzegorz
1 Bhayat, Ahmed
1 Bibel, Wolfgang
1 Brattka, Vasco
1 Byliński, Czesław
1 Cauderlier, Raphaël
1 Černỳ, Prokop
1 Pinho de Sousa, Jorge
1 Desharnais, Martin
1 Dubois, Catherine
1 Fleuriot, Jacques D.
1 Fournier-Viger, Philippe
1 Grabowski, Adam
1 He, Xingxing
1 Heskes, Tom M.
1 Hitaj, Briland
1 Hutter, Dieter
1 Itzhaky, Shachar
1 Janota, Mikoláš
1 Jiang, Yaqing
1 Korniłowicz, Artur
1 Kumar, Ramana
1 Li, Yingfang
1 Liu, Jun
1 Macke, Jaroslav
1 Matuszewski, Roman
1 Nagashima, Yutaka
1 Naumowicz, Adam
1 Nawaz, Muhammad Saqib
1 Norrish, Michael
1 Paniagua, Guillermo
1 Papapanagiotou, Petros
1 Parent, Xavier
1 Peleg, Hila
1 Piepenbrock, Jelle
1 Polikarpova, Nadia
1 Quemener, Maena
1 Rabe, Markus N.
1 Rawson, Michael
1 Rowe, Reuben N. S.
1 Saavedra, Jorge
1 Sedlář, Jiří
1 Sergey, Ilya
1 Shankar, Natarajan
1 Sivic, Josef
1 Steen, Alexander
1 Suda, Martin
1 Sun, Meng
1 Szegedy, Christian
1 van der Torre, Leendert W. N.
1 Vyskočil, Jiří
1 Wang, Qingxiang
1 Wenzel, Makarius
1 Wernhard, Christoph
1 Xu, Yang
1 Yeh, Eric

Citations by Year