ResearchDatasetsAugmented Proof StateAugmented Proof StateFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsRetrievalAugmented Proof State (test)24.6R@12