Achim, T., Best, A., Bietti, A., Der, K., Fédérico, M., Gukov, S., . . . Wu, L. (2025). Aristotle: IMO-level Automated Theorem Proving.
Chicago-Zitierstil (17. Ausg.)Achim, Tudor, et al. Aristotle: IMO-level Automated Theorem Proving. 2025.
MLA-Zitierstil (9. Ausg.)Achim, Tudor, et al. Aristotle: IMO-level Automated Theorem Proving. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.