Repository navigation

Define the ETC algorithm - #15

Merged

RemyDegenne merged 19 commits into

mainfrom

Sep 4, 2025

Merged

Define the ETC algorithm#15
RemyDegenne merged 19 commits into
mainfrom
etc

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