Comment Comment by 7734128 Because the RLVR probably uses formalization to judge rollouts. parent 7734128 26 days ago