从代数应用题到程序：一种形式化方法
From Algebraic Word Problem to Program: A Formalized Approach
AI总结：
本文提出一条将小学数学代数应用题自动转换为形式语言 A-IMP 程序的流水线，通过自然语言处理、函数归约和依存句法分析提取参数，并提供了可运行的实现。
摘要：
在本文中，我们提出了一条流水线，将小学水平的代数应用题转换为一种形式语言 A-IMP 的程序。利用自然语言处理工具，我们将问题分解为句子片段，这些片段随后可被归约为函数。函数根据句子的核心动词及其结构进行分类，其定义遵循 (Hosseini et al., 2014)。我们定义了函数签名，并使用依存句法分析从文本中提取其参数。我们已实现整条流水线的可运行版本，代码可在我们的 GitHub 仓库中找到。
英文摘要：
In this paper, we propose a pipeline to convert grade school level algebraic word problem into program of a formal languageA-IMP. Using natural language processing tools, we break the problem into sentence fragments which can then be reduced to functions. The functions are categorized by the head verb of the sentence and its structure, as defined by (Hosseini et al., 2014). We define the function signature and extract its arguments from the text using dependency parsing. We have a working implementation of the entire pipeline which can be found on our github repository.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
