ResearchTasksLemma JudgingLemma JudgingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedDeepTheorem sampled perturbation (test)Llama-3.1 (RULES)90.9Exact Match Accuracy12Feb 26, 2026IMO-Lemma (IL) (test)Llama-3.1 (RULES)93.6Exact Match Accuracy12Feb 26, 2026NLPS (test)Llama-3.1 (GRPO)86.5Exact Match Accuracy12Feb 26, 2026NaturalProofs (test)Llama-3.1 (RULES)93.2Exact Match Accuracy12Feb 26, 2026