Lean repository linked
On Response-Adaptive Targeting Strategies for Multi-Treatment Experiments
arXiv:2606.17777 · arXiv
Lean formalisations (1)
RemyDegenne/alpha-rar at 9a088a9ed38a
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.