@misc{indiciaeaf4851f69ae7,
  title = {Executable verification through formalized expert reasoning in astronomical spectroscopy},
  author = {Haosong Wang and Ting Tan and Ji Yao and Jiajun Zhang and Qian Zheng and Christophe Yeche and Jean-Paul Kneib and Huanyuan Shan},
  year = {2026},
  url = {https://arxiv.org/abs/2607.06128},
  note = {Source identifier: 2607.06128}
}