Skip to content

feat: transport of means and variances under a KL constraint [MDJKLV21, Lemmas 10–12] - #291

Merged
lmlexplore-automation[bot] merged 8 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/kl-bernstein-transport-essakine2026tight-reinforcementlearning
Nov 13, 2026
Merged

lmlexplore-automation[bot] merged 8 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/kl-bernstein-transport-essakine2026tight-reinforcementlearning

refactor: inline the klDiv_ne_top_iff wrapper in the KL transport

3311c92
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
app-credentials
succeeded Nov 13, 2026 in 4s