4.4.2 · D5Alignment, Prompting & RAG
Question bank — Reward modeling
Notation & acronyms you need before the traps
Every symbol and short-form below is used repeatedly in this bank. Read this box first so nothing arrives undefined.

True or false — justify
A reward model outputs a probability between 0 and 1.
False. It outputs an unbounded scalar (a score for response to prompt ); the probability only appears when we compare two scores through the sigmoid, .
Adding to every reward the model produces changes which answer the policy prefers.
False. The loss and the preference depend only on the difference ; a constant shift cancels, so rankings and gradients are unchanged.
The Bradley–Terry model says preference probability depends on the two absolute scores separately.
False. It depends only on their difference: . Two scores of behave identically to .
If the reward model is perfect, we can crank up PPO optimization pressure indefinitely and the policy keeps improving.
False for real models — a "perfect" RM is a fiction. In practice more pressure exploits RM errors (Goodhart's law), so true preference peaks then falls even as measured reward climbs.
The pairwise logistic loss and standard Logistic regression share the same functional form.
True. Both minimize ; here the "feature" is and the label is always "winner wins".
A larger loss on a pair means a larger gradient pushing the scores to swap.
True. Loss and gradient magnitude both scale with , which is large exactly when the model ranks the pair wrongly ().
You should train the reward model with MSE against 1–10 human ratings for finer signal.
False. Absolute ratings are noisy and mis-calibrated between annotators; scale-free pairwise comparisons are more reliable, which is why the logistic loss is standard.
The KL penalty in RLHF makes the reward larger.
False. The KL divergence term subtracts from the objective; its job is to keep the policy near the reference so the RM stays in-distribution, trading some reward for reliability.
DPO needs a separately trained reward model before optimizing the policy.
False. DPO folds the same Bradley–Terry preference objective directly into the policy update, skipping the explicit RM and PPO loop.
Spot the error
"Reward means this answer is objectively good."
The error: absolute reward has no meaning — only per-prompt relative ordering does. The needed fix is to subtract a per-prompt mean (mean-center) so scores are comparable; dividing by the standard deviation (variance scaling) is an optional convenience for RL stability, not something the Bradley–Terry math requires.
"We got 4 ranked answers, so we have 4 training examples for the RM."
The error: a ranking of answers yields ordered pairs. For that is 6 comparisons, not 4.
"The policy's reward kept rising during PPO, so alignment kept improving."
The error: measured reward is the proxy, not truth. Rising RM reward with falling human preference is the signature of reward hacking / over-optimization.
" can equal exactly 1 when the winner is much better."
The error: the sigmoid asymptotes to 1 but never reaches it, so the loss is always strictly positive — there is always a residual push.
"We drop the reference model after RM training; the KL term isn't needed."
The error: the KL term is used during policy optimization, not RM training, and it needs the reference model throughout to leash the policy.
"Since the winner should score high, we train the RM to output a large positive number for winners."
The error: there is no target value. The loss only requires to exceed by a comfortable margin; forcing absolute magnitudes contradicts the shift-invariance of the model.
Why questions
Why does the reward-model loss use a sigmoid rather than a step function of ?
A step function has zero gradient almost everywhere, giving no learning signal and being blind to how wrong a ranking is; the sigmoid gives smooth, margin-sensitive gradients.
Why does the gradient vanish when the model is already confidently right?
The factor is ; for large positive it goes to zero, meaning "nothing left to fix" — the model spends effort only where ordering is wrong or shaky.
Why do we optimize the policy against a learned reward instead of directly against human labels?
Humans can label only a tiny sample; the RM generalizes those comparisons to score the millions of on-policy samples PPO needs, which no human loop could provide.
Why do comparisons beat absolute scores as a labeling format?
People agree far more on "A is better than B" than on assigning a calibrated number; comparisons cancel per-annotator offsets that would otherwise become noise.
Why does the KL penalty specifically help the reward model stay useful?
An RM is only trustworthy on text resembling its training distribution; the KL leash stops the policy from drifting into weird out-of-distribution outputs where the RM's confident scores are meaningless.
Why do we average many pairwise losses from one ranking instead of using one pair?
It reuses expensive human labeling and averages out the noise of any single comparison, reducing RM overfitting to individual noisy pairs (InstructGPT's trick).
Edge cases
What is the loss when (a genuine tie the model reflects)?
, so loss with gradient magnitude — the model is still nudged to break the tie toward the labeled winner.
What happens to the loss as the winner's margin ?
so loss and gradient ; the pair is "solved" and contributes almost nothing more.
What happens as (model catastrophically wrong)?
Loss grows without bound and gradient magnitude saturates — maximal, but bounded, correction so training stays stable.
If two annotators disagree and give contradictory pairs for the same prompt, what does the RM converge toward?
It cannot satisfy both, so it settles near (probability ), correctly expressing that the preference is genuinely uncertain.
What if every winner in your data happens to be longer than every loser?
The RM can minimize loss by rewarding length instead of quality — a spurious correlation that later shows up as verbosity-hacking under PPO, a classic Goodhart's law trap.
Can the RM assign the same score to two clearly different answers of equal quality?
Yes — equal quality means the training signal never separates them, and since only differences matter, identical scores are a valid, correct outcome.