`BookProof.ChapterAttentionMasking.causalSoftmax_eq_conditional` (beta : ℝ) (s : Fin m → ℝ) {i j : Fin m} (hij : j ≤ i) : maskedSoftmax beta s (causalMask m i) j = scoreSoftmax bet

Initializing...

`BookProof.ChapterAttentionMasking.causalSoftmax_eq_conditional` (beta : ℝ) (s : Fin m → ℝ) {i j : Fin m} (hij : j ≤ i) : maskedSoftmax beta s (causalMask m i) j = scoreSoftmax bet · Prove2Me