ResearchDatasetsMathlibMPRMathlibMPRFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsGlobal premise retrievalMathlibMPR v2 (test)36.7Recall@5 (group)11