Live mathematical reference

Mathematical compendium

A live index of the equations in published articles. Each entry leads to its article, equation guide, and the terms explained there. New or edited published articles appear automatically.

1680 equations across 1484 symbols.

score(D,Q)=∑i=1nIDF(qi)⋅f(qi,D) (k1+1)f(qi,D)+k1(1−b+b ∣D∣avgdl)\mathrm{score}(D,Q) = \sum_{i=1}^{n} \mathrm{IDF}(q_i) \cdot \frac{f(q_i, D)\,(k_1+1)}{f(q_i, D) + k_1\left(1 - b + b\,\dfrac{|D|}{\mathrm{avgdl}}\right)}

1 published occurrence

View equation in context

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

All uses →Latest guide →Latest article →
FPR(τ)=P(block∣benign),FNR(τ)=P(allow∣harmful)\text{FPR}(\tau) = P(\text{block} \mid \text{benign}), \qquad \text{FNR}(\tau) = P(\text{allow} \mid \text{harmful})

1 published occurrence

View equation in context

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

All uses →Latest guide →Latest article →
Safeguard(m)={ASL-2,R(m)<τ3ASL-3,τ3≤R(m)<τ4ASL-4,R(m)≥τ4\text{Safeguard}(m) = \begin{cases} \text{ASL-2}, & R(m) < \tau_3 \\ \text{ASL-3}, & \tau_3 \le R(m) < \tau_4 \\ \text{ASL-4}, & R(m) \ge \tau_4 \end{cases}

1 published occurrence

View equation in context

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

All uses →Latest guide →Latest article →
C=pin(n+τ)+pcww+pcrr+pout(y+z)aC = \frac{p_{\mathrm{in}}(n + \tau) + p_{\mathrm{cw}} w + p_{\mathrm{cr}} r + p_{\mathrm{out}}(y + z)}{a}

1 published occurrence

View equation in context

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

All uses →Latest guide →Latest article →
CLC∼O(n2⋅d),CRAG∼O(k2⋅d),k≪nC_{\mathrm{LC}} \sim O(n^2 \cdot d), \qquad C_{\mathrm{RAG}} \sim O(k^2 \cdot d), \qquad k \ll n

1 published occurrence

View equation in context

This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text.

All uses →Latest guide →Latest article →
CRAG(Q)=pstore⋅S  +  Q⋅(pru⋅r(S)+prerank)C_{\mathrm{RAG}}(Q) = p_{\mathrm{store}} \cdot S \;+\; Q \cdot \left( p_{\mathrm{ru}} \cdot r(S) + p_{\mathrm{rerank}} \right)

1 published occurrence

View equation in context

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

All uses →Latest guide →Latest article →
cfull(M)=Θ(M),cretrieve(M)=O(log⁡M)+Θ(k),k≪Mc_{\text{full}}(M) = \Theta(M), \qquad c_{\text{retrieve}}(M) = O(\log M) + \Theta(k), \qquad k \ll M

1 published occurrence

View equation in context

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

All uses →Latest guide →Latest article →
C(model)≥τk  ⟹  deploy only if safeguards≥SkC(\text{model}) \ge \tau_k \;\Longrightarrow\; \text{deploy only if safeguards} \ge S_k

1 published occurrence

View equation in context

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

All uses →Latest guide →Latest article →