#Formal Verification
2 articles with this tag
AI Research
MLIPs: From Blind Screening to Certified Discovery
New framework Proof-Carrying Materials (PCM) ensures reliability for machine-learned interatomic potentials (MLIPs), dramatically improving materials discovery.
about 5 hours ago
AI Research
AlphaProof system proves its worth at the Math Olympiad
4 months ago