ResearchTasksMathematical Proof Reward ModelingFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedProof-RM IMO CMO USAMO competition-level problems 2024-2025 (test)ProofRM-32B82.4Accuracy9Feb 26, 2026
Proof-RM IMO CMO USAMO competition-level problems 2024-2025 (test)ProofRM-32B82.4Accuracy9Feb 26, 2026