A survey of deep learning for mathematical reasoning

P Lu, L Qiu, W Yu, S Welleck, KW Chang - arXiv preprint arXiv:2212.10535, 2022 - arxiv.org
Mathematical reasoning is a fundamental aspect of human intelligence and is applicable in
various fields, including science, engineering, finance, and everyday life. The development …

From lsat: The progress and challenges of complex reasoning

S Wang, Z Liu, W Zhong, M Zhou, Z Wei… - … on Audio, Speech …, 2022 - ieeexplore.ieee.org
Complex reasoning aims to draw a correct inference based on complex rules. As a hallmark
of human intelligence, it involves a degree of explicit reading comprehension, interpretation …

DREAM: A challenge data set and models for dialogue-based reading comprehension

K Sun, D Yu, J Chen, D Yu, Y Choi… - Transactions of the …, 2019 - direct.mit.edu
We present DREAM, the first dialogue-based multiple-choice reading comprehension data
set. Collected from English as a Foreign Language examinations designed by human …

Graph-to-tree learning for solving math word problems

J Zhang, L Wang, RKW Lee, Y Bin… - Proceedings of the …, 2020 - aclanthology.org
While the recent tree-based neural models have demonstrated promising results in
generating solution expression for the math word problem (MWP), most of these models do …

Generate & rank: A multi-task framework for math word problems

J Shen, Y Yin, L Li, L Shang, X Jiang, M Zhang… - arXiv preprint arXiv …, 2021 - arxiv.org
Math word problem (MWP) is a challenging and critical task in natural language processing.
Many recent studies formalize MWP as a generation task and have adopted sequence-to …

[PDF][PDF] A goal-driven tree-structured neural model for math word problems.

Z Xie, S Sun - Ijcai, 2019 - ijcai.org
Most existing neural models for math word problems exploit Seq2Seq model to generate
solution expressions sequentially from left to right, whose results are far from satisfactory …

Inter-GPS: Interpretable geometry problem solving with formal language and symbolic reasoning

P Lu, R Gong, S Jiang, L Qiu, S Huang, X Liang… - arXiv preprint arXiv …, 2021 - arxiv.org
Geometry problem solving has attracted much attention in the NLP community recently. The
task is challenging as it requires abstract problem understanding and symbolic reasoning …

Template-based math word problem solvers with recursive neural networks

L Wang, D Zhang, J Zhang, X Xu, L Gao… - Proceedings of the …, 2019 - ojs.aaai.org
The design of automatic solvers to arithmetic math word problems has attracted
considerable attention in recent years and a large number of datasets and methods have …

The gap of semantic parsing: A survey on automatic math word problem solvers

D Zhang, L Wang, L Zhang, BT Dai… - IEEE transactions on …, 2019 - ieeexplore.ieee.org
Solving mathematical word problems (MWPs) automatically is challenging, primarily due to
the semantic gap between human-readable words and machine-understandable logics …

Let gpt be a math tutor: Teaching math word problem solvers with customized exercise generation

Z Liang, W Yu, T Rajpurohit, P Clark, X Zhang… - arXiv preprint arXiv …, 2023 - arxiv.org
In this paper, we present a novel approach for distilling math word problem solving
capabilities from large language models (LLMs) into smaller, more efficient student models …