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.

翻译：非正式数学文本支撑着现实世界的定量推理与交流。发展从这种双模态文本中进行检索与抽象的高精方法，对于实现自动化定量科学与数学发现这一愿景至关重要。本文追踪了近年来五个战略子领域中非正式数学语言处理方法的发展脉络，重点阐述了当前主流成功方法论要素及其现有局限。