ResearchTasksMathematical proof correctnessMathematical proof correctnessFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedFirst Proof 16 (Expert Evaluation)RMA36Total Correct Proofs Count7May 25, 2026