Lean repository linked
A Tight Lower Bound for Non-stochastic Multi-armed Bandits with Expert Advice
arXiv:2511.00257 · arXiv
Lean formalisations (1)
RemyDegenne/Chase2026Tight at 2f0aca9ab644
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.