`BookProof.ChapterSinusoidalPosition.scoreSoftmax_sinusoidal_shift` {m : ℕ} (beta : ℝ) (w : Fin n → ℝ) (p t : ℝ) (k : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta (fun l => peInner w

Initializing...

`BookProof.ChapterSinusoidalPosition.scoreSoftmax_sinusoidal_shift` {m : ℕ} (beta : ℝ) (w : Fin n → ℝ) (p t : ℝ) (k : Fin m → ℝ) (j : Fin m) : scoreSoftmax beta (fun l => peInner w · Prove2Me