@article{hypothesisdisciplinedmultiagentautomated,
  title = {Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory},
  author = {Tingzhou Wei and Zeyu Zheng and Ethan X. Fang and Junwei Lu},
  year = {2026},
  eprint = {2606.20642},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.20642},
}