MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms.
Aida AminiSaadia GabrielShanchuan LinRik Koncel-KedziorskiYejin ChoiHannaneh HajishirziPublished in: NAACL-HLT (1) (2019)
Keyphrases
- mathematical problem solving
- knowledge representation
- case based reasoning
- artificial intelligence
- information processing
- co occurrence
- keywords
- word recognition
- knowledge acquisition
- related words
- model tracing
- word sense disambiguation
- engineering design
- complex problem solving
- analogical reasoning
- information retrieval
- natural language processing
- unknown words
- sentence level
- cognitive model
- reasoning tasks
- solving problems
- tutoring system
- intelligent tutoring systems
- logic programming