ResearchTasksProof Optimization (Declarativity)Proof Optimization (Declarativity)FollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedMIL aggregated (test)ImProver9.34Improvement4May 22, 2026CompfilesImProver5.74Improvement2May 22, 2026MathlibImProver4.63Improvement2May 22, 2026