3 papers
cs.AI2026
VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization
Zhixin Hu, Tao Xu, Xiaodian Sun +2
The Riemann Hypothesis remains one of the central unsolved problems in mathematics. Rather than claiming proof, we investigate whether a verifiable AI-assisted reasoning system can…
cs.LG2026
Physical Transformer
Tao Xu, Zhixin Hu, Li Luo +1
Digital AI systems spanning large language models, vision models, and generative architectures that operate primarily in symbolic, linguistic, or pixel domains. They have achieved…
q-bio.GN2014
Genetic Studies of Physiological Traits with Their Application to Sleep Apnea
D. Y. Lee, C. Hanis, G. I. Bell +4
Advances of modern sensing and sequencing technologies generate a deluge of high dimensional space-temporal physiological and next-generation sequencing (NGS) data. Physiological t…