`BookProof.ChapterAttentionLowRank.scoreMatrix_eq_mul` (Q K : Fin m → Fin d → ℝ) : scoreMatrix Q K = (Matrix.of Q) * (Matrix.of K).transpose

Initializing...

`BookProof.ChapterAttentionLowRank.scoreMatrix_eq_mul` (Q K : Fin m → Fin d → ℝ) : scoreMatrix Q K = (Matrix.of Q) * (Matrix.of K).transpose · Prove2Me