3 papers
astro-ph.CO2026
Executable verification through formalized expert reasoning in astronomical spectroscopy
Haosong Wang, Ting Tan, Ji Yao +5
Artificial intelligence has reshaped scientific prediction, but scientific verification remains a human bottleneck. Automated systems can map observations to labels, parameters or…
astro-ph.CO2025
Constraining the Neutral Hydrogen Fraction from SKA Simulated Observation using a Double-Gaussian Decomposition Technique
Jiajun Zhang, Huanyuan Shan
The Epoch of Reionization (EoR) is a unique phase in cosmic history, marked by the ionization of neutral hydrogen by the first luminous sources. The global neutral hydrogen fractio…
astro-ph.CO2025
Cosmological Constraints with Void Lensing I: the Simulation-Based Inference Framework
Chen Su, Huanyuan Shan, Cheng Zhao +2
We present a Simulation-Based Inference (SBI) framework for cosmological parameter estimation via void lensing analysis. Despite the absence of an analytical model of void lensing,…