ResearchDatasets21-proofFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsProof Verification21-proof (Diagnostic Set)9Correct Valid Proofs4