Mathematical language models: A survey

W Liu, H Hu, J Zhou, Y Ding, J Li, J Zeng, M He… - arXiv preprint arXiv …, 2023 - arxiv.org
In recent years, there has been remarkable progress in leveraging Language Models (LMs),
encompassing Pre-trained Language Models (PLMs) and Large-scale Language Models …

Deep neural solver for math word problems

Y Wang, X Liu, S Shi - Proceedings of the 2017 conference on …, 2017 - aclanthology.org
This paper presents a deep neural solver to automatically solve math word problems. In
contrast to previous statistical learning approaches, we directly translate math word …

[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 …

[PDF][PDF] MAWPS: A math word problem repository

R Koncel-Kedziorski, S Roy, A Amini… - Proceedings of the …, 2016 - aclanthology.org
Recent work across several AI subdisciplines has focused on automatically solving math
word problems. In this paper we introduce MAWPS, an online repository of Math Word …

Translating a math word problem to an expression tree

L Wang, Y Wang, D Cai, D Zhang, X Liu - arXiv preprint arXiv:1811.05632, 2018 - arxiv.org
Sequence-to-sequence (SEQ2SEQ) models have been successfully applied to automatic
math word problem solving. Despite its simplicity, a drawback still remains: a math word …

Parsing algebraic word problems into equations

R Koncel-Kedziorski, H Hajishirzi… - Transactions of the …, 2015 - direct.mit.edu
This paper formalizes the problem of solving multi-sentence algebraic word problems as that
of generating and scoring equation trees. We use integer linear programming to generate …

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 …

Mathdqn: Solving arithmetic word problems via deep reinforcement learning

L Wang, D Zhang, L Gao, J Song, L Guo… - Proceedings of the AAAI …, 2018 - ojs.aaai.org
Designing an automatic solver for math word problems has been considered as a crucial
step towards general AI, with the ability of natural language understanding and logical …

A survey of reasoning with foundation models

J Sun, C Zheng, E Xie, Z Liu, R Chu, J Qiu, J Xu… - arXiv preprint arXiv …, 2023 - arxiv.org
Reasoning, a crucial ability for complex problem-solving, plays a pivotal role in various real-
world settings such as negotiation, medical diagnosis, and criminal investigation. It serves …