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

Initializing...

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