Search papers, labs, and topics across Lattice.
This paper introduces a novel approach to metamorphic testing for scientific machine-learning (SciML) surrogates by establishing a domain-validity rubric that ensures candidate metamorphic relations (MRs) are meaningful and executable. The authors demonstrate the effectiveness of their method through a case study on MeshGraphNets and other architectures, revealing that their framework can identify both valid and invalid relations based on domain-specific criteria rather than arbitrary checks. Key findings include the ability to distinguish between true symmetries and out-of-distribution stress findings, thereby enhancing the reliability of SciML surrogates in various computational fluid dynamics (CFD) tasks.
Validating metamorphic relations for SciML surrogates can transform testing from a checklist approach into a domain-aware, artifact-driven process that enhances reliability and interpretability.
Scientific machine-learning (SciML) surrogates approximate expensive simulations, but exact expected outputs for arbitrary inputs are unavailable (the oracle problem). Metamorphic testing checks relations across executions, yet a candidate relation is not automatically valid: its preconditions, output mapping, and the numerical floor of the scoring operator determine whether a violation is meaningful. We study how candidate metamorphic relations (MRs) can be screened for domain validity and turned into executable, oracle-free test assets for SciML surrogates. We propose (i) a domain-validity rubric that admits a candidate only when its tolerance dominates the operator's numerical floor and its preconditions hold; (ii) an MR-card executable-asset format recording source cases, transformations, metrics, tolerances, and typed relation-level verdicts; and (iii) a case-study protocol on MeshGraphNets cylinder-flow surrogates, with a claim ledger binding every result to a tracked artifact. On a MeshGraphNets checkpoint, node permutation holds to machine precision, mirror-y is a bounded out-of-distribution stress finding rather than an exact symmetry, and absolute conservation stays deferred while a reference-relative guard passes. The same readings hold across held-out trajectories, a checkpoint roster, three further architectures, and PhysicsNeMo. On a second CFD task (compressible airfoil) the predicate instead rejects incompressible continuity on physical grounds, showing it reasons about domain validity rather than running a fixed checklist. On a second PDE family, FNO Burgers and heat surrogates run full admit/reject/execute verdicts. The evidence spans two CFD tasks and a second PDE family, supporting a validity-aware bridge from candidate MRs to auditable SciML test assets that separates model-level violations from out-of-domain applications.
