Beyond Solver Verdicts: Generative Reward Models for Autoformalizations

2 points | by vikashjohn2505 9 hours ago