Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems
IJCAR, 2016.
@inproceedings{IJCAR-2016-MatsuzakiIKZFKA,
author = "Takuya Matsuzaki and Hidenao Iwane and Munehiro Kobayashi and Yiyang Zhan and Ryoya Fukasaku and Jumma Kudo and Hirokazu Anai and Noriko H. Arai",
booktitle = "{Proceedings of the Eighth International Joint Conference on Automated Reasoning}",
doi = "10.1007/978-3-319-40229-1_15",
isbn = "978-3-319-40228-4",
pages = "213--227",
publisher = "{Springer}",
title = "{Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems}",
year = 2016,
}