ResearchTasksMathematical Verification Reward ModelingMathematical Verification Reward ModelingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedLean 4 mathematical verification (hold-out set)Value-Head RM0.312Logic MSE5Jun 2, 2026