`BookProof.ChapterSoftmaxFluctuation.scoreSoftmax_eq_div` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta s j = Real.exp (beta * s j) / partition beta s

Initializing...

`BookProof.ChapterSoftmaxFluctuation.scoreSoftmax_eq_div` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta s j = Real.exp (beta * s j) / partition beta s · Prove2Me