`BookProof.ChapterCoherentPositionSpace.packetBorn_eq_scoreSoftmax` {m : ℕ} (q : ℝ) (k : Fin m → ℝ) (j : Fin m) : packetBorn q k j = scoreSoftmax (1 / 2) (fun l => -(q

Initializing...

`BookProof.ChapterCoherentPositionSpace.packetBorn_eq_scoreSoftmax` {m : ℕ} (q : ℝ) (k : Fin m → ℝ) (j : Fin m) : packetBorn q k j = scoreSoftmax (1 / 2) (fun l => -(q - k l) ^ 2) · Prove2Me