ResearchDatasetsFALSE ControlsFALSE ControlsFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMathematical ReasoningFALSE Controls 5 theorems, 25 items (pilot)100Accuracy9