Proof-Carrying Materials: Falsifiable Safety Certificates for Machine-Learned Interatomic Potentials.

arXiv:2603.12183v3 Announce Type: replace-cross Abstract: Machine-learned interatomic potentials (MLIPs) are deployed for high-throughput materials screening without formal reliability guarantees. We show that a single MLIP used as a stability filter misses 93