Repository navigation

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

feat: model-based policy evaluation over the full range of sample sizes [LWCGC24, Lemmas 1–2]#372
lmlexplore-automation[bot] merged 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/lwcgc24-lemma-1-worker1

Commits on Nov 14, 2026
- feat: model-based policy evaluation over the full range of sample sizes [LWCGC24, Lemmas 1-2]
  
  RemyDegenne
  and
  web-flow
  committed
  a7f42c0
- refactor: factor the LWCGC24 Lemma 2 proof and share the stream Bernstein bound
  
  RemyDegenne
  and
  web-flow
  committed
  1650682
- refactor: reuse the simplex Jensen lemma in the state-kernel Bernstein bound
  
  RemyDegenne
  and
  web-flow
  committed
  52f8b03
- refactor: reuse sq_sub_mem_Icc_of_mem_Icc in the state-kernel Bernstein bound
  
  RemyDegenne
  and
  web-flow
  committed
  154c520
- doc: state the hypotheses of LWCGC24 Lemma 2 in the resolvent overview
  
  RemyDegenne
  and
  web-flow
  committed
  7c86c58