基于对齐语料库与定理证明的上下文学习进行数学语义解析
计算与语言
2016-11-30 v1 人工智能
摘要
我们研究了将非正式数学表达式自动解析为正式表达式的方法，这是计算机深度理解非正式数学文本的一个主要前提。我们提出了一种基于上下文的解析方法，该方法将深度解析树的高效统计学习与通过类型检查和大规模理论自动定理证明进行的语义剪枝相结合。我们证明，这些方法在解析Flyspeck语料库中的定理方面，相比先前结果有非常显著的改进。
引用
@article{arxiv.1611.09703,
title = {Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving},
author = {Cezary Kaliszyk and Josef Urban and Jiří Vyskočil},
journal= {arXiv preprint arXiv:1611.09703},
year = {2016}
}