ResearchDatasetsMathlibQRFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsMathematical declaration retrievalMathlibQR fair shared 171-declaration corpus subset (810 query rows)47nDCG@112
Mathematical declaration retrievalMathlibQR fair shared 171-declaration corpus subset (810 query rows)47nDCG@112