Learning verifiable rewards · ByteTrail