Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1.
Saved in:
| Title: | Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1. |
|---|---|
| Authors: | Matsuzaki, Takuya1, matuzaki@nuee.nagoya-u.ac.jp, Iwane, Hidenao2, iwane@jp.fujitsu.com, Kobayashi, Munehiro3, munehiro-k@math.tsukuba.ac.jp, Zhan, Yiyang4, pon.zhan@gmail.com, Fukasaku, Ryoya5, ryoya.0323@gmail.com, Kudo, Jumma5, Anai, Hirokazu2, Arai, Noriko H.6, arai@nii.ac.jp, Fontaine, Kaliszyk, Schulz, Urban |
| Source: | AI Communications; 2018, Vol. 31 Issue 3, p251-266, 16p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 09217126 |
|---|---|
| DOI: | 10.3233/AIC-180762 |
