ResearchDatasetsIMProofBenchFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsmathematical reasoning via verifiable subquestionsIMProofBench71.8Subquestion Score3