← All symbols

Symbol in context

VV

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

Meanings in context

Used in 59 equations

Lseq=−∑t=1Tlog⁡pθ ⁣(zt∣z<t),zt∈{0,1,…,V−1}\mathcal{L}_{\text{seq}} = -\sum_{t=1}^{T} \log p_\theta\!\left(z_t \mid z_{<t}\right), \qquad z_t \in \{0, 1, \dots, V-1\}

Adapters, Native Pretraining, and Unified Tokens: The Main Multimodal Architectures, Compared · Equation 9

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 →
∀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 →