Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2510.01346
Cited By
v1
v2 (latest)
Aristotle: IMO-level Automated Theorem Proving
1 October 2025
Tudor Achim
Alex Best
Kevin Der
Mathïs Fédérico
Sergei Gukov
Daniel Halpern-Leister
Kirsten Henningsgard
Yury Kudryashov
Alexander Meiburg
Martin Michelsen
Riley Patterson
Eric Rodriguez
Laura Scharff
Vikram Shanker
Vikram Shanker
Vladmir Sicca
Hari Sowrirajan
Aidan Swope
Matyas Tamas
Vlad Tenev
Jonathan Thomm
Harold Williams
Lawrence Wu
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
HuggingFace (16 upvotes)
Github (49★)
Papers citing
"Aristotle: IMO-level Automated Theorem Proving"
0 / 0 papers shown
Title
No papers found
