ResearchTasksInformal description to Lean signature retrievalFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedmathlibMathLeap-Qwen-8B67.4R@19Jun 24, 2026