ResearchDatasetsAMC-AIMOFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsMathematical ReasoningAMC-AIMO86.7Accuracy6Mathematical Theorem ProvingAMC-AIMO16.2Proof-level Accuracy3