Issues

• Adopt Tau Ceti's good rate functions and large deviation principle

  upstream-overlap
  LeanMachineLearning/LMLExplore#342 · Filter by author RemyDegenne opened on Nov 13, 2026

• Adopt Tau Ceti's moment and cumulant generating functions of the Poisson law

  upstream-overlap
  LeanMachineLearning/LMLExplore#340 · Filter by author RemyDegenne opened on Nov 13, 2026

• Adopt Statlib's data processing inequality for the total variation distance

  upstream-overlap
  LeanMachineLearning/LMLExplore#334 · Filter by author RemyDegenne opened on Nov 13, 2026

• Base LMLExplore's Bretagnolle–Huber inequality on Statlib's

  upstream-overlap
  LeanMachineLearning/LMLExplore#332 · Filter by author RemyDegenne opened on Nov 13, 2026

• Adopt Statlib's real binary relative entropy klBerReal

  upstream-overlap
  LeanMachineLearning/LMLExplore#331 · Filter by author RemyDegenne opened on Nov 13, 2026

• Adopt Statlib's Bernoulli measure lemmas and Bernoulli kernel

  upstream-overlap
  LeanMachineLearning/LMLExplore#330 · Filter by author RemyDegenne opened on Nov 13, 2026