ResearchTasksNext Step GenerationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedPeanoBench 21 incorrect proofsLeanTutor3.7Accuracy4Mar 5, 2026Human Evaluation SubsetCoP (Qwen2.5-VL-7B)65Win Rate2May 15, 2026