ResearchDatasetsMathlibMPRFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsGlobal premise retrievalMathlibMPR v2 (test)36.7Recall@5 (group)11