عن المشروع

تحتوي AIQ DKPS Formalization على صياغات Lean 4 للتضمينات القائمة على الاستجابة لنماذج التوليد ذات الصندوق الأسود، والتي تتمحور حول مساحة منظور نواة البيانات (DKPS) والبنية التحتية للقياس متعدد الأبعاد (multidimensional-scaling) والاضطراب الطيفي (spectral-perturbation). مكتبة المنتج الأساسية هي ForTauCeti، ترافقها حزم صياغة مخصصة مثل DavisKahan و YuWangSamworth2015 و RoadmapBridge و Acharyya2024 و Acharyya2025 و DkpsQuench2026 و Helm2025. تقوم هذه المكتبات بصياغة نظرية المؤثرات، والقياس متعدد الأبعاد للإجهاد الخام (raw-stress MDS)، والمركزية المزدوجة لـ MDS الكلاسيكية، والاضطراب الطيفي، ومحاسبة المحاذاة المتعامدة، ومثاليات المؤثرات، وتركيز متوسط العينة، وانتشار الأحداث ذات الاحتمالية العالية، ونقل الاتساق.