ResearchTasksFormal Proof GenerationFormal Proof GenerationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedBlockchain Consensus Verification Lemmas (test)IsabeLLM10Successful Attempts16Feb 26, 2026Lean 4 (val)Ours49.8Pass@16Mar 23, 2026