Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory
假设约束的多智能体自动形式化渐近统计理论
机构 * Department of Biostatistics & Bioinformatics, Duke University(杜克大学生物统计与生物信息学系) ; Department of Mathematical Sciences, Carnegie Mellon University(卡内基梅隆大学数学科学系) ; Department of Biostatistics, Harvard T.H. Chan School of Public Health(哈佛大学陈曾熙公共卫生学院生物统计系)
AI总结 提出一种假设约束的多智能体Lean 4形式化流程,通过七个专业角色协调工作,实现渐近统计理论中参数和半参数模型的形式化,确保公理干净且忠实于原文。