当前位置: X-MOL 学术arXiv.cs.PL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
From Algebraic Word Problem to Program: A Formalized Approach
arXiv - CS - Programming Languages Pub Date : 2020-03-11 , DOI: arxiv-2003.11517
Adam Wiemerslage and Shafiuddin Rehan Ahmed

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.

中文翻译:

从代数单词问题到程序:一种形式化的方法

在本文中,我们提出了一种将小学级别的代数单词问题转换为形式语言 A-IMP 程序的管道。使用自然语言处理工具,我们将问题分解为句子片段,然后可以将其简化为函数。这些功能按句子的中心动词及其结构分类,如 (Hosseini et al., 2014) 所定义。我们定义函数签名并使用依赖解析从文本中提取其参数。我们有整个管道的工作实现,可以在我们的 github 存储库中找到。
更新日期:2020-03-26
down
wechat
bug