Achim, T., Best, A., Bietti, A., Der, K., Fédérico, M., Gukov, S., … Wu, L. (2026). Aristotle: IMO-level Automated Theorem Proving. SuperIntelligence - Robotics - Safety & Alignment, 3(3). https://doi.org/10.70777/si.v3i3.18745