← All symbols

Symbol in context

rr

This entry links every published equation using this exact notation. Its meaning may change between equations.

Meanings in context

Used in 95 equations

J(θ)=Ex∼D, y∼πθ(⋅∣x)[r(x,y)]−βDKL(πθ(⋅∣x) ∥ πref(⋅∣x))J(\theta) = \mathbb{E}_{x \sim \mathcal{D},\ y \sim \pi_\theta(\cdot \mid x)}\left[r(x,y)\right] - \beta D_{\mathrm{KL}}\left(\pi_\theta(\cdot \mid x) \,\|\, \pi_{\mathrm{ref}}(\cdot \mid x)\right)

Claude, From First Principles: Training, Constitutional Methods, and What Actually Shapes a Response · Equation 6

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions.

Equation guide → · This term → · Article →
∀V. packing⁡(V)  ⟹  ∃c. ∀r. 1≤r  ⟹  card⁡ ⁣(V∩B(0,r))≤πr318+c r2\forall V.\ \operatorname{packing}(V) \implies \exists c.\ \forall r.\ 1 \le r \implies \operatorname{card}\!\left(V \cap B(0,r)\right) \le \frac{\pi r^{3}}{\sqrt{18}} + c\,r^{2}

What a Proof Assistant Changes · Equation 1

This equation states a bound: one expression must stay on the indicated side of the other under the article’s assumptions.

Equation guide → · This term → · Article →