Executable verification through formalized expert reasoning in astronomical spectroscopy
📄 arXiv:2607.06128 · 📥 PDF · 2026-07-07 · astro-ph.CO
Authors: Haosong Wang [arXiv · scholar] , Ting Tan [arXiv · scholar] , Ji Yao [arXiv · scholar] , Jiajun Zhang [arXiv · scholar] , Qian Zheng [arXiv · scholar] , Christophe Yeche [arXiv · scholar] , Jean-Paul Kneib [arXiv · scholar] , Huanyuan Shan [arXiv · scholar]
🕰 Orloj analysis
FORMA je protokol pro automatizovanou verifikaci vědeckých závěrů, který formalizuje expertní uvažování v astronomické spektroskopii. Protokol extrahuje důkazy, generuje hypotézy pod fyzikálními omezeními a provádí auditovatelné kontroly konzistence, aplikováno na data DESI.
💡 Tento paper představuje zajímavý metodologický posun k automatizované verifikaci, který má potenciál urychlit vědecký proces a zvýšit spolehlivost dat v kosmologii.
Categories:
MET-3
COS-3
INF-5
MET-1
✓ falsifiable, modest_claims
⚠ Abstract explicitně nezmiňuje dostupnost kódu nebo detailní analýzu chybových pruhů pro všechna tvrzení., Termín 'fyzický audit' je použit, ale jeho specifické detaily implementace nejsou v abstraktu rozvedeny.
📄 Abstract
Artificial intelligence has reshaped scientific prediction, but scientific verification remains a human bottleneck. Automated systems can map observations to labels, parameters or hypotheses, yet scientific conclusions require evidence, must satisfy physical consistency, and need explicit testing of alternatives before a decision is made. Here we introduce FORMA (Formalized Observational Reasoning with Auditable Decisions), an executable verification protocol that reconstructs expert reasoning into a workflow: it extracts evidence, generates hypotheses under physical constraints, tests alternatives, and performs auditable consistency checks. Unlike prediction or post-hoc interpretability, executable verification records and tests the evidential path leading to a decision. Astronomical spectroscopy provides a natural testbed, because ambiguous survey spectra are still adjudicated by expert visual inspection. Applied to the Dark Energy Spectroscopic Instrument (DESI) visual inspection catalogue, FORMA combines template-fitting candidate redshifts, spectral evidence extraction and physical audit into an auditable credibility score. A medium-or-higher credibility threshold identifies $331$ definite predictions with $95.5\%$ binary agreement with expert-adjudicated classes, while increasing credibility is associated with improved redshift consistency and higher classification reliability. These results show that automated inference can be coupled to explicit verification, allowing candidate outputs to be evaluated before they enter scientific use.