`BookProof.ChapterSoftmaxSharpness.scoreSoftmax_eq_inv_sum` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta s j = 1 / ∑ l, Real.exp (beta * (s l

Initializing...

`BookProof.ChapterSoftmaxSharpness.scoreSoftmax_eq_inv_sum` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta s j = 1 / ∑ l, Real.exp (beta * (s l - s j)) · Prove2Me