Beyond Solver Verdicts: Generative Reward Models for Autoformalizations (arxiv.org) 2 points by vikashjohn2505 6d ago ↗ HN
1 comment
[ 104 ms ] story [ 223 ms ] thread