118 citations · 149 across the 6 of their papers we have counts for
6 papers
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…
Forecasting and evaluating intervention of Covid-19 in the World
Zixin Hu, Qiyang Ge, Shudi Li +3
When the Covid-19 pandemic enters dangerous new phase, whether and when to take aggressive public health interventions to slow down the spread of COVID-19. To develop the artificia…
Artificial Intelligence Forecasting of Covid-19 in China
Zixin Hu, Qiyang Ge, Shudi Li +2
BACKGROUND An alternative to epidemiological models for transmission dynamics of Covid-19 in China, we propose the artificial intelligence (AI)-inspired methods for real-time forec…
Shared Causal Paths underlying Alzheimer's dementia and Type 2 Diabetes
Zixin Hu, Rong Jiao, Jiucun Wang +7
Background: Although Alzheimer's disease (AD) is a central nervous system disease and type 2 diabetes mellitus (T2DM) is a metabolic disorder, an increasing number of genetic epide…
Bivariate Causal Discovery and its Applications to Gene Expression and Imaging Data Analysis
Rong Jiao, Nan Lin, Zixin Hu +3
The mainstream of research in genetics, epigenetics and imaging data analysis focuses on statistical association or exploring statistical dependence between variables. Despite thei…
A New Statistical Framework for Genetic Pleiotropic Analysis of High Dimensional Phenotype Data
Panpan Wang, Mohammad Rahman, Li Jin +1
The widely used genetic pleiotropic analysis of multiple phenotypes are often designed for examining the relationship between common variants and a few phenotypes. They are not sui…