Towards Automatic Mathematical Exercise Solving
Tianyu Zhao, Chengliang Chai, Yuyu Luo, Jianhua Feng, Yan Mei Huang, Songfan Yang, Haitao Yuan, Haoda Li, Kaiyu Li, Fu Zhen Zhu, Kang Pan · Data Science and Engineering · 2019
Knowledge graphs are widely applied in many applications. Automatically solving mathematical exercises is also an interesting task which can be enhanced by knowledge reasoning. In this paper, we design MathGraph, a knowledge graph aiming to solve high school mathematical exercises. Since it requires fine-grained mathematical derivation and calculation of different mathematical objects, we design a crowdsourcing-based method to help build MathGraph. MathGraph supports massive kinds of mathematical objects, operations and constraints which may be involved in exercises. Furthermore, we propose an algorithm to align a semantically parsed exercise to MathGraph and figure out the answer automatically. Extensive experiments on real-world datasets verify the effectiveness of MathGraph.