ResearchDatasetsLean mathematical verificationLean mathematical verificationFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA 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