TY - RPRT TI - FARMS: A Verifiable Foundation for Automated Computational Science AU - Di Wu AU - Ling Liang AU - Haizhao Yang PY - 2026 UR - https://arxiv.org/abs/2610.40560 ID - 2610.40560 ER -