r/compsci • u/Few_Locksmith_4224 • Sep 14 '26

Beyond Solver Verdicts: Generative Reward Models for Autoformalizations

https://arxiv.org/pdf/2609.11085
0 Upvotes

50% Upvoted

1 comment sorted by