ResearchDatasetsNuminaProofFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsLong-form reasoningNuminaProof (test)-1.017Avg LogProb (Per Answer)14