Papers

Peer-reviewed Open access International journal
2016

Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems.

Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)
  • Takuya Matsuzaki
  • ,
  • Hidenao Iwane
  • ,
  • Munehiro Kobayashi
  • ,
  • Yiyang Zhan
  • ,
  • Ryoya Fukasaku
  • ,
  • Jumma Kudo
  • ,
  • Hirokazu Anai
  • ,
  • Noriko H. Arai

Authorship
Last author
First page
213
Last page
227
Language
English
Publishing type
Research paper (international conference proceedings)
DOI
10.1007/978-3-319-40229-1_15

CORE A*

Link information
DOI
https://doi.org/10.1007/978-3-319-40229-1_15
Research Projects
Can an AI Get Into the University of Tokyo?
Dblp Cross Ref
https://dblp.uni-trier.de/conf/cade/2016
Dblp Url
https://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#MatsuzakiIKZFKA16
URL
http://link.springer.com/chapter/10.1007/978-3-319-40229-1_15