Repository navigation

Bluprint: refactor to talk about general stochastic algorithms, beyond bandits - #28

Merged

RemyDegenne merged 18 commits into

mainfrom

Sep 24, 2025

Merged

Bluprint: refactor to talk about general stochastic algorithms, beyond bandits#28
RemyDegenne merged 18 commits into
mainfrom
generalSetting

Commits on Sep 14, 2025
- start description of general alg setting
  RemyDegenne
  committed
  5f77e98
Commits on Sep 21, 2025
- Merge branch 'main' into generalSetting
  RemyDegenne
  committed
  b0a1e93
- describe IT thm
  RemyDegenne
  committed
  5dc65c5
Commits on Sep 22, 2025
- add bib
  RemyDegenne
  committed
  d2b1913
- add defs
  RemyDegenne
  committed
  315d53f
- work
  RemyDegenne
  committed
  20236a4
Commits on Sep 23, 2025
- blueprint: add condDistrib lemmas
  RemyDegenne
  committed
  4720dfc
- add Algorithm file
  RemyDegenne
  committed
  cc7197f
- prove condDistrib_reward
  RemyDegenne
  committed
  2169d3f
- prove a lemma
  RemyDegenne
  committed
  f75fe41
- partial refactor of bandit code
  RemyDegenne
  committed
  b5eea81
- prove a lemma
  RemyDegenne
  committed
  a66e7ad
- lint
  RemyDegenne
  committed
  27c820c
Commits on Sep 24, 2025
- prove condDistrib_reward
  RemyDegenne
  committed
  7598539
- sub on kernels
  RemyDegenne
  committed
  020a19e
- prove Kernel.measurableSet_eq
  RemyDegenne
  committed
  96aba28
- prove condIndepFun_reward_hist_arm
  RemyDegenne
  committed
  d812491
- blueprint update
  RemyDegenne
  committed
  b13e27f