Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems

Open Webpage

Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai

Published: 2018, Last Modified: 27 Jan 2026AI Commun. 2018EveryoneRevisionsBibTeXCC BY-SA 4.0