ResearchTasksInformal description to Lean type retrievalFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast Updatedmathlib (test)MathLeap-Octen-8B70.18R@19Jun 24, 2026