Define the ETC algorithm - #15

Merged

RemyDegenne merged 19 commits into

mainfrom

Sep 4, 2025

Commits on Sep 3, 2025

start work on ETC
RemyDegenne
committed
b7dcada
add leanok
RemyDegenne
committed
4aa3fb8
partial def of the ETC kernel
RemyDegenne
committed
f1ab9cc
use measurable argmax
RemyDegenne
committed
81eb277
fix
RemyDegenne
committed
27dca22
add leanok
RemyDegenne
committed
2be326f
define ETCBandit
RemyDegenne
committed
985f3aa
two lemmas with sorry proofs
RemyDegenne
committed
e367d34
add uses
RemyDegenne
committed
0d924ec
split file
RemyDegenne
committed
e1f9a52
use deriving
RemyDegenne
committed
b2beb05
work
RemyDegenne
committed
f589dd2
minor
RemyDegenne
committed
0f48f6b
generalize the reward type in Bandit
RemyDegenne
committed
b10a542
split Algorithm
RemyDegenne
committed
8083844
remove two defs
RemyDegenne
committed
88cdea5
fix blueprint
RemyDegenne
committed
06b726f

Commits on Sep 4, 2025

delete Bandit
RemyDegenne
committed
b124d95
fix
RemyDegenne
committed
070e2a3