`BookProof.ChapterSoftmaxJacobian.weightedVar_eq_sum_sq` (beta : ℝ) (s x : Fin m → ℝ) (i : Fin m) : weightedVar beta s x = ∑ j, scoreSoftmax beta s j * (x j

Initializing...

`BookProof.ChapterSoftmaxJacobian.weightedVar_eq_sum_sq` (beta : ℝ) (s x : Fin m → ℝ) (i : Fin m) : weightedVar beta s x = ∑ j, scoreSoftmax beta s j * (x j - ∑ l, scoreSoftmax bet · Prove2Me