ResearchTasksProof declarativity optimizationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedMILImProver13.45Improvement2May 22, 2026