Proof-Carrying Materials: Falsifiable Safety Certificates for Machine-Learned Interatomic Potentials
تقدم هذه الورقة البحثية "المواد ذات الإثبات المرفق" (PCM)، وهو إطار عمل صارم يجمع بين التزييف الخصمي، والتحسين الإحصائي، والتوثيق الرسمي باستخدام لغة Lean 4 للتغلب على معدلات الفشل المرتفعة لإمكانات التفاعل بين الذرات القائمة على التعلم الآلي المنفرد، مما يؤدي إلى تحسين موثوقية وعائد اكتشاف فحص المواد عالي الإنتاجية بشكل كبير.