Todai Robot Project Pre-University Math Benchmark Data
收藏数据链接：
官方服务：
资源简介：
The dataset used in the experiments described in Matsuzaki et al., "Can an A.I. Win a Medal in the Math<br> Olympiad? -- Benchmarking Mechanized Math on Pre-university Problems" (to appear)
提供机构：
Nagoya University创建时间：
2017-06-21
