首页> 外文会议>Conference on the North American Chapter of the Association for Computational Linguistics: Human Language Technologies >MathQA: Towards Intcrpretable Math Word Problem Solving with Operation-Based Formalisms
【24h】

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

机译:MathQA:通过基于操作的形式主义解决的抵抗力数学词问题解决

获取原文

摘要

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. Due to annotation challenges, current datasets in this domain have been either relatively small in scale or did not offer precise operational annotations over diverse problem types. We introduce a new representation language to model precise operation programs corresponding to each math problem that aim to improve both the performance and the intcr-pretability of the learned models. Using this representation language, our new dataset, MathQA, significantly enhances the AQuA dataset with fully-specified operational programs. 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 datasets. The results are still significantly lower than human performance indicating that the dataset poses new challenges for future research.
机译:我们介绍了数学词问题的大规模数据集和可解释的神经数学问题求解器,用于将问题映射到操作程序。由于注释挑战,该域中的当前数据集规模相对较小,或者没有提供以不同的问题类型提供精确的操作注释。我们介绍了一种新的表示语言来模拟与每个数学问题相对应的精确操作程序,旨在提高学习模型的性能和INTCR的可假装。使用此表示语言,我们的新数据集MathQA,大大增强了具有完全指定的操作计划的Aqua数据集。我们另外引入了一种具有自动问题分类的神经序列到程序模型。我们的实验表明,在MathQA和Aqua数据集中的竞争基础上显示出改进。结果仍然明显低于人类性能,表明数据集对未来研究构成了新挑战。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号