面向数学应用题的语义对齐通用树结构求解器
计算与语言
2020-10-15 v1
摘要
一个实用的自动文本数学应用题（MWPs）求解器应能够求解各类文本 MWPs，而现有多数工作仅关注单未知量线性 MWPs。为此，我们提出一种简单而高效的方法，称为通用表达式树（UET），首次尝试统一表示各类 MWPs 的方程。进而提出基于编码器-解码器框架的语义对齐通用树结构求解器（SAU-Solver），借助我们的 UET 表示，在统一模型中求解多种类型 MWPs。我们的 SAU-Solver 通过依据已生成符号的语义（如人类解 MWPs 般）决定生成何种符号，显式生成通用表达式树。此外，我们的 SAU-Solver 还包含一种新颖的子树级语义对齐正则化，通过与上下文信息对齐，进一步强加所生成表达式树的语义约束与合理性。最后，为验证我们求解器的通用性并拓展 MWPs 的研究边界，我们引入一个新的具有挑战性的混合数学应用题数据集（HMWP），由三类 MWPs 组成。在多个 MWPs 数据集上的实验结果表明，我们的模型可求解通用类型的 MWPs，并优于若干最先进模型。
引用
@article{arxiv.2010.06823,
title = {Semantically-Aligned Universal Tree-Structured Solver for Math Word Problems},
author = {Jinghui Qin and Lihui Lin and Xiaodan Liang and Rumin Zhang and Liang Lin},
journal= {arXiv preprint arXiv:2010.06823},
year = {2020}
}
备注
EMNLP2020