ResearchDatasetsNATURALPROOFS-GENNATURALPROOFS-GENFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFull proof generationNATURALPROOFS-GEN core (test)23.52Reasoning Errors (Ref.)4Next-step suggestionNATURALPROOFS-GEN core (test)19.7Reasoning Errors (Ref)1