Beyond Solver Verdicts: Generative Reward Models for Autoformalizations(arxiv.org)
2 pointsby vikashjohn25052 hours ago1 comment