Repository navigation

feat: the method of types and Sanov's bound on a finite type - #290

Open

RemyDegenne wants to merge 2 commits into

LeanMachineLearning:mainfrom

RemyDegenne:roadmap/method-of-types-sanov-essakine2026tight-reinforcementlearning

Open

feat: the method of types and Sanov's bound on a finite type#290
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/method-of-types-sanov-essakine2026tight-reinforcementlearning

Commits on Nov 12, 2026
- feat: the method of types and Sanov's bound on a finite type
  
  RemyDegenne
  and
  web-flow
  committed
  47624e6
- fix: credit the Essakine2026Tight formalization, add typeCount positivity lemmas, extract the type-ratio identity
  
  RemyDegenne
  and
  web-flow
  committed
  6876351