Scholar

Jonathan Thomm

Google Scholar ID: qaCL6NgAAAAJ

ETH

Machine Learning

Google Scholar↗

Citations & Impact

All-time

Citations

39

H-index

3

i10-index

2

Publications

6

Co-authors

0

Contact

No contact links provided.

Publications

1 items

Aristotle: IMO-level Automated Theorem Proving

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)