ResearchDatasetsIsabelleIsabelleFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLanguage ModelingIsabelle (test)4.44Perplexity9