`BookProof.ChapterCrossEntropyGradient.crossEntropyLoss_eq_zero_iff` (beta : ℝ) (s : Fin m → ℝ) (y : Fin m) : crossEntropyLoss beta s y = 0 ↔ scoreSoftmax beta s y = 1

Initializing...

`BookProof.ChapterCrossEntropyGradient.crossEntropyLoss_eq_zero_iff` (beta : ℝ) (s : Fin m → ℝ) (y : Fin m) : crossEntropyLoss beta s y = 0 ↔ scoreSoftmax beta s y = 1 · Prove2Me