有没有关于解析/解决数学应用题的ML/NLP著作/论文？

Question

正如标题所说，任何指针都是非常感谢的。

我正在探索，在解决(首先是解析)数学应用问题的背景下，我们在ML/NLP方面的努力处于什么位置。

我们有足够多的像Mathematica这样的软件，可以很好地解决数学方程。

但是当涉及到解决用自然语言表达的数学问题时，我找不到任何实质性的东西。当我思考如何处理这个问题时，我把它看作是一种机器翻译问题(从英语到数学方程的翻译)，但几乎没有任何“标记”的数据。其他方法可以是半(或非)系统关系提取。

由于这些只是随机的想法，我想从这个方向的一些现有工作/论文开始。除此之外，我的谷歌搜索技能还算不错，但也没有多大帮助。

Answer 1

我不知道任何将语言解析为数学表达式的工作:我能想到的最接近的是语义解析，其目标是将文本转换为逻辑形式。这方面有supervised attempts，但我怀疑您说的没有可用的标记数据是正确的。你也可以考虑一个unsupervised variant。

我认为你认为它类似于机器翻译的直觉部分是正确的，事实上，对齐技术将构成解决方案的一半。另一半是什么将取代您的目标语言模型，这是一个有趣的数学问题，因为您希望确定得到的数学表达式是否“格式良好”或有意义。

我希望这对你有所帮助，很抱歉我没能指出任何关于你的具体问题。

Answer 2

Wolfram|Alpha在这方面取得了一些进展，但我不知道是什么论文推动了他们取得的进展。你可以在here上查看