@misc{indiciae9b0202d8fd21,
  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},
  url = {https://arxiv.org/abs/2606.20642},
  note = {Source identifier: 2606.20642}
}