通过将语言模型与符号求解器相结合解决数学语言问题（英文版）

英文标题：Solving Math Word Problems by Combining Language Models With Symbolic Solvers中文摘要：通过将大型语言模型与外部符号求解器相结合，我们提出了一种能够将单词问题逐步规范化为一组变量和方程的方法，并使用符号求解器解决问题，相较于 PAL 在解决代数类问题上性能提升了 20%。英文摘要：Automatically generating high-quality step-by-step solutions to math wordproblems has many applications in education. Recently, combining large languagemodels (LLMs) with external tools to perform complex reasoning and calculationhas emerged as a promising direction for solving math word problems, but priorapproac