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

@article{Matsuzaki2018CanAA,
  title={Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems},
  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},
  journal={AI Commun.},
  year={2018},
  volume={31},
  pages={251-266}
}