`BookProof.ChapterSinusoidalPosition.scoreSoftmax_sinusoidal_ge` {m : ℕ} {beta : ℝ} (hb : 0 ≤ beta) (w : Fin n → ℝ) (p : ℝ) (k : Fin m → ℝ) (j : Fin m) : Real.exp (-(beta * (2 * n)

Initializing...

`BookProof.ChapterSinusoidalPosition.scoreSoftmax_sinusoidal_ge` {m : ℕ} {beta : ℝ} (hb : 0 ≤ beta) (w : Fin n → ℝ) (p : ℝ) (k : Fin m → ℝ) (j : Fin m) : Real.exp (-(beta * (2 * n) · Prove2Me