ResearchTasksMathematical Proof Reward ModelingMathematical Proof Reward ModelingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA 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