T. Achim, “Aristotle: IMO-level Automated Theorem Proving”, SI, vol. 3, no. 3, Sep. 2026.