ResearchDatasetsLlemmaLlemmaFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsModel Fingerprinting RobustnessLlemma 7B99.62Similarity Score7