ResearchDatasetsProof-RMProof-RMFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA 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