@article{aristotleimolevelautomatedtheoremproving,
  title = {Aristotle: IMO-level Automated Theorem Proving},
  author = {Tudor Achim and Alex Best and Alberto Bietti and Kevin Der and Mathïs Fédérico and Sergei Gukov and Daniel Halpern-Leistner and Kirsten Henningsgard and Yury Kudryashov and Alexander Meiburg and Martin Michelsen and Riley Patterson and Eric Rodriguez and Laura Scharff and Vikram Shanker and Vladmir Sicca and Hari Sowrirajan and Aidan Swope and Matyas Tamas and Vlad Tenev and Jonathan Thomm and Harold Williams and Lawrence Wu},
  year = {2025},
  eprint = {2510.01346},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.01346},
}