ResearchTasksStatement generationStatement generationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedCombiBench N = 100Sample1CH@10011Mar 23, 2026ProofNet N = 186 (test)FormalEvolve (K=1)98.4CH@10011Mar 23, 2026