قسم
علوم البيانات والذكاء الاصطناعي
مقارنة المقدرّات السببية المتينة عمليًا: Double ML، IPW/DR، وTMLE
دليل عملي يقارن Double ML وIPW/DR وTMLE: مفاهيم، مكتبات (DoubleML, EconML, tmle)، فحوص توازن/تداخل، ونصائح تطبيقية للباح…
سير عمل عملي: تحويل الرياضيات باللغة الطبيعية إلى صياغات رسمية في Lean4 وCoq
سير عمل عملي يوضِّح كيفية استخدام نماذج اللغة الكبيرة مع Lean4 وCoq لتحويل الرياضيات الوصفية إلى صياغات رسمية قابلة للتح…
كشف وتقليل الهلوسة في نماذج اللغة الرياضية: معايير، سير عمل استرجاع+متحقق، وبروتوكولات تقييم
إطار عمل لقياس واكتشاف هلوسات نماذج اللغة في الرياضيات، مع منهجيات RAG+متحقق، مؤشرات تقييم، وتوصيات للاختبار والنشر.
نظرية الفئات للممارسين: أنماط عملية لأنابيب تعلم آلي قابلة للتأليف
دليل عملي يربط مبادئ نظرية الفئات بأنماط تصميم أنابيب تعلم آلي وكود علمي قابلة للتأليف، مع أدوات وممارسات هندسية.
التوبولوجيا بعد الهومولوجيا المستمرة: تقنيات عملية ومكتبات TDA لعلماء البيانات
دليل عملي لتقنيات TDA المتقدمة (Mapper, Reeb, cohomology, multiparameter) ومكتبات Python/R الموصى بها لعلماء البيانات.
اكتشاف المعادلات الرمزية 2026: PySR وSINDy، سير العمل، ومتى نثق بالنتائج
دليل عملي لأدوات الانحدار الرمزي (PySR، PySINDy)، سير العمل للتحضير والتحقق، ومعايير الثقة عند نشر المعادلات المستكشفة.
اكتشاف السببية القابل للتفسير للممارسين: خوارزميات، فروض، وأمثلة عملية بـ Python
دليل عملي لاكتشاف البنية السببية للممارسين: خوارزميات، افتراضات، أمثلة بايثون، وأدوات مفتوحة المصدر لتعزيز التفسير والمو…
الحدود الرياضية لتفكير النماذج اللغوية الكبيرة: من سلسلة التفكير إلى سلسلة الاستدلال
مراجعة نظرية وعملية لقيود قدرات الاستدلال في النماذج اللغوية الكبيرة، تقييم معايير القياس (GSM8K, MATH)، وتوصيات لبحوث C…
معايير مقارنة السلاسل الزمنية — تحديث 2026: مجموعات بيانات جديدة، بروتوكولات تقييم، واختيار نماذج عملي
تقرير عملي عن بنشماركات السلاسل الزمنية في 2026: مجموعات بيانات جديدة، بروتوكولات تقييم حديثة، ودليل عملي لاختيار النماذ…
قياس عدم اليقين في التعلم العميق: وصفات عملية لبايزية، التجميع والتنبؤ الكونفورمالي
دليل عملي لقياس عدم اليقين في الشبكات العميقة: طرق بايزية، تجمعات النماذج، والتنبؤ الكونفورمالي مع نصائح تنفيذية ومكتبات…
الجبر الخطي العشوائي والخالي من المصفوفات للتعلم الآلي واسع النطاق — خوارزميات وتطبيق
مرجع تطبيقي للجبر الخطي العشوائي والنهج الخالي من المصفوفات في التعلم الآلي الكبير: خوارزميات، تنفيذات عملية، ونصائح است…
التعلم السببي للممثلّات للعلماء: طرق، تشخيصات، ودراسات حالة
دليل عملي للعلماء عن التعلّم السببي للممثلّات: مبادئ، قابلية التعرّف، اختبارات التشخيص، أدوات، ودراسات حالة تطبيقية.
تعلم الآلة القابل للتفسير: طرق إحصائية لشرح النماذج وقياس عدم اليقين
مقال تطبيقي يشرح أساليب إحصائية لتفسير نماذج التعلم الآلي وقياس عدم اليقين — SHAP، PDP، الانحدار الكمّي، التوافق والطرق…
الدليل العملي للاستدلال الإحصائي لعلماء البيانات — أمثلة Python
دليل عملي للاستدلال الإحصائي لعلماء البيانات: مبادئ، اختبارات فرضيات، فترات ثقة وتقدير معاملات، مع أمثلة Python للتطبيق…
التنبؤ في السلاسل الزمنية عمليًا: نماذج، تشخيص، وممارسات مثلى
دليل عملي في نمذجة السلاسل الزمنية: اختيار النماذج، فحوصات التشخيص، مقاييس الأداء، واستراتيجيات النشر والمراقبة للحصول ع…
مراجعة مركزة في الجبر الخطي لتعلّم الآلة العميق: بديهة، براهين، وتسريع الحساب
دليل عملي في الجبر الخطي لتعلّم الآلة العميق: بديهية هندسية، براهين أساسية، ونصائح حسابية لتسريع ومزيد من الاستقرار في ا…
الطوبولوجيا والهندسة في تعلّم الآلة: لماذا الأشكال والمتعددات مهمة
نظرة مبسطة وعملية على دور الطوبولوجيا والهندسة في تعلّم الآلة: فرضية المتعددات، أدوات التحليل الطوبولوجي، وشبكات هندسية…
مفاهيم نظرية الفئات التي يجب أن يعرفها كل باحث في تعلم الآلة
مقال يشرح لباحثي تعلم الآلة مفاهيم نظرية الفئات: فونكتورات، تحويلات طبيعية، مونادات، حدود واقترانات، وتطبيقاتها لبناء نم…