Achim, T.; Best, A.; Bietti, A.; Der, K.; Fédérico, M.; Gukov, S.; Halpern-Leistner, D.; Henningsgard, K.; Kudryashov, Y.; Meiburg, A. Aristotle: IMO-Level Automated Theorem Proving. SI 2026, 3.