`BookProof.ChapterAttentionStreaming.scoreSoftmax_snoc_odds` (beta sn : ℝ) (s : Fin m → ℝ) (i j : Fin m) : scoreSoftmax beta (Fin.snoc s sn) i.castSucc * scoreSoftmax beta s j = sc

Initializing...

`BookProof.ChapterAttentionStreaming.scoreSoftmax_snoc_odds` (beta sn : ℝ) (s : Fin m → ℝ) (i j : Fin m) : scoreSoftmax beta (Fin.snoc s sn) i.castSucc * scoreSoftmax beta s j = sc · Prove2Me