`BookProof.ChapterAttentionPrior.priorSoftmax_uniform` {c : ℝ} (hc : 0 < c) (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : priorSoftmax (fun _ => c) beta s j = scoreSoftmax beta s j

Initializing...

`BookProof.ChapterAttentionPrior.priorSoftmax_uniform` {c : ℝ} (hc : 0 < c) (beta : ℝ) (s : Fin m → ℝ) (j : Fin m) : priorSoftmax (fun _ => c) beta s j = scoreSoftmax beta s j · Prove2Me