Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: ArGoT: A Glossary of Terms extracted from the 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.

35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
7
The categories of this paper are: hep-th