ResearchTasksHint/Question GenerationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedPeanoBench 21 incorrect proofsLeanTutor3.7Accuracy4Mar 5, 2026