ResearchDatasetsLlemmaFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsModel Fingerprinting RobustnessLlemma 7B99.62Similarity Score7