Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. - Takuya Matsuzaki; Hidenao Iwane; Munehiro Kobayashi; Yiyang Zhan; Ryoya Fukasaku; Jumma Kudo; Hirokazu Anai; Noriko H. Arai (IJCAR, 2016)

Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. - Takuya Matsuzaki; Hidenao Iwane; Munehiro Kobayashi; Yiyang Zhan; Ryoya Fukasaku; Jumma Kudo; Hirokazu Anai; Noriko H. Arai (AI Commun., 2018)