ResearchDatasetsAMC-AIMOAMC-AIMOFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMathematical ReasoningAMC-AIMO86.7Accuracy6Mathematical Theorem ProvingAMC-AIMO16.2Proof-level Accuracy3