ResearchTasksProof Optimization (Length)Proof Optimization (Length)FollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedMIL aggregated (test)ImProver20.96Improvement4May 22, 2026MathlibImProver6.19Improvement4May 22, 2026CompfilesImProver18.86Improvement2May 22, 2026