Edit Profile (opens in new tab) Gauthier, Thibault Compute Distance To: Compute Author ID: gauthier.thibault Published as: Gauthier, Thibault; Gauthier, T. Documents Indexed: 9 Publications since 2011 Co-Authors: 11 Co-Authors with 8 Joint Publications 289 Co-Co-Authors all top 5 Co-Authors 1 single-authored 7 Kaliszyk, Cezary 3 Urban, Josef 1 Brown, Chad Edward 1 Chaplin, R. 1 Kohlhase, Michael 1 Kumar, Ramana 1 Leopold, Friedrich 1 Müller, Dennis 1 Norrish, Michael 1 Rabe, Florian 1 Sutcliffe, Geoff Serials 1 Computers and Fluids 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning Fields 8 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 43 times in 29 Documents Cited by ▼ Year ▼ Matching concepts across HOL libraries. Zbl 1304.68154Gauthier, Thibault; Kaliszyk, Cezary 8 2014 TacticToe: learning to reason with HOL4 tactics. Zbl 1403.68224Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef 7 2017 TacticToe: learning to prove with tactics. Zbl 07356973Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef; Kumar, Ramana; Norrish, Michael 6 2021 GRUNGE: a grand unified ATP challenge. Zbl 07178973Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef 6 2019 Aligning concepts across proof assistant libraries. Zbl 1395.68247Gauthier, Thibault; Kaliszyk, Cezary 5 2019 Sharing HOL4 and HOL Light proof knowledge. Zbl 1471.68309Gauthier, Thibault; Kaliszyk, Cezary 5 2015 Classification of alignments between concepts of formal mathematical systems. Zbl 1367.68309Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian 4 2017 Tree neural networks in HOL4. Zbl 1455.68247Gauthier, Thibault 1 2020 Computational and experimental investigation into aerodynamic interference between slender bodies in supersonic flow. Zbl 1271.76152Chaplin, R.; MacManus, D.; Leopold, F.; Martinez, B.; Gauthier, T.; Birch, T. 1 2011 TacticToe: learning to prove with tactics. Zbl 07356973Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef; Kumar, Ramana; Norrish, Michael 6 2021 Tree neural networks in HOL4. Zbl 1455.68247Gauthier, Thibault 1 2020 GRUNGE: a grand unified ATP challenge. Zbl 07178973Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef 6 2019 Aligning concepts across proof assistant libraries. Zbl 1395.68247Gauthier, Thibault; Kaliszyk, Cezary 5 2019 TacticToe: learning to reason with HOL4 tactics. Zbl 1403.68224Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef 7 2017 Classification of alignments between concepts of formal mathematical systems. Zbl 1367.68309Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian 4 2017 Sharing HOL4 and HOL Light proof knowledge. Zbl 1471.68309Gauthier, Thibault; Kaliszyk, Cezary 5 2015 Matching concepts across HOL libraries. Zbl 1304.68154Gauthier, Thibault; Kaliszyk, Cezary 8 2014 Computational and experimental investigation into aerodynamic interference between slender bodies in supersonic flow. Zbl 1271.76152Chaplin, R.; MacManus, D.; Leopold, F.; Martinez, B.; Gauthier, T.; Birch, T. 1 2011 all cited Publications top 5 cited Publications all top 5 Cited by 59 Authors 9 Kaliszyk, Cezary 8 Urban, Josef 4 Gauthier, Thibault 4 Olšák, Miroslav 3 Rabe, Florian 3 Sutcliffe, Geoff 2 Benzmüller, Christoph Ewald 2 Brown, Chad Edward 2 Chvalovský, Karel 2 Guidi, Ferruccio 2 Jakubův, Jan 2 Kohlhase, Michael 2 Pąk, Karol 2 Piotrowski, Bartosz 2 Reger, Giles 2 Sacerdoti Coen, Claudio 1 Aspinall, David 1 Autexier, Serge 1 Bancerek, Grzegorz 1 Bhayat, Ahmed 1 Blaauwbroek, Lasse 1 Byliński, Czesław 1 Černỳ, Prokop 1 Pinho de Sousa, Jorge 1 Grabowski, Adam 1 He, Xingxing 1 Heskes, Tom M. 1 Hutter, Dieter 1 Itzhaky, Shachar 1 Janota, Mikoláš 1 Korniłowicz, Artur 1 Kumar, Ramana 1 Li, Yingfang 1 Liu, Jun 1 Macke, Jaroslav 1 Matuszewski, Roman 1 Müller, Dennis 1 Naumowicz, Adam 1 Norrish, Michael 1 Paniagua, Guillermo 1 Parent, Xavier 1 Peleg, Hila 1 Piepenbrock, Jelle 1 Polikarpova, Nadia 1 Rabe, Markus N. 1 Rawson, Michael 1 Rowe, Reuben N. S. 1 Saavedra, Jorge 1 Sedlář, Jiří 1 Sergey, Ilya 1 Sivic, Josef 1 Steen, Alexander 1 Suda, Martin 1 Szegedy, Christian 1 van der Torre, Leendert W. N. 1 Wang, Qingxiang 1 Xu, Yang 1 Zhang, Liao 1 Zombori, Zsolt all top 5 Cited in 7 Serials 4 Journal of Automated Reasoning 2 AI Communications 1 Artificial Intelligence 1 Computers and Fluids 1 Journal of Symbolic Computation 1 Soft Computing 1 Mathematics in Computer Science Cited in 3 Fields 27 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Fluid mechanics (76-XX) Citations by Year