Beyond Solver Verdicts: Generative Reward Models for Autoformalizations

(arxiv.org)

2 points | by vikashjohn2505 8 hours ago ago