`BookProof.ChapterAttentionPrior.priorSoftmax_eq_scoreSoftmax_bias` {w : Fin m → ℝ} (hw : ∀ j, 0 < w j) {beta : ℝ} (hb : beta ≠ 0) (s : Fin m → ℝ) (j : Fin m) : priorSoftmax w beta

Initializing...

`BookProof.ChapterAttentionPrior.priorSoftmax_eq_scoreSoftmax_bias` {w : Fin m → ℝ} (hw : ∀ j, 0 < w j) {beta : ℝ} (hb : beta ≠ 0) (s : Fin m → ℝ) (j : Fin m) : priorSoftmax w beta · Prove2Me