Beyond Solver Verdicts: Generative Reward Models for Autoformalizations

2 pointsposted 8 hours ago
by vikashjohn2505
(arxiv.org)

No comments yet