ArGoT：从arXiv提取的术语词汇集
数字图书馆
2021-09-08 v1 机器学习
摘要
我们介绍ArGoT，一个从arXiv网站所托管文章中提取的数学术语数据集。术语是文章中定义的任意数学概念。利用文章源代码中的标签及其他流行数学网站的示例，我们挖掘arXiv数据中的所有术语并编纂一部全面的数学术语词汇表。随后可利用术语的定义与arXiv的元数据将每个术语组织进依赖图。借助双曲与标准词嵌入，我们展示了该结构如何反映于文本的向量表示中，以及它们如何捕捉数学概念中的蕴含关系。该数据集是一项正在进行的、将自然语言数学文本与现有形式化验证语句的交互式定理证明器库 (ITPs) 对齐工作的一部分。
引用
@article{arxiv.2109.02801,
title = {ArGoT: A Glossary of Terms extracted from the arXiv},
author = {Luis Berlioz},
journal= {arXiv preprint arXiv:2109.02801},
year = {2021}
}
备注
In Proceedings SCSS 2021, arXiv:2109.02501