ResearchDatasetsLean mathematical verificationFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsMathematical Verification Reward ModelingLean 4 mathematical verification (hold-out set)0.312Logic MSE5
Mathematical Verification Reward ModelingLean 4 mathematical verification (hold-out set)0.312Logic MSE5