Scholar
Thibault Gauthier
Google Scholar ID: Z_MtZ6kAAAAJ
Czech Technical University in Prague
Machine Learning for Interactive Theorem Proving
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
394
H-index
11
i10-index
11
Publications
20
Co-authors
0
Publications
1 items
Learning Conjecturing from Scratch
2025
Cited
0
