
What Is RLCD? The Secret Behind Jev
From pairwise reward modeling to calibrated, multiway decisions
以下正文同步自 Hacker News,版权归原站所有,已转换为易读排版。
From pairwise reward modeling to calibrated, multiway decisions
Jev looks mysterious when viewed as an alternative to a language model. It becomes much simpler when viewed as the next step in reward modeling.
More specifically, RLCD is a schema-conditioned Plackett–Luce objective. Jev turns that objective into a product by adding typed outputs and parallel inference.
That is the secret: the reward model is no longer hidden behind a generator. The reward model becomes the model.
A conventional reward model receives a context (x) and a candidate answer (a), then produces a scalar:
Outcome reward models score the final answer. Process reward models score individual reasoning steps. In both cases, the learned object is an absolute-looking number.
The problem is that this number is not actually absolute.
A reward of (0.8) does not have a stable meaning across problems, candidate pools, checkpoints, or model families. It is mainly useful for comparing candidates generated under similar conditions:
The operational signal was always relative preference. The scalar merely hid it.
LLaMA-Berry’s Pairwise Preference Reward Model, or PPRM, exposes the comparison directly.
Given a problem (x) and two solutions (a_1) and (a_2), PPRM answers:
Is the first answer better than the second answer?
LLaMA-Berry implements the comparison as a constrained language-model decision over Yes and No tokens. It trains the evaluator on almost 7.8 million mathematical-solution pairs and uses DPO to improve the pairwise prediction task. The essential change is conceptual: reward modeling becomes preference-probability modeling. See the LLaMA-Berry paper.
PPRM still contains a latent scalar utility (u_\theta(x,a)), but that utility is no longer presented as an absolute reward. It becomes meaningful through a normalized comparison.
LLaMA-Berry subsequently uses Enhanced Borda Count to aggregate pairwise comparisons inside MCTS. That is downstream search machinery. EBC neither defines PPRM’s preference loss nor provides the bridge from PPRM to RLCD.
PPRM compares two candidates. A real decision interface usually receives more than two.
Assign each candidate a context-dependent utility:
This is the Luce choice model, also known as multinomial logit. It is the top-one form of the Plackett–Luce family.
When (K=2), it reduces exactly to Bradley–Terry:
PPRM is therefore the binary case of the same choice geometry.
If the supervision contains a complete ranking
the full Plackett–Luce likelihood repeatedly selects the next-best remaining candidate:
When the label specifies only one correct choice (y), the loss becomes:
That is the first stage of the Plackett–Luce likelihood: a multiway extension of PPRM.
Plackett–Luce gives us a probability distribution, but normalization is not calibration.
A softmax vector always sums to one. That does not mean a prediction reported as (0.8) is correct 80% of the time.
Across predictions assigned probability (0.8), approximately 80% should be correct. This is also the contract TypeSafe gives for RLCD: Jev returns decisions and probabilities, and higher reported probabilities should correspond to higher observed accuracy. See TypeSafe’s RLCD primer.
A minimal implementation uses a proper scoring rule such as log loss:
The Brier score makes the calibration objective concrete. For a binary Noul decision, let (p=P(Y=1\mid x)) and (y\in{0,1}). The score is:
If the model reports (p=0.8), it receives a score of (0.04) when the event occurs and (0.64) when it does not. The confidently wrong forecast costs sixteen times as much as the confidently correct one.
This is why the Brier score fits a decision model. It is a strictly proper scoring rule: in expectation, the model minimizes the score by reporting the true conditional probability instead of gaming the threshold. The score was introduced for probabilistic forecasts by Glenn Brier; its role as a proper scoring rule is developed by Gneiting and Raftery.
For a multiway Choice, the score extends to the full probability vector. Using the normalization that makes the two-class case match the binary formula:
This matters because top-1 accuracy discards probability quality. Two models can choose the same action while reporting (0.55) and (0.99). Once outcomes arrive, Brier score tells us whether that extra confidence was earned.
For binary outcomes, the Murphy decomposition separates the mean score into three terms:
A lower Brier score can therefore come from better calibration, better separation of easy and hard cases, or both. A constant base-rate predictor can be calibrated while having zero resolution; Brier exposes that weakness.
An RLCD implementation can apply Brier score to the decision probabilities during training and use it again as a held-out objective for post-hoc calibration. With temperature scaling, the calibration parameter can be selected directly on validation outcomes:
Temperature scaling then adjusts the sharpness of the distribution:
Here (T) controls how concentrated the probabilities are without changing their ordering. Brier is the objective; temperature scaling is the calibrator. One measures probability quality, while the other changes the distribution.
This separates two objectives that ordinary reward modeling often conflates:
Automation needs both. Ranking selects an action; calibration determines whether software should execute it, defer it, or escalate it.
In the conventional RLHF stack, the reward model is an internal component:
Users interact with the generator. The reward model only trains or evaluates it.
There is no need to generate an explanation and parse it back into an action. The evaluator itself becomes the runtime interface.
A Choice returns the selected option, the complete probability distribution, and a confidence value. A Score returns a position along user-defined levels together with the distribution across those levels. A Noul returns the probability that a proposition is true. See Jev’s primitive documentation.
These are not three unrelated capabilities. They are three schemas over the same underlying object:
Jev is therefore a reward model generalized from “Which answer is better?” to “Which typed outcome should the program select?”
The Plackett–Luce equations leave the utility (u_\theta(x,a_i)) abstract. The decision head is the component that computes it.
In Jevre, the encoder processes the state, question, and every candidate under the tree attention mask. The model mean-pools the normalized hidden states of the three spans:
For question (f), the state and question form a query. Each candidate forms a key:
The candidate utility is their scaled inner product:
The released model uses (r=512). This rank is the dimension of the learned interaction space; the encoder and decision head are trained together. A softmax across the candidates of the same question turns the utilities into the RLCD distribution:
This head scores contextual representations rather than vocabulary labels. Candidate names and descriptions arrive at runtime as text, so the same parameters can score a new schema without adding a class-specific output layer. Noul, Choice, and Score all use these logits; the schema decoder determines how the resulting distribution is returned.
Images enter through the state span and change (\bar{h}_S), while the decision head stays unchanged. The same utility function therefore covers text and multimodal decisions. The full implementation is visible in the scorer model and the released Jevre checkpoint.
The decision head is the bridge between representation learning and RLCD: the encoder builds state-, question-, and candidate-aware representations; the head turns their compatibility into utilities; Plackett–Luce and Brier training shape those utilities into calibrated decisions.
Strip away the branding: Jev’s parallel sampler is sequence packing plus an attention mask, followed by one shared decision head and typed schema decoding. This is the serving trick behind the speed claim.
Autoregressive language models represent an answer as a token sequence:
Every token depends on the previous tokens. Latency grows with output length.
A decision model already knows its output space. It only needs to estimate utilities and normalize them:
Now pack the shared state, questions, and candidate branches into one sequence:
The packed sequence is only the physical layout. Its logical layout is a tree:
The attention mask preserves that tree. A question reads the shared state and itself. A candidate reads the shared state, its own question, and its own candidate tokens. It cannot read another question or a sibling candidate. Let (v(i)) denote the tree node containing token (i), and let (v(j)\preceq v(i)) mean that (v(j)) is an ancestor of, or identical to, (v(i)). Then:
For a causal backbone, this structural mask is combined with causal order inside each branch. Position IDs reset at every branch: all questions start after the same state prefix, and all candidates under a question start after the same state-plus-question prefix. Candidate (C_{q,2}) therefore gains no information merely because it was packed after (C_{q,1}).
The result is one accelerator-friendly forward pass that produces every candidate score together. Packing removes repeated prefixes. Tree attention prevents cross-question and cross-candidate contamination. The decision head produces utilities, and the schema decoder returns them as Noul, Choice, or Score probabilities. There is no token-by-token generation loop.
This behavior is exactly the contract in TypeSafe’s documentation: questions share the same state, are evaluated independently, and return in parallel. The mechanism itself is established Transformer engineering. Sequence packing with attention masks that prevent cross-contamination was already documented as a general throughput technique in the sequence-packing literature.
TypeSafe’s launch post names a “new model architecture” and a “parallel sampler,” but it publishes no new attention operator, no sampler algorithm, no complexity result, and no ablation that isolates a novel sampling mechanism. A real sampling breakthrough would make those artifacts the center of the announcement. They are absent. What remains is a productized composition of familiar primitives:
For very high-cardinality choices, Jev adds a two-stage procedure: score candidates independently, then make an explicit choice. That is another scheduling decomposition, not a new sampling law. See TypeSafe’s Jev announcement.
The complete system decomposition is therefore:
RLCD explains what the model learns. Packing and masking explain how the learned decision function is served efficiently. The engineering is useful. It is not a new class of sampler.
TypeSafe presents RLHF, RLVR, and RLCD as three post-training paths. They are not three mutually exclusive mathematical categories.
RLHF and RLVR primarily describe where the reward comes from:
RLCD describes what the model is trained to return:
Human comparisons can train RLCD. Verifiable outcomes can train RLCD. Synthetic judges can train RLCD. Logged production outcomes can train RLCD.
The word reinforcement learning describes the broader post-training pipeline. The statistical heart of the objective is preference estimation under a proper probabilistic loss. PPO is not required to obtain this structure.
RLCD is defined by the output contract, not by a unique source of reward.
If Jev is a calibrated, schema-conditioned Plackett–Luce model, its behavior should expose several measurable properties.
A two-option Choice and an equivalent Noul question should produce closely aligned probabilities:
Their relative odds should match a direct pairwise comparison when the context and wording are held constant.
Vanilla Plackett–Luce satisfies independence of irrelevant alternatives. A
正文由 探How 从来源站点 RSS 同步,内容未经改写;遇到排版缺失或需要图片、视频时请以原文为准。