#Formal Verification
3 articles with this tag
Artificial Intelligence
Mistral AI's Leanstral Tackles Trust in Code Generation
Mistral AI introduces Leanstral, an open-source code agent for Lean 4, aiming to bring formal verification to AI-generated code and boost engineering efficiency.
about 2 months ago
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 2 months ago
AI Research
AlphaProof system proves its worth at the Math Olympiad
6 months ago