Login / Signup
Jumma Kudo
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 2
Top Topics
Multiscale
Difficult Problems
Mathematical Knowledge
Application Domains
Top Venues
AI Commun.
IJCAR
</>
Publications
</>
Takuya Matsuzaki
,
Hidenao Iwane
,
Munehiro Kobayashi
,
Yiyang Zhan
,
Ryoya Fukasaku
,
Jumma Kudo
,
Hirokazu Anai
,
Noriko H. Arai
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems.
AI Commun.
31 (3) (2018)
Takuya Matsuzaki
,
Hidenao Iwane
,
Munehiro Kobayashi
,
Yiyang Zhan
,
Ryoya Fukasaku
,
Jumma Kudo
,
Hirokazu Anai
,
Noriko H. Arai
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems.
IJCAR
(2016)