Achim T, Best A, Bietti A, Der K, Fédérico M, Gukov S, et al. Aristotle: IMO-level Automated Theorem Proving. SI [Internet]. 2026 Sep. 25 [cited 2026 Sep. 27];3(3). Available from: https://s-rsa.com/index.php/agi/article/view/18745