ArGoT: A Glossary of Terms extracted from the arXiv
Not on the map. Why?
Abstract (arXiv)
We introduce ArGoT, a data set of mathematical terms extracted from the articles hosted on the arXiv website. A term is any mathematical concept defined in an article. Using labels in the article's source code and examples from other popular math websites, we mine all the terms in the arXiv data and compile a comprehensive vocabulary of mathematical terms. Each term can be then organized in a dependency graph by using the term's definitions and the arXiv's metadata. Using both hyperbolic and standard word embeddings, we demonstrate how this structure is reflected in the text's vector representation and how they capture relations of entailment in mathematical concepts. This data set is part of an ongoing effort to align natural mathematical text with existing Interactive Theorem Prover Libraries (ITPs) of formally verified statements.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 7 of its 19 references that are in the map. First posted on arXiv 7 Sep 2021.
Builds on
7 of 19 references.
References · 7
- 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,204
- 2013Distributed Representations of Words and Phrases and their Compositionalitycited by 3,462
- 2017Poincar'e Embeddings for Learning Hierarchical Representationscited by 674
- 2015Bidirectional LSTM-CRF Models for Sequence Taggingcited by 544
- 2018Poincar'e GloVe: Hyperbolic Word Embeddingscited by 155
- 2019Every child should have parents: a taxonomy refinement algorithm based on hyperbolic term embeddingscited by 23
- 2019Scientific Statement Classification over arXiv.orgcited by 3
Built on by
Citing papers per year: 2023: 1.
1 paper.