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

Preprint · Abhinaba Basu, Pavan Chakraborty

- Archive id: arxiv:2603.12183
- Published: 2026-03-12
- arXiv: https://arxiv.org/abs/2603.12183
- Citations: 0
- Source URL: https://arxiv.org/abs/2603.12183
- PDF: https://arxiv.org/pdf/2603.12183
- Provenance: arxiv

## 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% of density functional theory (DFT)-stable materials (recall 0.07) on a 25,000-material benchmark. Proof-Carrying Materials (PCM) closes this gap through three stages: adversarial falsification across compositional space, bootstrap envelope refinement with 95% confidence intervals, and Lean 4 formal certification. Auditing CHGNet, TensorNet and MACE reveals architecture-specific blind spots with near-zero pairwise error correlations (r \<= 0.13; n = 5,000), confirmed by independent Quantum ESPRESSO validation (20/20 converged; median DFT/CHGNet force ratio 12x). A risk model trained on PCM-discovered features predicts failures on unseen materials (AUC-ROC = 0.938 +/- 0.004) and transfers across architectures (cross-MLIP AUC-ROC ~ 0.70; feature importance r = 0.877). In a thermoelectric screening case study, PCM-audited protocols discover 62 additional stable materials missed by single-MLIP screening - a 25% improvement in discovery yield.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

Topics: [AI for Science](https://space-kitty.com/topics/ai-for-science)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.