← All symbols

Symbol in context

BB

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

Meanings in context

Used in 93 equations

Approval(a)={automatic,p(a) S(a)≤Bhuman required,p(a) S(a)>B\text{Approval}(a) = \begin{cases} \text{automatic}, & p(a)\, S(a) \le B \\ \text{human required}, & p(a)\, S(a) > B \end{cases}

AI Agent Architecture in 2035: Four Scenarios, Their Signals, and What Would Falsify Them · Equation 5

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 →
L=−1B∑i=1Blog⁡exp⁡(⟨ui,vi⟩/τ)∑j=1Bexp⁡(⟨ui,vj⟩/τ),\mathcal{L} = -\frac{1}{B} \sum_{i=1}^{B} \log \frac{\exp(\langle u_i, v_i \rangle / \tau)}{\sum_{j=1}^{B} \exp(\langle u_i, v_j \rangle / \tau)},

One Model, Many Modalities: What Multimodal Systems Actually Share · 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 →