Collaborated with:
H.Iwane M.Kobayashi Y.Zhan R.Fukasaku J.Kudo H.Anai N.H.Arai
Talks about:
benchmark (1) univers (1) problem (1) against (1) mechan (1) teen (1) race (1) math (1) pre (1)
Person: Takuya Matsuzaki
DBLP: Matsuzaki:Takuya
Contributed to:
Wrote 1 papers:
- IJCAR-2016-MatsuzakiIKZFKA #benchmark #metric #problem
- Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems (TM, HI, MK, YZ, RF, JK, HA, NHA), pp. 213–227.