Repository navigation

UCB regret bound - #46

Merged

RemyDegenne merged 18 commits into

mainfrom

Dec 27, 2025

Merged

UCB regret bound#46
RemyDegenne merged 18 commits into
mainfrom
work

Commits on Dec 17, 2025
- small changes; docstrings
  RemyDegenne
  committed
  8a16dbf
- Merge remote-tracking branch 'origin/main' into work
  RemyDegenne
  committed
  3b566a3
- switch to a better type for rewardByCount
  RemyDegenne
  committed
  0000b81
Commits on Dec 19, 2025
- start ucb
  RemyDegenne
  committed
  47ae486
Commits on Dec 20, 2025
- minor
  RemyDegenne
  committed
  e2f5dbc
- lint
  RemyDegenne
  committed
  27fee4b
- pullCount decomposition for UCB
  RemyDegenne
  committed
  762e027
Commits on Dec 21, 2025
- progress
  RemyDegenne
  committed
  d79557a
- more ucb proof
  RemyDegenne
  committed
  ad23b6e
- use the identdistrib lemma for ucb
  RemyDegenne
  committed
  f5f7bdd
Commits on Dec 22, 2025
- small progress
  RemyDegenne
  committed
  368fe85
- finish concentration proof
  RemyDegenne
  committed
  047c7e1
- minor progress
  RemyDegenne
  committed
  099f71d
- delete todo
  RemyDegenne
  committed
  656b100
Commits on Dec 23, 2025
- progress
  RemyDegenne
  committed
  0cbaed1
Commits on Dec 27, 2025
- ucb mostly done
  RemyDegenne
  committed
  f48c83a
- remove a sorry
  RemyDegenne
  committed
  846a503
- lint
  RemyDegenne
  committed
  1928cec