#asymptotic-analysis News & Analysis

2 articles tagged with #asymptotic-analysis. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AINeutralarXiv – CS AI · Jun 236/10

🧠

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

Researchers have developed a multi-agent AI system in Lean 4 that formalizes asymptotic statistical theory, a mathematically complex domain combining convergence statements, functional analysis, and regularity conditions. The hypothesis-disciplined approach ensures every formalization claim is anchored to source mathematics, producing axiom-clean and human-audited proofs for parametric and semi-parametric statistical models.

AINeutralarXiv – CS AI · May 285/10

🧠

Domain size asymptotics for Markov logic networks

Researchers analyze how Markov logic networks (MLNs) behave as domain size increases, demonstrating that probability distributions determined by MLNs diverge significantly from uniform distributions. The work provides asymptotic characterization for single-relation languages and proves fundamental differences exist between MLNs and lifted Bayesian networks in their distributional properties.