AiFu at SemEval-2019 Task 10: A Symbolic and Sub-symbolic Integrated System for SAT Math Question Answering
暂无分享,去创建一个
[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.