ResearchDatasetsNuminaProofNuminaProofFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLong-form reasoningNuminaProof (test)-1.017Avg LogProb (Per Answer)14