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

Browse the full CADE paper archive.