≡

(AB)ᵢⱼ = Σₖ AᵢₖBₖⱼ

tr(AB) = tr(BA)

∇L = ∂L/∂w

⊙

A = U Σ Vᵀ

rank(A) = #{σᵢ > 0}

‖A‖_F = √Σ σᵢ²

|A ∪ B| = |A| + |B| − |A ∩ B|

C(n,k) = n! / (k!(n−k)!)

↻ iterate

wₜ₊₁ = wₜ − η ∇L(wₜ)

L = − Σ y log ŷ

∂

P(A|B) = P(B|A) P(A) / P(B)

E[X] = Σ x P(x)

A = Q Λ Qᵀ

det(AB) = det A · det B

∀ε > 0, ∃δ

⟳

|⟨x,y⟩| ≤ ‖x‖·‖y‖

‖x+y‖ ≤ ‖x‖ + ‖y‖

∇

contact

Get in touch.

Choose the channel that fits — partner inquiry, press, careers, or general.

General

hello@keilab.io

Anything that doesn't fit the other channels.

Partnerships

partners@keilab.io

Hardware OEM, licensing, co-development.

Press

press@keilab.io

Media kit, interview, fact-check.

Careers

Engineering, research, hardware roles. Tell us what you'd build.