论文标题
数学语言处理的调查
A Survey in Mathematical Language Processing
论文作者
论文摘要
非正式的数学文本基于现实世界的定量推理和交流。从这种双重方式中开发出复杂的检索和抽象方法对于追求定量科学和数学的发现的愿景至关重要。我们跟踪近年来五个战略次级区域的非正式数学语言处理方法的发展，突出了现有的成功方法学元素以及现有局限性。
Informal mathematical text underpins real-world quantitative reasoning and communication. Developing sophisticated methods of retrieval and abstraction from this dual modality is crucial in the pursuit of the vision of automating discovery in quantitative science and mathematics. We track the development of informal mathematical language processing approaches across five strategic sub-areas in recent years, highlighting the prevailing successful methodological elements along with existing limitations.
