`BookProof.ChapterAttentionResponse.deriv_headOutput` (beta : ℝ) (s : Fin m → ℝ) (v : Fin m → E) : deriv (fun b : ℝ => headOutput b s v) beta = scoreValueCovariance beta s v

Initializing...

`BookProof.ChapterAttentionResponse.deriv_headOutput` (beta : ℝ) (s : Fin m → ℝ) (v : Fin m → E) : deriv (fun b : ℝ => headOutput b s v) beta = scoreValueCovariance beta s v · Prove2Me