本文探讨了利用四种术语提取器从数学文本中提取数学实体，以构建数学知识图。研究开发了原型系统Parmesan，帮助研究人员理解数学概念，并提供了两个开放数据集以支持数学研究。此外，介绍了基于瑞士法律系统的多维NLP基准测试和新型自然前提选择任务，以提升大型语言模型在数学推理中的能力。