`BookProof.ChapterScaledDotProduct.scoreSoftmax_scaled` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta (fun l => s l / Real.sqrt d) j = scoreSoftmax (beta / Real.sqrt d

Initializing...

`BookProof.ChapterScaledDotProduct.scoreSoftmax_scaled` (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta (fun l => s l / Real.sqrt d) j = scoreSoftmax (beta / Real.sqrt d · Prove2Me