本文介绍了一种利用关系抽象概念来帮助大型语言模型在数学推理方面提高的新方法,并发现将这种序列用作提示可使模型具有更强的推理能力,特别是在需要执行多步任务的情况下。
Oct, 2022
提出了一种多视角一致性对比学习方法,用于数学语义到方程的映射,在多粒度上对两种推理视角进行兼容,提高全局生成和精确推理。
本文探讨了将自然语言描述的概念转换成数学表达式的声明性规则,并提出了一种将此类声明性知识纳入解决数学问题的框架。通过学习如何选择与解决方案表达式的每个操作相关的声明性知识,实现了将算术单词问题文本映射到数学表达式,同时支持答案表达式的可解释性。实验评估表明,基于领域知识的求解器优于其他所有系统,并且在训练数据与测试数据偏向不同的实际情况下更具有普适性。
Dec, 2017
本文提出了一种通过控制代码来引导模型考虑某些推理逻辑和解码与人类参考转换的相应等式表达式的可控等式生成求解器,实验结果表明我们的方法对单一未知(Math23K)和多个未知(DRAW1K,HMWP)基准测试普遍提高了性能,最大的改善高达 13.2%的准确性在具有挑战性的多未知数据集上
Sep, 2022
本文提出了一个神经网络模型,基于编码器 - 解码器框架,利用自然语言理解桥接语义世界和符号世界,自动解决数学应用问题,并在 Math23K 数据集上验证模型的有效性。
Nov, 2018
通过生成答案原理,我们间接监督程序学习,从而解决代数字问题。
May, 2017
本文提出一种 fine-to-coarse 建模方法来解决数学单词问题,通过迭代地组合低级操作数以预测高级操作符来抽象问题并从底向上推理解决运算符,从而更好地捕捉本地细粒度信息和全局逻辑结构。使用 Math23k 和 SVAMP 数据集进行的广泛评估证明了我们方法的准确性和鲁棒性。
May, 2022
本文提出了一种基于单跨提取的阅读理解模型的推理模板方法,针对复杂问题分解成若干简单子问题进行处理,实现了对减法算术问题的回答并具有竞争力,同时可解释、需要少量监督。
Apr, 2021
本文介绍了一种新的自动解决算术词问题的方法,它是第一种能够处理多步骤和多操作算术问题的算法方法,不依赖于附加的注释或预定义的模板。作者提出了一种表达式树的理论,可以用于表示和评估目标算术表达式,并将其唯一分解为多个分类问题;然后,作者采用受限推理框架将这些问题组合成表达式树,并通过 “数量模式” 提升模型表现,实验结果表明,该方法在算术词问题的基准数据集上实现了业界领先的性能。
Aug, 2016
本研究提出了一种名为 “Textual Enhanced Contrastive Learning” 的方法,采用自监督学习策略,丰富了数学问题的文本变异性,并从方程和文本角度检索最难区分的样本以指导模型进行学习,最终达到了在英文和中文基准数据集以及设计挑战数据集上均表现最佳的效果。
Nov, 2022