ResearchDatasetsMetamathMetamathFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMathematical ReasoningMetaMath Insufficient72.5Success Rate (SR)19Mathematical ReasoningMetaMath 1k212Token Count14Automated Theorem ProvingMetamath (val)56.5Performance6Formal Theorem ProvingMetamath set.mm (val)29.22Performance Score3Theorem ProvingMetamath (test)65.6Pass@82