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: | Mathematics Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 09217126 |
|---|---|
| DOI: | 10.3233/AIC-180762 |
