Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text
Table 3: Comparing results for different categories (the number between parenthesis indicates the number of entries for that category).
['[EMPTY]', 'TFIDF', 'PV-DBOW']
We consider the full dataset and three different subsets with different categories. We can notice that for smaller datasets, both baselines perform better. This result was expected since with smaller datasets there are less possible premises, and elements from the same categories tend to be more uniform between themselves.