ResearchDatasetsFirstProofFirstProofFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMathematical Problem SolvingFirstProof—Primary metric0