`BookProof.ChapterSoftmaxJacobian.deriv_logPartition_score` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : deriv (fun t : ℝ => logPartition beta (scorePerturb s i t)) 0 = beta * scoreSof

Initializing...

`BookProof.ChapterSoftmaxJacobian.deriv_logPartition_score` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : deriv (fun t : ℝ => logPartition beta (scorePerturb s i t)) 0 = beta * scoreSof · Prove2Me