`BookProof.ChapterAttentionLowRank.scoreMatrix_apply` (Q K : Fin m → Fin d → ℝ) (i j : Fin m) : scoreMatrix Q K i j = ∑ a, Q i a * K j a

Initializing...

`BookProof.ChapterAttentionLowRank.scoreMatrix_apply` (Q K : Fin m → Fin d → ℝ) (i j : Fin m) : scoreMatrix Q K i j = ∑ a, Q i a * K j a · Prove2Me