• Computer Science
  • Published in NAACL-HLT 2019

MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms

@article{Amini2019MathQATI,
  title={MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms},
  author={Aida Amini and Saadia Gabriel and Shanchuan Lin and Rik Koncel-Kedziorski and Yejin Choi and Hannaneh Hajishirzi},
  journal={ArXiv},
  year={2019},
  volume={abs/1905.13319}
}
Highlight Information
We introduce a large-scale dataset of math word problems and an interpretable neural math problem solver that learns to map problems to operation programs. [...] Key Method We additionally introduce a neural sequence-to-program model enhanced with automatic problem categorization. Our experiments show improvements over competitive baselines in our MathQA as well as the AQuA dataset. The results are still significantly lower than human performance indicating that the dataset poses new challenges for future…Expand Abstract

Citations

Publications citing this paper.
SHOWING 1-5 OF 5 CITATIONS

N ATURAL-TO FORMAL-LANGUAGE GENERATION USING

VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Natural- to formal-language generation using Tensor Product Representations

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

What Question Answering can Learn from Trivia Nerds

VIEW 2 EXCERPTS
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 26 REFERENCES

Mapping to Declarative Knowledge for Word Problem Solving

  • Subhro Roy, Dan Roth
  • Computer Science
  • Transactions of the Association for Computational Linguistics
  • 2017
VIEW 1 EXCERPT