`BookProof.ChapterSoftmaxTemperatureMonotone.differentiable_scoreSoftmax` (s : Fin m → ℝ) (j : Fin m) : Differentiable ℝ fun b : ℝ => scoreSoftmax b s j

Initializing...

`BookProof.ChapterSoftmaxTemperatureMonotone.differentiable_scoreSoftmax` (s : Fin m → ℝ) (j : Fin m) : Differentiable ℝ fun b : ℝ => scoreSoftmax b s j · Prove2Me