`BookProof.ChapterSoftmaxJacobian.softmaxJacobian_quadratic_form_score` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : ∑ a, ∑ b, s a * softmaxJacobian beta s a b * s b = beta * varScore

Initializing...

`BookProof.ChapterSoftmaxJacobian.softmaxJacobian_quadratic_form_score` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : ∑ a, ∑ b, s a * softmaxJacobian beta s a b * s b = beta * varScore · Prove2Me