`BookProof.ChapterAttentionResponse.scoreValueCovariance_eq_sub` (beta : ℝ) (s : Fin m → ℝ) (v : Fin m → E) : scoreValueCovariance beta s v = (∑ j, (scoreSoftmax beta s j * s j) •

Initializing...

`BookProof.ChapterAttentionResponse.scoreValueCovariance_eq_sub` (beta : ℝ) (s : Fin m → ℝ) (v : Fin m → E) : scoreValueCovariance beta s v = (∑ j, (scoreSoftmax beta s j * s j) • · Prove2Me