Login / Signup

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

Takuya MatsuzakiHidenao IwaneMunehiro KobayashiYiyang ZhanRyoya FukasakuJumma KudoHirokazu AnaiNoriko H. Arai
Published in: IJCAR (2016)
Keyphrases
  • problems involving
  • difficult problems
  • learning algorithm
  • e learning
  • np complete
  • multiscale
  • data structure
  • databases
  • machine learning
  • social networks
  • decision trees
  • case study
  • decision problems