MLFMF: Data Sets for Machine Learning for Mathematical Formalization Supplementary Material

We obtained the source code of the libraries from their publicly available GitHub repositories. Table 1: The versions of the four libraries transformed to the data sets. As described in the article manuscript (see Section 3.2), every data set corresponds to a library of formalized mathematics. The second part of the data set, the directed multi-graph, or network for short, is stored in a text file, listing its nodes and links. In the following subsections, we describe the file format and the structure of the repository.