ResearchDatasetsTheoremTheoremFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMathematical ReasoningTheorem23.8Accuracy35Mathematical ReasoningTheorem (test)32.2Accuracy13ReasoningTheorem (test)87.3AUROC2