`BookProof.ChapterSoftmaxFluctuation.hasDerivAt_scoreSoftmax` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : HasDerivAt (fun b : ℝ => scoreSoftmax b s j) (scoreSoftmax beta s j * (s j

Initializing...

`BookProof.ChapterSoftmaxFluctuation.hasDerivAt_scoreSoftmax` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : HasDerivAt (fun b : ℝ => scoreSoftmax b s j) (scoreSoftmax beta s j * (s j - · Prove2Me