TY  - RPRT
TI  - Aristotle: IMO-level Automated Theorem Proving
AU  - Tudor Achim
AU  - Alex Best
AU  - Alberto Bietti
AU  - Kevin Der
AU  - Mathïs Fédérico
AU  - Sergei Gukov
AU  - Daniel Halpern-Leistner
AU  - Kirsten Henningsgard
AU  - Yury Kudryashov
AU  - Alexander Meiburg
AU  - Martin Michelsen
AU  - Riley Patterson
AU  - Eric Rodriguez
AU  - Laura Scharff
AU  - Vikram Shanker
AU  - Vladmir Sicca
AU  - Hari Sowrirajan
AU  - Aidan Swope
AU  - Matyas Tamas
AU  - Vlad Tenev
AU  - Jonathan Thomm
AU  - Harold Williams
AU  - Lawrence Wu
PY  - 2025
UR  - https://arxiv.org/abs/2510.01346
ID  - 2510.01346
ER  -