2 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
Low-redshift 3D Lyman-α Forest Correlations with China Space Station Telescope
Ting Tan, Huanyuan Shan, Eric Armengaud
While the Lyman- (Ly) forest traces the large-scale matter distribution over a wide range of redshift, its three-dimensional (3D) clustering at has not yet been measu…