ResearchDatasetsblueprintsblueprintsFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMathematical Statement Retrievalblueprints64.73Recall@18