Repository navigation

feat: the eventual regret of ucbF as the Gaussian instance of KL-UCB - #380

Merged

lmlexplore-automation[bot] merged 3 commits into

LeanMachineLearning:mainfrom

RemyDegenne:roadmap/ucbf-gaussian-instance-worker1

Nov 14, 2026

Merged

feat: the eventual regret of ucbF as the Gaussian instance of KL-UCB#380
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/ucbf-gaussian-instance-worker1

Commits on Nov 14, 2026
- feat: the eventual regret of ucbF as the Gaussian instance of KL-UCB
  
  RemyDegenne
  and
  web-flow
  committed
  8ae6d4f
- refactor: share the Gaussian MGF dominance and gap divergence in KL-UCB proofs
  
  RemyDegenne
  and
  web-flow
  committed
  7636fcb
- refactor: move the Gaussian MGF dominance lemma to the Gaussian exponential family
  
  RemyDegenne
  and
  web-flow
  committed
  74c8676