MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms.
Aida AminiSaadia GabrielShanchuan LinRik Koncel-KedziorskiYejin ChoiHannaneh HajishirziPublished in: CoRR (2019)
Keyphrases
- mathematical problem solving
- artificial intelligence
- case based reasoning
- logic programming
- tutoring system
- co occurrence
- word sense disambiguation
- solving problems
- knowledge acquisition
- nonmonotonic reasoning
- model tracing
- computational properties
- explanation based learning
- machine learning
- human problem solving
- complex problem solving
- analogical reasoning
- cooperative learning
- knowledge representation
- information processing
- expert systems