Lean repository linked
On The Complexity of Best-Arm Identification in Non-Stationary Linear Bandits
arXiv:2603.10346 · arXiv
Lean formalisations (1)
RemyDegenne/MaynardZhang2026Complexity at 73fc2ab268cc
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.