`BookProof.ChapterSoftmaxMaxEntropy.softmax_free_energy_eq` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : -(beta * ∑ j, scoreSoftmax beta s j * s j) - shannonEntropy (scoreSoftmax beta

Initializing...

`BookProof.ChapterSoftmaxMaxEntropy.softmax_free_energy_eq` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : -(beta * ∑ j, scoreSoftmax beta s j * s j) - shannonEntropy (scoreSoftmax beta · Prove2Me