ResearchTasksMathematical RetrievalMathematical RetrievalFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedMELDMathLeap-Octen-8B45MMR9Jun 24, 2026mathlib Lean type to Lean signature (test)MathLeap-Octen-8B65.26R@19Jun 24, 2026