ResearchTasksMathematical declaration retrievalFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedMathlibQR fair shared 171-declaration corpus subset (810 query rows)LeanSearch v247nDCG@112Jun 25, 2026
MathlibQR fair shared 171-declaration corpus subset (810 query rows)LeanSearch v247nDCG@112Jun 25, 2026