`BookProof.ChapterSoftmaxMaxEntropy.log_scoreSoftmax` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : Real.log (scoreSoftmax beta s j) = beta * s j

Initializing...

`BookProof.ChapterSoftmaxMaxEntropy.log_scoreSoftmax` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : Real.log (scoreSoftmax beta s j) = beta * s j - logPartition beta s · Prove2Me