本文使用神经解析模型和人工干预预处理带有注释的文献资料，提供词性标签、词形还原和依赖树。评估了自然语言处理模型在数学领域的适应性和对于探索数学语言的有用性。进一步的工作需要使模型更好地适应数学，并提供更有效的学习助手。