2 papers
math.CO2026
Sharp Bounds on the Independence Number of Simplicial Spheres
Jesús A. De Loera, Ethan X. Fang, Junwei Lu +2
We study the maximum size of an independent set in the graph of a simplicial sphere. Let denote this maximum over all simplicial -spheres on vertices, and let $…
cs.AI2026
Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory
Tingzhou Wei, Zeyu Zheng, Ethan X. Fang +1
Asymptotic statistical theory is a challenging domain for AI-assisted formalization: its central results mix convergence statements, asymptotic expansions, functional analysis, and…