Convention. Rewards and evaluation utilities [ftip-00IQ]
Convention. Rewards and evaluation utilities [ftip-00IQ]
Use \(r:\mathcal X\times \mathcal Y\to \mathbb R\) for a deterministic reward and \(u\) for an evaluation utility. Proxy, verifier, and process rewards retain their local subscripts; no bare symbol silently changes meaning.