Repository navigation

UCB regret bound - #46

Merged

RemyDegenne merged 18 commits into

mainfrom

Dec 27, 2025

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