Spec-Driven AI for Science: The ARIA Framework for Automated and Reproducible Data Analysis. - Chuke Chen; Biao Luo; Nan Li; Boxiang Wang; Hang Yang; Jing Guo; Ming Xu (CoRR, 2025)