ResearchDatasetsProof-RMFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsMathematical Proof Reward ModelingProof-RM IMO CMO USAMO competition-level problems 2024-2025 (test)82.4Accuracy9
Mathematical Proof Reward ModelingProof-RM IMO CMO USAMO competition-level problems 2024-2025 (test)82.4Accuracy9