leanverifier

إطار عمل مبني على Lean 4 لتحديد خصائص نماذج تعلم الآلة وإثباتها، مثل المتانة والعدالة وقابلية التفسير.