Skip to content

feat: model-based policy evaluation over the full range of sample sizes [LWCGC24, Lemmas 1–2] - #372

Merged
lmlexplore-automation[bot] merged 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/lwcgc24-lemma-1-worker1
Nov 14, 2026
Merged

lmlexplore-automation[bot] merged 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/lwcgc24-lemma-1-worker1

doc: state the hypotheses of LWCGC24 Lemma 2 in the resolvent overview

7c86c58
Select commit
Loading
Failed to load commit list.
Sign in for the full log view