ResearchTasksFormal-to-formal theorem provingFormal-to-formal theorem provingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedminiF2F (test)ReProver (fine-tuned)26.5Proven Theorems (%)6Feb 26, 2026