AI Alignment

Draft complete but not yet reviewed; expect revisions

Notation

The tables below list the symbols that recur across chapters, each with the meaning it keeps and the section that defines it. A symbol used in a single derivation or exercise (the pp of a coin, a function ff) is defined where it is used. A few such local definitions borrow a listed letter, such as TT for a count of intermediate steps or dd for the depth of a leaf in a decision tree; the local definition then holds only in that passage, which states it. The letter zz has two book-wide meanings, since it is the usual letter both for a latent variable and for a measured score: it is a latent task or persona in the chapters on language models and the personas training shapes, and a measured score in the chapters on evaluation and delegation. No chapter uses it in both senses, and each defines it where it first appears; a single derivation may also use it locally, as for a logit or a data point, and defines it there. The last table spells out the abbreviations the book uses.

B.1 Conventions #

Form Meaning
xx, nn, β\beta scalars, in italic
x\vx, h\vh vectors, bold lowercase
W\mW, A\mA matrices, bold uppercase
X\X, D\D sets and datasets, calligraphic
P(E)\Prob(\mathcal{E}), P(E ∣ E′)\Prob(\mathcal{E} \given \mathcal{E}') probability of an event, a set of outcomes, and conditional probability (Section 6.1.1)
p(x)p(x), q(x)q(x) probability distributions (mass or density)
E[X]\E[X], Ey∼π[r(y)]\E_{y \sim \pi}[r(y)] expectation, with the distribution as subscript when it matters
Var⁡(X)\Var(X), Cov⁡(X,Y)\Cov(X, Y) variance, covariance
N(μ,σ2)\N(\mu, \sigma^2) normal distribution with mean μ\mu and variance σ2\sigma^2
KL⁡(p ∥ q)\KL(p \,\Vert\, q) KL divergence of pp from qq (Section 6.3)
χ2(p ∥ q)\chi^2(p \,\Vert\, q) chi-squared divergence of pp from qq, ∑xp(x)2/q(x)−1\sum_x p(x)^2/q(x) - 1 (Section 15.4.4)
H(p)H(p), H(p,q)H(p, q) entropy of pp, and cross-entropy of qq under pp (Section 6.2.1, Section 6.2.2)
log⁡\log natural logarithm; information in nats unless a source reports bits
arg max⁡xf(x)\argmax_x f(x) the input at which ff is largest
σ(z)=1/(1+e−z)\sigma(z) = 1/(1 + e^{-z}) the logistic function
ReLU(z)=max⁡(0,z)\mathrm{ReLU}(z) = \max(0, z) the rectified linear unit (Section 8.2.1)
Φ\Phi, ϕ\phi the standard normal distribution function and density
Γ(⋅)\Gamma(\cdot) the gamma function (Section 4.6.2)
1[⋅]\mathbb{1}[\cdot] the indicator: 1 when the condition holds, 0 otherwise (Section 6.6.1)
A\mathrm{A}, B\mathrm{B}, L1\mathrm{L}_1 labels of options, outcomes, and lotteries, set upright so they never read as the symbols listed below
A⊤\mA^\T transpose

B.2 Language models and training #

Symbol Meaning Defined in
xx a prompt or context given to a model Section 11.1
yy a response or completion Section 11.1
xtx_t, x<tx_{<t} the token at position tt, and the tokens before it; yty_t, y<ty_{<t} the same within a response Section 11.1
θ\theta a model's parameters (weights) Section 8.1
fθf_\theta a model: the function from inputs to outputs that the parameters θ\theta select Section 8.1
pθp_\theta a model's predicted distribution, such as its next-token distribution pθ(xt ∣ x<t)p_\theta(x_t \given x_{<t}) Section 8.1, Section 11.1
F\mathcal{F} a family of predictors that training chooses among Section 9.1.2
πθ(y ∣ x)\pi_\theta(y \given x) the policy: the model's distribution over responses Section 12.2
π0\pi_0 the reference policy that training starts from and is anchored to Section 12.3
π∗\pi^\ast the optimum of a stated objective Section 12.3
r(x,y)r(x, y) a reward: the signal training optimizes Section 7.5
rϕr_\phi a learned reward model with parameters ϕ\phi Section 13.3
r∗r^\ast the intended (gold) reward that rr or rϕr_\phi stands for Section 15.3.1
r^θ(y)\hat r_\theta(y) the implicit reward of a policy, βlog⁡(πθ(y ∣ x)/π0(y ∣ x))\beta \log\big(\pi_\theta(y \given x)/\pi_0(y \given x)\big) Section 12.6
β\beta the weight of the KL penalty Section 12.3
Z(x)Z(x) the normalizing constant of the KL-regularized optimum Section 12.3
d=KL⁡(π ∥ π0)d = \sqrt{\KL(\pi \,\Vert\, \pi_0)} optimization pressure, as distance from the reference policy Section 15.6
nn a sample size: training examples, test questions, or independent trials; in "best-of-nn" the number of samples drawn Section 6.5, Section 9.2.2, Section 12.5
λlc\lambda_{\text{lc}} the learning coefficient of singular learning theory (the subscript keeps λ\lambda free for a sparsity weight) Section 10.2
TT sampling temperature Section 11.1
D\D a training or evaluation dataset Section 8.1
L(θ)L(\theta) a loss function Section 8.1
NN, DD, CC a model's parameter count, its training tokens, and its training compute in FLOPs (CC is effective compute in Section 36.2.1 and Section 62.2) Section 8.5
η\eta the learning rate Section 8.3
J(θ)J(\theta), J(π)J(\pi) an objective: the quantity training maximizes Section 12.1.2
AA an advantage: a reward minus its expected value under the policy Section 12.1.3
kk the number of responses sampled per prompt in group-based training Section 12.7.1
FF the distribution function of the reward under π0\pi_0 Section 12.5.1
κ=1/β\kappa = 1/\beta the inverse KL weight Section 12.3.3
ω\omega a probability ratio used as a weight: the importance weight p(x)/q(x)p(x)/q(x), and PPO's ratio ω(θ)\omega(\theta) between the new and the old policy Section 6.6.1, Section 12.1.4
p0p_0 the reference probability of one response Section 12.3.3
o0o_0 prior odds before training: of a response under the reference, p0/(1−p0)p_0/(1 - p_0), or of one goal against another Section 24.4.3, Section 30.2.2
Δ\Delta the reward gap between one response and its alternatives Section 12.3.3
zz, p(z)p(z), z∗z^\ast a latent task a text could come from, its prior probability, and the task that generated the examples (in these chapters only; see the score row under evaluation) Section 11.3.1, Section 11.6.1
zAz_A, zBz_B two personas a model can enact: the Assistant and another character Section 11.6.3
Λ\Lambda the likelihood ratio one example gives between two personas Section 11.6.3
MM the number of examples in a context Section 11.3.1
yhy_{\mathrm{h}} an honest response, honest work Section 30.2.2, Section 40.5.2
yey_{\mathrm{e}} a grader exploit Section 30.2.2
yoy_{\mathrm{o}}, ycy_{\mathrm{c}} an overt and a covert hack; php_{\mathrm{h}}, pop_{\mathrm{o}}, pcp_{\mathrm{c}} the reference probabilities of honest work and the two hacks Section 40.5.2
Δmon\Delta_{\text{mon}} the reward a monitor's flag removes from an episode Section 40.5.2

B.3 Decisions and reinforcement learning #

Symbol Meaning Defined in
ss, aa a state and an action Section 7.4
S\mathcal{S}, A\mathcal{A} the sets of states and actions Section 7.4
P(s′ ∣ s,a)P(s' \given s, a) transition probabilities Section 7.4
γ\gamma the discount factor Section 7.4
GG the return: the discounted sum of rewards along a trajectory Section 7.4
V(s)V(s), Q(s,a)Q(s, a) the value of a state, of a state-action pair Section 7.4
UU a utility function, or the utility of an uncertain outcome Section 7.2

B.4 Preferences and choice #

Symbol Meaning Defined in
yw≻yly_w \succ y_l ywy_w is preferred to yly_l Section 13.1
ywy_w, yly_l the preferred and the dispreferred response of a comparison Section 13.2
P(yw≻yl)=σ(r(yw)−r(yl))\Prob(y_w \succ y_l) = \sigma(r(y_w) - r(y_l)) the Bradley-Terry model Section 13.2
τ\tau a chooser's noise scale; its inverse is the rationality coefficient of a Boltzmann model Section 13.2.2
Ψ\Psi a shaping potential Section 13.4.1

B.5 Rates, tests, and detection #

Symbol Meaning Defined in
α\alpha the false positive rate of a test or monitor Section 6.7
βmiss\beta_{\text{miss}} the miss rate, so 1−βmiss1 - \beta_{\text{miss}} is the detection rate; the subscript keeps β\beta free for the KL weight Section 6.7
πbase\pi_{\text{base}} the base rate of the event a test looks for Section 6.7
p^\hat{p} an estimated rate Section 6.5
pupperp_{\text{upper}} an upper confidence bound on a rate never observed Section 6.5
ρ\rho a correlation coefficient, including the intraclass correlation of clustered questions Section 6.1, Section 36.7.1
d′d' the separation of two normal score distributions in units of their standard deviation, a detector's sensitivity Section 6.7.2
R2R^2 the share of variance a model explains, as a source reports it Section 6.1
mnm_n the expected maximum of nn independent standard normal draws Section 7.7.2
PTP_T, PDP_D the distributions of inputs in tests and in deployment Section 37.2
TV(p,q)\mathrm{TV}(p, q) total variation distance: the largest difference two distributions give to one set Section 37.2

B.6 Evaluation and measurement #

Symbol Meaning Defined in
z(u)z(u), z^\hat z, z∗z^\ast a measured score: under elicitation method uu (in Section 48.1, uu is an attack); the reported score; the best score under any method. In delegation, zz is the principal's noisy measure of the agent's effort. In the chapters on language models and personas, zz is a latent task instead (see the introduction) Section 36.2.1, Section 14.1.1
Ueval\mathcal{U}_{\text{eval}}, U\mathcal{U} the methods an evaluation tried (in Section 48.1, attacks); the attacks a threat model allows Section 36.2.1, Section 48.1
z10z_{10} score points per tenfold increase in training compute Section 36.2.1
zweakz_{\text{weak}}, zw2sz_{\text{w2s}}, zceilz_{\text{ceil}} the scores of a weak supervisor, of a strong student trained on its labels, and of the strong model trained on correct labels Section 42.1
PGR\mathrm{PGR} performance gap recovered, (zw2s−zweak)/(zceil−zweak)(z_{\text{w2s}} - z_{\text{weak}})/(z_{\text{ceil}} - z_{\text{weak}}) Section 42.1
gelg_{\text{el}} the elicitation gap, as a compute-equivalent factor Section 36.2.1, Section 62.2
h50h_{50} a model's 50 percent time horizon Section 36.3.1
tjt_j the time task jj takes a human Section 36.3.1
ξ\xi an unobserved trait that a measurement targets; in an item response model, a respondent's ability Section 5.2.2, Section 18.2.2, Section 36.4.1
bjb_j, ℓj\ell_j an item's difficulty and discrimination Section 36.4.1
I(ξ)I(\xi) test information, the sum of the items' Ij(ξ)I_j(\xi) Section 36.4.1
ncn_{\text{c}}, neffn_{\text{eff}} questions per cluster; the effective number of independent questions Section 36.7.1
δmin⁡\delta_{\min}, σd2\sigma_d^2 the smallest difference a comparison should detect; the variance of a per-question difference Section 36.7.2

B.7 Delegation and games #

Symbol Meaning Defined in
ee the agent's action or effort, unobserved by the principal Section 14.1
ww the payment or reward the principal sets Section 14.1
c(e)c(e) the agent's cost of an action Section 14.1
θA\theta_A the agent's type: what it gains of its own when the principal's mission succeeds Section 14.5.1
qinspq_{\text{insp}} the probability of inspection in an inspection game Section 14.6
T\mathrm{T}, R\mathrm{R}, P\mathrm{P}, S\mathrm{S} the payoffs of a prisoner's dilemma: temptation, reward, punishment, and the sucker's payoff (upright, since TT and PP are listed) Section 57.2.1
nattn_{\text{att}}, psuccp_{\text{succ}} the expected attack attempts over a deployment, and the chance an unaudited attempt succeeds Section 50.2
αdef\alpha_{\text{def}} the share of honest outputs scoring above the lower, deferral threshold, audited ones included, so that the share deferred to a trusted model is αdef−α\alpha_{\text{def}} - \alpha Section 50.2
ninstn_{\text{inst}}, pinstp_{\text{inst}} the number of instances of a model deployed, and an instance's probability of failing (as a function, pinst(x)p_{\text{inst}}(x), of the situation) Section 51.4, Section 57.4
poppp_{\text{opp}}, pprp_{\text{pr}}, pactp_{\text{act}} the share of an agent's episodes with an opportunity for harm, the share of those under pressure, and the conditional propensity to act Section 56.2
nteamn_{\text{team}} the number of teams: in each arm of an uplift trial, or in a race Section 59.1, Section 65.2.2
Harm\mathrm{Harm} the harm one bad outcome causes, in a stated unit; Harmc\mathrm{Harm}_c for harm category cc Section 59.1, Section 61.5.1, Section 63.1.1
W∧S⊢RW \wedge S \vdash R the proof obligation: domain assumptions about the world WW and a specification SS together entail the requirements RR; the three letters keep these meanings only inside it Section 19.1
pfindp_{\text{find}} the chance of following an obfuscated flaw to its leaf Section 41.4
Γg\Gamma_{\mathrm{g}}, Γ0\Gamma_0 the general-capability Elo gap between overseer and overseen, and a game's tilt Section 41.6
nstepn_{\text{step}} the number of steps in nested oversight; pstepp_{\text{step}} and PchainP_{\text{chain}} the per-step and chain success Section 41.6
EGE_{\mathrm{G}}, EHE_{\mathrm{H}} the Elo scores of the overseer (Guard) and the overseen (Houdini) Section 41.6

B.8 Representations and interpretability #

Symbol Meaning Defined in
V\mathcal{V} a language model's vocabulary Section 11.1.1
h\vh an activation vector, such as the residual stream at one position Section 11.2
mm the dimension of an activation vector Section 11.2
WE\mW_E, WU\mW_U the embedding and unembedding matrices Section 11.2.2
WQ\mW_Q, WK\mW_K, WV\mW_V, WO\mW_O an attention head's query, key, value, and output matrices; WQ⊤WK\mW_Q^\T \mW_K and WOWV\mW_O \mW_V are its QK and OV circuits Section 11.2.2, Section 11.2.3
mheadm_{\text{head}} the dimension of an attention head Section 11.2.2
atsa_{ts} the attention weight from position tt to an earlier position ss Section 11.2.2
f\vf a vector of feature activations Section 44.2
Wenc\mW_{\text{enc}}, Wdec\mW_{\text{dec}} the encoder and decoder of a sparse autoencoder Section 44.5
λ\lambda the weight of a sparsity penalty Section 44.5
v\vv, v0v_0 a direction in activation space (a probe or steering vector), and a probe's offset Section 43.2.2
Net\mathrm{Net}, Alg\mathrm{Alg} a network, and a high-level algorithm it may implement Section 43.5.2
Perf\mathrm{Perf} a scalar measure of a model's output, such as a logit difference Section 43.3.3, Section 45.1.1
nfn_{\text{f}} the number of features, or of latents in a dictionary Section 44.2
μ0\vmu_0, μ1\vmu_1 the mean activation without and with a concept Section 46.1
Σ\mSigma the within-class covariance of activations; Σu\mSigma_{\text{u}} the covariance of the unembedding vectors Section 46.1
vread\vv_{\text{read}}, vwrite\vv_{\text{write}} for two Gaussian classes with a shared, invertible covariance: the best linear probe direction, Σ−1(μ1−μ0)\mSigma^{-1}(\vmu_1 - \vmu_0), and the added vector that turns one class's distribution into the other's, μ1−μ0\vmu_1 - \vmu_0 Section 46.1.3

B.9 Abbreviations #

Each abbreviation is listed with the section that introduces the term. Names of organizations, models, benchmarks, and laws are not listed. Several abbreviations name a framework or method that a party with a stake in it coined, most often a laboratory naming its own framework; the last column names the coiner, as the glossary does (Appendix A), and is empty for terms standard in their field.

Table B.1 Abbreviations
Abbreviation Spelled out Introduced in Coined by
ACDC Automatic Circuit DisCovery Section 45.3.1
AGI artificial general intelligence Section 2.5.2
API application programming interface Section 12.2.1
ASL AI Safety Level Section 62.1.1 Anthropic
ASR attack success rate Section 48.1.2
AtP attribution patching Section 43.3.3
AUC, AUROC area under the ROC curve Section 5.8.3
BIC Bayesian information criterion Section 10.2.2
CBRN chemical, biological, radiological, and nuclear Section 62.1.2
CCL Critical Capability Level Section 62.1.2 Google DeepMind
CCS contrast-consistent search Section 39.7.2
CDT causal decision theory Section 7.6.1
CIRL cooperative inverse reinforcement learning Section 22.2
CoT chain of thought Section 11.2.5
DAS distributed alignment search Section 43.5.4
DPO direct preference optimization Section 12.6
EDT evidential decision theory Section 7.6.1
ELK eliciting latent knowledge Section 39.7.1 Christiano, Cotra, and Xu, Alignment Research Center
FDT functional decision theory Section 7.6.1 Yudkowsky and Soares, MIRI
FLOP, FLOPs floating-point operation, floating-point operations Section 8.5.2
GRPO Group Relative Policy Optimization Section 12.7.1 Shao et al., DeepSeek
GSN goal structuring notation Section 52.2
HHH helpful, honest, and harmless Section 1.1.4 Askell et al., Anthropic
ICM internal coherence maximization Section 42.5.2 Wen et al., most of them at Anthropic
IIA interchange intervention accuracy Section 43.5.2
IPO Identity-PO: Ψ\Psi-preference optimization with the identity mapping Section 22.4.1 Azar et al., Google DeepMind
KL Kullback-Leibler, as in KL divergence Section 6.3.1
KTO Kahneman-Tversky optimization Section 13.3.4 Ethayarajh et al.
LEACE least-squares concept erasure Section 43.2.4
LLC local learning coefficient Section 10.2.5
LLM, LM large language model, language model Chapter 11
LoRA low-rank adaptation Section 13.5.4
MAIM Mutual Assured AI Malfunction Section 65.3.5 Hendrycks, Schmidt, and Wang
MDP Markov decision process Section 7.4.1
MEG maximum entropy goal-directedness Section 7.1.3
ML machine learning Chapter 8
MLP multilayer perceptron: the two-layer network in each transformer block Section 11.2.2
MONA myopic optimization with non-myopic approval Section 28.4.2 Farquhar et al., Google DeepMind
OV, QK output-value and query-key, the two circuits of an attention head Section 11.2.3
PAC probably approximately correct, as in PAC learning Section 47.6
PGR performance gap recovered Section 42.1.1 Burns et al., OpenAI
PPO proximal policy optimization Section 12.1.4
PPV positive predictive value Section 17.3
ReLU rectified linear unit Section 8.2.1
RL reinforcement learning Chapter 12
RLAIF reinforcement learning from AI feedback Section 22.7.3 Bai et al., Anthropic
RLHF reinforcement learning from human feedback Section 22.3
RLVR reinforcement learning with verifiable rewards Section 12.7 Lambert et al., in a developer's report
RMU Representation Misdirection for Unlearning Section 27.7.1
ROC receiver operating characteristic Section 6.7.2
ROME Rank-One Model Editing Section 43.4.2
RSP responsible scaling policy Section 62.1.1 Anthropic, which credits the framework to Paul Christiano and ARC Evals
SAE sparse autoencoder Section 32.3
SDF synthetic document fine-tuning Section 5.3.1 Anthropic
SFT supervised fine-tuning Section 12.2.1
SGD stochastic gradient descent Section 9.3.2
STPA System-Theoretic Process Analysis Section 52.2
TD temporal difference, as in TD error Section 29.3.1
AI Alignment: From the Optimization Problem to the Institutions Around It · © 2026 Changkun Ou · CC BY-NC-SA 4.0
Bibliography · PV/UV /