AiFu at SemEval-2019 Task 10: A Symbolic and Sub-symbolic Integrated System for SAT Math Question Answering

AiFu has won the first place in the SemEval2019 Task [10] ”Math Question Answering”(Hopkins et al.) competition. This paper is to describe how it works technically and to report and analyze some essential experimental results.

[1]  Oren Etzioni,et al.  Solving Geometry Problems: Combining Text and Diagram Interpretation , 2015, EMNLP.

[2]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[3]  Luke S. Zettlemoyer,et al.  Learning to Automatically Solve Algebra Word Problems , 2014, ACL.

[4]  Oren Etzioni,et al.  Learning to Solve Arithmetic Word Problems with Verb Categorization , 2014, EMNLP.

[5]  Chitta Baral,et al.  Learning To Use Formulas To Solve Simple Arithmetic Problems , 2016, ACL.

[6]  Yi Zhou,et al.  From First-Order Logic to Assertional Logic , 2017, AGI.

[7]  Ronan Le Bras,et al.  Beyond Sentential Semantic Parsing: Tackling the Math SAT with a Cascade of Tree Transducers , 2017, EMNLP.

[8]  Wei-Ying Ma,et al.  How well do Computers Solve Math Word Problems? Large-Scale Dataset Construction and Evaluation , 2016, ACL.

[9]  Dan Roth,et al.  Unit Dependency Graph and Its Application to Arithmetic Word Problem Solving , 2016, AAAI.

[10]  Shuming Shi,et al.  Deep Neural Solver for Math Word Problems , 2017, EMNLP.

[11]  Holger Schwenk,et al.  Supervised Learning of Universal Sentence Representations from Natural Language Inference Data , 2017, EMNLP.

[12]  Keh-Yih Su,et al.  A Goal-Oriented Meaning-based Statistical Multi-Step Math Word Problem Solver with Understanding, Reasoning and Explanation , 2017, IJCAI.

[13]  Jing Liu,et al.  Neural Math Word Problem Solver with Reinforcement Learning , 2018, COLING.

[14]  Heng Tao Shen,et al.  MathDQN: Solving Arithmetic Word Problems via Deep Reinforcement Learning , 2018, AAAI.

[15]  Ronan Le Bras,et al.  SemEval-2019 Task 10: Math Question Answering , 2019, *SEMEVAL.

[16]  Danqi Chen,et al.  A Fast and Accurate Dependency Parser using Neural Networks , 2014, EMNLP.

[17]  Hirokazu Anai,et al.  Semantic Parsing of Pre-university Math Problems , 2017, ACL.

[18]  Jian Yin,et al.  Using Intermediate Representations to Solve Math Word Problems , 2018, ACL.

[19]  Lipu Zhou,et al.  Learn to Solve Algebra Word Problems Using Quadratic Programming , 2015, EMNLP.