Lean repository linked
Adversarial Learning in Games with Bandit Feedback: Logarithmic Pure-Strategy Maximin Regret
arXiv:2602.06348 · arXiv
Lean formalisations (1)
RemyDegenne/Ito2026Adversarial at e691a354cf28
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.