ResearchDatasets21-proof21-proofFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsProof Verification21-proof (Diagnostic Set)9Correct Valid Proofs4