Skip to content
Sagan

Paper

Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory

Unreadunread

AI summary

arXiv:2606. 20642v1 Announce Type: new Abstract: Asymptotic statistical theory is a challenging domain for AI-assisted formalization: its central results mix convergence statements, asymptotic expansions, functional analysis, and regularity conditions that have a large gap from existing infrastructure in Lean 4 formalization.