`BookProof.ChapterSoftmaxMaxEntropy.crossEntropy_scoreSoftmax` (beta : ℝ) (s : Fin m → ℝ) {p : Fin m → ℝ} (hpsum : ∑ j, p j = 1) : crossEntropy p (scoreSoftmax beta s) = logPartiti

Initializing...

`BookProof.ChapterSoftmaxMaxEntropy.crossEntropy_scoreSoftmax` (beta : ℝ) (s : Fin m → ℝ) {p : Fin m → ℝ} (hpsum : ∑ j, p j = 1) : crossEntropy p (scoreSoftmax beta s) = logPartiti · Prove2Me