TY  - RPRT
TI  - Executable verification through formalized expert reasoning in astronomical spectroscopy
AU  - Haosong Wang
AU  - Ting Tan
AU  - Ji Yao
AU  - Jiajun Zhang
AU  - Qian Zheng
AU  - Christophe Yeche
AU  - Jean-Paul Kneib
AU  - Huanyuan Shan
PY  - 2026
UR  - https://arxiv.org/abs/2607.06128
ID  - 2607.06128
ER  -