ResearchTasksNext-step suggestionNext-step suggestionFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedNATURALPROOFS-GEN core (test)Next-step (NATURALPROVER)19.7Reasoning Errors (Ref)1Feb 26, 2026