Repository navigation

feat: episodes as rounds: the environments statesEnv and episodeEnv from an initial law - #299

Open

RemyDegenne wants to merge 4 commits into

LeanMachineLearning:mainfrom

RemyDegenne:roadmap/statesenv-episode-environment-essakine2026tight-reinforcementlearning

Open

feat: episodes as rounds: the environments statesEnv and episodeEnv from an initial law#299
RemyDegenne wants to merge 4 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/statesenv-episode-environment-essakine2026tight-reinforcementlearning

Commits on Nov 12, 2026
- feat: episodes as rounds: the environments statesEnv and episodeEnv from an initial law
  
  RemyDegenne
  and
  web-flow
  committed
  a41d4ab
Commits on Nov 13, 2026
- chore: name LMLExplore contributors in the headers of the new files
  
  RemyDegenne
  and
  claude
  committed
  1d57480
- refactor: address review of the episode-level environments
  
  RemyDegenne
  and
  web-flow
  committed
  1e7a915
- refactor: let simp unfold the kernels in comap_map_fst_snd_compProd_augmented
  
  RemyDegenne
  and
  web-flow
  committed
  47f2bcf