ResearchTasksGlobal premise retrievalGlobal premise retrievalFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedMathlibMPR v2 (test)LeanSearch v2 (reasoning)36.7Recall@5 (group)11May 14, 2026