Skip to content

feat: the chain rule for the divergence at a stopping time, with equality - #288

Open
RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/kldiv-stoppedhistmeasure-eq-essakine2026tight-identification
Open

feat: the chain rule for the divergence at a stopping time, with equality#288
RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/kldiv-stoppedhistmeasure-eq-essakine2026tight-identification

Commits

  1. Commits on Nov 12, 2026