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.CO2024
Weak Lensing Reconstruction by Counting DECaLS Galaxies
Jian Qin, Pengjie Zhang, Haojie Xu +4
Alternative to weak lensing measurements through cosmic shear, we present a weak lensing convergence map reconstructed through cosmic magnification effect in DECaLS galaxi…