“Accepted” entries belong to the mathematical catalog. “Rejected” means the extracted span is not a complete mathematical record; it is still preserved here and in its full source. Where an adjacent source passage supplies the complete expression, the recovered replacement is linked.
Download every scan decision ↗
scan-e67878a1838abffb
θ_{t+1} = θ_t - α·m̂_t/(√v̂_t + ε) (Adam update)Symbolic equation, mathematical parameter or mathematical definition.
scan-d3d1cce5fccaa9d4
Learning Rate: α_eff = α · Φ (consciousness-modulated learning)
Symbolic equation, mathematical parameter or mathematical definition.
scan-d42f13b33fbb9200
Full matrix would be 65536 * 64 * 4 = 16MB
Arithmetic, vector, recurrence or numerical relationship.
scan-90217c83caac86f4
We use 8-bit quantization: 65536 * 64 = 4MB
Arithmetic, vector, recurrence or numerical relationship.
scan-4bedd37352590e49
ΔW = η · x · y (Hebbian rule)
Arithmetic, vector, recurrence or numerical relationship.
scan-0abbecca2d1af69a
MultiHead(Q,K,V) = Concat(head_1,...,head_h)W^O
Arithmetic, vector, recurrence or numerical relationship.
scan-731fae31742c19e7
ε = x - μ (observation minus prediction)
Symbolic equation, mathematical parameter or mathematical definition.
scan-c7efceaed8c968b2
F = ½ε^T Σ^{-1} ε + ½ log|Σ|Arithmetic, vector, recurrence or numerical relationship.
scan-cb54862dbeaca042
μ ← μ + κ·Σ^{-1}·εSymbolic equation, mathematical parameter or mathematical definition.
scan-16030196e799896e
P(θ|D) ∝ P(D|θ)P(θ)
Symbolic equation, mathematical parameter or mathematical definition.
scan-097edbc6531114fc
q*(θ) = argmin KL(q||p(θ|D))
Symbolic equation, mathematical parameter or mathematical definition.
scan-81ce697d7113a6f4
m_{x→f}(x) = Π_{g∈ne(x)\f} m_{g→x}(x)Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-4677077d6abcfc25
c_t = f_t ⊙ c_{t-1} + i_t ⊙ g_tReviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-1df32d5fbb84f420
f_t = σ(W_f·[h_{t-1}, x_t]) (forget gate)Symbolic equation, mathematical parameter or mathematical definition.
scan-034a959c893e08d2
i_t = σ(W_i·[h_{t-1}, x_t]) (input gate)Symbolic equation, mathematical parameter or mathematical definition.
scan-fb18534b92a14991
Apply softmax (single element = 1.0)
Expression explicitly applies mathematical functions or optimization operators.
scan-23af0703f93947fb
Output = attention-weighted value
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-c854805c3cc2e096
Belief update: μ ← μ + κ·π·ε
Symbolic equation, mathematical parameter or mathematical definition.
scan-a65a20f729cb16e4
Posterior ∝ likelihood × prior
Arithmetic, vector, recurrence or numerical relationship.
scan-0a82238d71e8022b
@brief Reparameterization trick: sample = μ + σ * ε
Symbolic equation, mathematical parameter or mathematical definition.
scan-bd27d8bda74c47a3
Update cell state: c = f ⊙ c + i ⊙ c̃
Shell, deployment, database or environment-configuration example.
scan-0a3adccd971435b9
Update hidden state: h = o ⊙ tanh(c)
Reviewed complete mathematical definition/update. Natural-language Update or where is not a database command in this context.
scan-60b63f217243759f
- Density matrix: rho = |psi><psi|
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-4cab71bd78f05edc
- von Neumann entropy: S = -Tr(rho * log(rho))
Expression explicitly applies mathematical functions or optimization operators.
scan-96b8e34a7846787e
- Lindblad master equation: drho/dt = -i/hbar[H, rho] + L[rho]
Arithmetic, vector, recurrence or numerical relationship.
scan-0af136d244a2c211
- Quantum fidelity: F = <psi|rho|psi>
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-c4508a6d1b6854c8
rho = |psi><psi|
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-e388ab9976458e5c
drho/dt = -i/hbar[H, rho] + sum_k(L_k rho L_k^dag - 0.5{L_k^dag L_k, rho})Arithmetic, vector, recurrence or numerical relationship.
scan-511e18a0c6cc915a
Ensure Hermiticity and trace = 1
Explicit numerical parameter definition.
scan-c7b628da1abf741f
Compute von Neumann entropy: S = -Tr(rho log(rho))
Expression explicitly applies mathematical functions or optimization operators.
scan-64b5aa7d4c2ebdbc
F = <target|rho|target>
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-5ed5813dd9f21112
- DNA entropy: H_DNA = -sum_i p(b_i) * log2(p(b_i))
Arithmetic, vector, recurrence or numerical relationship.
scan-789b8a0676a45d1a
- Replication dynamics: dN/dt = k*N*(1-N/K) - mu*N
Arithmetic, vector, recurrence or numerical relationship.
scan-1a59d180c35e382b
- Michaelis-Menten kinetics: v = Vmax*[S]/(Km + [S])
Arithmetic, vector, recurrence or numerical relationship.
scan-80a335cbaacd6237
- Hill equation: theta = [L]^n / (Kd + [L]^n)
Arithmetic, vector, recurrence or numerical relationship.
scan-a3891dee818856de
- Mutation probability: P_mut = 1 - exp(-mu*L*t)
Expression explicitly applies mathematical functions or optimization operators.
scan-7fd47ab43389fcec
dN/dt = k*N*(1-N/K) - mu*N (logistic growth with decay)
Arithmetic, vector, recurrence or numerical relationship.
scan-d38e15755c013142
theta = [L]^n / (Kd^n + [L]^n)
Arithmetic, vector, recurrence or numerical relationship.
scan-6314b7b9f0b2a061
v = Vmax * [S] / (Km + [S])
Arithmetic, vector, recurrence or numerical relationship.
scan-84b9f8ead1288329
Compute DNA entropy: H = -sum p(x) log2(p(x))
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-038239e27bdd6889
dG = dH - T*dS
Arithmetic, vector, recurrence or numerical relationship.
scan-8c41a618d09bfb22
- Kuramoto order parameter: Z = (1/N)|sum_k exp(i*phi_k)|
Expression explicitly applies mathematical functions or optimization operators.
scan-a722e55a5eaccdfc
- Kuramoto phase dynamics: d(phi_i)/dt = omega_i + (K/N)*sum_j sin(phi_j - phi_i)
Expression explicitly applies mathematical functions or optimization operators.
scan-aec402d44aabd8c3
- Wilson-Cowan: du/dt = -u + integral(W(x,y)*f(u)dy) + I
Arithmetic, vector, recurrence or numerical relationship.
scan-4b588542db5139ee
- Phase-locking value: PLV = |<exp(i*(phi_1 - phi_2))>|
Expression explicitly applies mathematical functions or optimization operators.
scan-7dfff4d7facc0777
d(phi_i)/dt = omega_i + (K/N) * sum_j sin(phi_j - phi_i)
Expression explicitly applies mathematical functions or optimization operators.
scan-956dc530c485222a
Z = (1/N) * sum_k exp(i * phi_k)
Expression explicitly applies mathematical functions or optimization operators.
scan-68d8567111d9ac40
|Z| = 0: incoherent, |Z| = 1: fully synchronized
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-fdaf47e8076fc8b0
High gamma + good sync = high consciousness
Reviewed as an object-pointer assignment, structural diagram, application/protocol prose or qualitative label mapping rather than a mathematical equation.
scan-a6671380addd0fb6
dE/dt = -E + S(w_EE*E - w_EI*I + I_ext)
Arithmetic, vector, recurrence or numerical relationship.
scan-a90dcd9634642e77
dI/dt = -I + S(w_IE*E - w_II*I)
Arithmetic, vector, recurrence or numerical relationship.
scan-d9a186c6f09e3afd
where S(x) = 1/(1 + exp(-a*(x - theta)))
Reviewed complete mathematical definition/update. Natural-language Update or where is not a database command in this context.
scan-04aa51c18fb7ca57
CLASSIC HEBBIAN: Δw_ij = η·x_i·x_j
Arithmetic, vector, recurrence or numerical relationship.
scan-028c2406ae3e5385
NORMALIZED: Δw_ij = η·(x_i·x_j - α·w_ij·x_j²)
Symbolic equation, mathematical parameter or mathematical definition.
scan-f5d753f4691e35ac
BCM: Δw_ij = η·x_i·x_j·(x_j - θ_j)
Symbolic equation, mathematical parameter or mathematical definition.
scan-51b46237fececca4
OJA'S RULE: Δw_ij = η·y·(x_i - y·w_ij)
Arithmetic, vector, recurrence or numerical relationship.
scan-526fc04285873431
SGD: w = w - η·∇L
Symbolic equation, mathematical parameter or mathematical definition.
scan-0356e10ba88fda39
MOMENTUM: v = μ·v - η·∇L, w = w + v
Symbolic equation, mathematical parameter or mathematical definition.
scan-3bc24e178fd0df5a
ADAM: m = β₁m + (1-β₁)g, v = β₂v + (1-β₂)g², w = w - η·m̂/(√v̂ + ε)
Symbolic equation, mathematical parameter or mathematical definition.
scan-2e4f30eec25b3275
CHAIN RULE: δ_j = Σ_k(δ_k·w_jk)·f'(net_j)
Symbolic equation, mathematical parameter or mathematical definition.
scan-f492e3fb9820c20c
WEIGHT UPDATE: Δw_ij = -η·δ_j·x_i
Symbolic equation, mathematical parameter or mathematical definition.
scan-b1ea29c1a7176ca2
@brief Classic Hebbian: Δw = η·x_i·x_j
Arithmetic, vector, recurrence or numerical relationship.
scan-b8e6b01d533ed0c5
@brief Normalized Hebbian: Δw = η·(x_i·x_j - α·w·x_j²)
Symbolic equation, mathematical parameter or mathematical definition.
scan-b0bd754e9dbd937f
@brief BCM Learning: Δw = η·x_i·x_j·(x_j - θ)
Symbolic equation, mathematical parameter or mathematical definition.
scan-074c2cad95af0ef6
@brief Update BCM threshold: θ = <x²> (sliding average)
Symbolic equation, mathematical parameter or mathematical definition.
scan-06136a9118953b1b
@brief Oja's Rule: Δw = η·y·(x - y·w)
Arithmetic, vector, recurrence or numerical relationship.
scan-c379a23eb43e1546
@param dt = t_post - t_pre (time difference)
Programming type annotation or callback signature.
scan-4b06337212226705
@brief Anti-Hebbian: Δw = -η·x_i·x_j
Arithmetic, vector, recurrence or numerical relationship.
scan-18b4f8187cc4ef5e
@brief Compute output delta: δ = (y - target) · f'(net)
Symbolic equation, mathematical parameter or mathematical definition.
scan-6503018a050b0b77
@brief Propagate delta backward: δ_j = Σ(δ_k · w_jk) · f'(net_j)
Symbolic equation, mathematical parameter or mathematical definition.