ResearchTasksFull proof generationFull proof generationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedNATURALPROOFS-GEN core (test)NATURALPROVER_RETRIEVE23.52Reasoning Errors (Ref.)4Feb 26, 2026