ResearchTasksmathematical reasoning via verifiable subquestionsFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedIMProofBenchGemini-3-Pro71.8Subquestion Score3Feb 26, 2026