Search papers, labs, and topics across Lattice.
Xiamen University
1
0
3
7
Ditching human labels doesn't have to mean sacrificing RLVR performance: JURY-RL uses formal verification to achieve label-free training that rivals supervised learning in mathematical reasoning and generalizes better.
