ResearchDatasetsBlockchain Consensus Verification LemmasBlockchain Consensus Verification LemmasFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFormal Proof GenerationBlockchain Consensus Verification Lemmas (test)10Successful Attempts16