Collaborated with:
T.Matsuzaki H.Iwane M.Kobayashi 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: Yiyang Zhan
DBLP: Zhan:Yiyang
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.