Repository navigation

Refactor: use several Bandit models - #52

Merged

RemyDegenne merged 31 commits into

mainfrom

work

Jan 15, 2026

Merged

Refactor: use several Bandit models#52
RemyDegenne merged 31 commits into
mainfrom
work

Commits on Jan 2, 2026
- partial independence proof
  RemyDegenne
  committed
  dc318ac
- Merge remote-tracking branch 'origin/main' into work
  RemyDegenne
  committed
  6613ce8
Commits on Jan 3, 2026
- define new filtration
  RemyDegenne
  committed
  be27b56
Commits on Jan 5, 2026
- lots of stuff
  RemyDegenne
  committed
  a00150d
Commits on Jan 6, 2026
- update to IsAlgEnvSeq
  RemyDegenne
  committed
  ace4f95
- more
  RemyDegenne
  committed
  9ab6f44
- work on sumRewards
  RemyDegenne
  committed
  812c0d1
Commits on Jan 7, 2026
- update
  RemyDegenne
  committed
  1b146e7
Commits on Jan 8, 2026
- prove uniqueness of trajMeasure
  RemyDegenne
  committed
  de5d855
- finish uniqueness proof
  RemyDegenne
  committed
  a7dd567
- condDistrib progess
  RemyDegenne
  committed
  aed6492
- progress
  RemyDegenne
  committed
  5cade77
- delete unused lemmas
  RemyDegenne
  committed
  d84d16e
Commits on Jan 13, 2026
- progress
  RemyDegenne
  committed
  39ad41c
- getting close
  RemyDegenne
  committed
  a548ef2
Commits on Jan 14, 2026
- only two indepedence sorry left
  RemyDegenne
  committed
  830bad0
- lint
  RemyDegenne
  committed
  adfc693
- lake exe mk_all
  RemyDegenne
  committed
  e41825d
- temporary blueprint fix
  RemyDegenne
  committed
  a6af988
- min_imports
  RemyDegenne
  committed
  6647491
- mk_all
  RemyDegenne
  committed
  a565bed
- add Claude proof
  RemyDegenne
  committed
  f9591ce
- add indepedence proof from Claude
  RemyDegenne
  committed
  63f5e42
- reorder Bandit file
  RemyDegenne
  committed
  b8bca06
- comment out sorrys in RewardByCountMeasure
  RemyDegenne
  committed
  89ed9a4
- minor cleanup
  RemyDegenne
  committed
  1a991b7
- sorry-free
  RemyDegenne
  committed
  634743a
Commits on Jan 15, 2026
- fix blueprint refs
  RemyDegenne
  committed
  15f361d
- add and adapt Paulo's regret lemmas
  RemyDegenne
  committed
  75a3b70
- partial blueprint update
  RemyDegenne
  committed
  7f31078
- fix
  RemyDegenne
  committed
  a260892

Commits

Commits on Jan 2, 2026

Commits on Jan 3, 2026

Commits on Jan 5, 2026

Commits on Jan 6, 2026

Commits on Jan 7, 2026

Commits on Jan 8, 2026

Commits on Jan 13, 2026

Commits on Jan 14, 2026

Commits on Jan 15, 2026