`BookProof.ChapterAttentionLocality.scoreSoftmax_alibi_antitone` {beta gamma : ℝ} (hb : 0 ≤ beta) (hg : 0 ≤ gamma) (c : ℝ) (d : Fin m → ℝ) {i j : Fin m} (hij : d i ≤ d j) : scoreSo

Initializing...

`BookProof.ChapterAttentionLocality.scoreSoftmax_alibi_antitone` {beta gamma : ℝ} (hb : 0 ≤ beta) (hg : 0 ≤ gamma) (c : ℝ) (d : Fin m → ℝ) {i j : Fin m} (hij : d i ≤ d j) : scoreSo · Prove2Me