ResearchDatasetsNaturalProofsNaturalProofsFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLemma JudgingNaturalProofs (test)93.2Exact Match Accuracy12