Lean repository linked
Tight Sample Complexity Bounds for Entropic Best Policy Identification
arXiv:2605.13717 · arXiv
Lean formalisations (1)
RemyDegenne/entropy-mdp at 611f5528b4d6
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.