Scholar
Jonathan Thomm
Google Scholar ID: qaCL6NgAAAAJ
ETH
Machine Learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
39
H-index
3
i10-index
2
Publications
6
Co-authors
0
Publications
1 items
Aristotle: IMO-level Automated Theorem Proving
2025
Cited
0
