# ArGoT: A Glossary of Terms extracted from the arXiv

arXiv: https://arxiv.org/abs/2109.02801 · HTML: https://mlsanity.com/paper/2109.02801/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 7 of its 19 references that are in the map.
- First posted on arXiv 7 Sep 2021.

## Builds on (most cited first, 7 of 7)

- [BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding](https://mlsanity.com/paper/1810.04805/) (2018)
- [Distributed Representations of Words and Phrases and their Compositionality](https://mlsanity.com/paper/1310.4546/) (2013)
- [Poincar'e Embeddings for Learning Hierarchical Representations](https://mlsanity.com/paper/1705.08039/) (2017)
- [Bidirectional LSTM-CRF Models for Sequence Tagging](https://mlsanity.com/paper/1508.01991/) (2015)
- [Poincar'e GloVe: Hyperbolic Word Embeddings](https://mlsanity.com/paper/1810.06546/) (2018)
- [Every child should have parents: a taxonomy refinement algorithm based on hyperbolic term embeddings](https://mlsanity.com/paper/1906.02002/) (2019)
- [Scientific Statement Classification over arXiv.org](https://mlsanity.com/paper/1908.10993/) (2019)

## Built on by (most cited first, 1 of 1)

- [Extracting Definienda in Mathematical Scholarly Articles with Transformers](https://mlsanity.com/paper/2311.12448/) (2023)

## 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.