Executable verification through formalized expert reasoning in astronomical spectroscopy

arXiv:2607.06128 · astro-ph.CO, astro-ph.IM · Submitted 2026-07-07 · Read on arXiv

Haosong Wang, Ting Tan, Ji Yao, Jiajun Zhang, Qian Zheng, Christophe Yeche, Jean-Paul Kneib, Huanyuan Shan

astro-ph.CO, astro-ph.IM

Submitted: 2026-07-07

Comments: 26 pages, 7 figures

Code: https://github.com/desihub/redrock

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Verification — 60× in this paper · explained in 2 episodes
• Consistency — 24× in this paper · explained in 3 episodes
• Visual Inspection — 19× in this paper
• Result Auditor — 14× in this paper
• AGN — 11× in this paper · explained in 1 episode
• Accuracy — 10× in this paper · explained in 1 episode
• Ablation — 6× in this paper · explained in 1 episode
• Interpretability — 4× in this paper · explained in 15 episodes
• Robustness — 4× in this paper · explained in 5 episodes
• Prime Focus Spectrograph — 3× in this paper
• Applied to the Dark Energy Spectroscopic Instrument — 2× in this paper
• Physical Constraints — 2× in this paper · explained in 7 episodes
• Adam — 1× in this paper · explained in 2 episodes
• Adaptation — 1× in this paper · explained in 1 episode
• Alignment — 1× in this paper · explained in 1 episode
• Chinese Space-station Survey Telescope — 1× in this paper
• Continuous Wavelet Transform — 1× in this paper
• Deferral — 1× in this paper · explained in 2 episodes
• Distribution Shift — 1× in this paper · explained in 5 episodes
• FORMA to the DESI Early Data Release — 1× in this paper
• Failure Modes — 1× in this paper · explained in 3 episodes
• Fidelity — 1× in this paper · explained in 2 episodes
• Foundation Model — 1× in this paper · explained in 3 episodes
• Grounding — 1× in this paper · explained in 3 episodes
• Jiaotong University Spectroscopic Telescope — 1× in this paper
• Multi-Agent System — 1× in this paper · explained in 5 episodes
• Provenance — 1× in this paper · explained in 3 episodes
• Society of Photo-Optical Instrumentation Engineers — 1× in this paper
• Wavelet Transform — 1× in this paper · explained in 2 episodes

Sources

• Teaching LLMs to Speak Spectroscopy
• JW-Flare: Accurate Solar Flare Forecasting Method Based on Multimodal Large Language Models
• Domain-Specific Agents for Cherenkov Telescope Array Control Software and Gamma-Ray Data Analysis
• PhysMaster: Building an Autonomous AI Physicist for Theoretical and Computational Physics Research
• Radio Astronomy in the Era of Vision-Language Models: Prompt Sensitivity and Adaptation
• Egent: An Autonomous Agent for Equivalent Width Measurement
• AION-1: Omnimodal Foundation Model for Astronomical Sciences
• QuasarNET: Human-level spectral classification and redshifting with Deep Neural Networks
• DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence
• A systematic evaluation of vision-language models for observational astronomical reasoning tasks
• LSST: from Science Drivers to Reference Design and Anticipated Data Products
• CMB-S4 Science Book, First Edition
• Euclid Definition Study Report
• MUltiplexed Survey Telescope (MUST) Science White Paper I: Overview of Large-Scale Structure Cosmology in the Era of Stage-V Spectroscopic Surveys
• The Jiao Tong University Spectroscopic Telescope Project

Related papers

• Angular clustering and bias of photometric quasars in the Kilo-Degree Survey Data Release 4
• A Novel kinetic Sunyaev-Zel'dovich Estimator for Electron-Electron Correlations
• Magnetic fields at the dawn of structure formation I. The CARLA J1510+5958 proto-cluster
• Dark Energy Survey Year 6 Results: Weak Lensing and Galaxy Clustering Cosmological Analysis Framework
• Exploring the Impact of Systematic Bias in Type Ia Supernova Cosmology Across Diverse Dark Energy Parametrizations
• Non-Gaussian Galaxy Stochasticity and the Noise-Field Formulation