ResearchTasksCross-file dependency reuse analysisCross-file dependency reuse analysisFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedRepoProverRepoProver1,164Formalization-reflected Edges4Jun 15, 2026OpenMathAgent Pipeline16Formalization-reflected Edges3Jun 15, 2026