Papers

Peer-reviewed International journal
2018

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

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

Volume
31
Number
3
First page
251
Last page
266
Language
Publishing type
Research paper (scientific journal)
DOI
10.3233/AIC-180762

Link information
DOI
https://doi.org/10.3233/AIC-180762
Research Projects
Can an AI Get Into the University of Tokyo?
URL
http://dblp.uni-trier.de/db/journals/aicom/aicom31.html#journals/aicom/MatsuzakiIKZFKA18