|
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 |
|
|
|
Titel: |
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 |
Auteur: |
Matsuzaki, Takuya Iwane, Hidenao Kobayashi, Munehiro Zhan, Yiyang Fukasaku, Ryoya Kudo, Jumma Anai, Hirokazu Arai, Noriko H. Fontaine, Pascal Kaliszyk, Cezary Schulz, Stephan Urban, Josef |
Verschenen in: |
AI communications |
Paginering: |
Jaargang 31 (2018) nr. 3 pagina's 251-266 |
Jaar: |
2018-05-17 |
Inhoud: |
|
Uitgever: |
IOS Press, Amsterdam |
Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
|
|
|
|