`BookProof.ChapterAttentionStreaming.newWeight_eq` (beta sn : ℝ) (s : Fin m → ℝ) : newWeight beta sn s = Real.exp (beta * sn) / ((∑ l, Real.exp (beta * s l)) + Real.exp (beta * sn)

Initializing...

`BookProof.ChapterAttentionStreaming.newWeight_eq` (beta sn : ℝ) (s : Fin m → ℝ) : newWeight beta sn s = Real.exp (beta * sn) / ((∑ l, Real.exp (beta * s l)) + Real.exp (beta * sn) · Prove2Me