ResearchTasksAutoformalization and ProvingAutoformalization and ProvingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedProofNet N=186 (test)Ground truth statement (oracle)0.785Pass@644Mar 23, 2026CombiBench (N=100)Ground truth statement (oracle)96Pass@644Mar 23, 2026