Login / Signup

Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems.

Takuya MatsuzakiHidenao IwaneMunehiro KobayashiYiyang ZhanRyoya FukasakuJumma KudoHirokazu AnaiNoriko H. Arai
Published in: AI Commun. (2018)
Keyphrases
  • optimization problems
  • data sets
  • genetic algorithm
  • information systems
  • application domains
  • databases
  • neural network
  • data mining
  • information retrieval
  • learning environment
  • linear programming
  • mathematical knowledge