ResearchDatasetsProofpileProofpileFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLanguage ModelingProofpile (test)3.68Performance (8K Context)12Language ModelingProofPile (16K)3.24Perplexity8Language ModelingProofPile (4K)3.26Perplexity8Language ModelingProofPile 100K3.19Perplexity6Language ModelingProofPile 32K3.21Perplexity6