ResearchDatasets300,000,000 element set300,000,000 element setFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsBatch Verification300,000,000 element set 1000 elements batch2.92Total Proof Size2