Understanding the Surprising Generalization Properties of Tabular Foundation Models
تكشف هذه الورقة أن النماذج التأسيسية للبيانات الجدولية يمكنها تحقيق تعميم قوي من خلال التدريب المسبق ذاتي الإشراف على جدول حقيقي واحد، مما يثبت أن أداءها يعتمد على عدد وجودة المهام والميزات أكثر من اعتماده على مجموعات البيانات الضخمة، ويشير إلى أن آلية التعلم داخل السياق لديها هي آلية قائمة على الاسترجاع بشكل أساسي.
المؤلفون الأصليون:Nour Shaheen, Junwei Ma, Alex Labach, Frank Hutter, Valentin Thomas, Anthony L. Caterini
في المشهد الشاسع للذكاء الاصطناعي، ساد اعتقاد مستمر بأن البيانات تأتي في عوالم متميزة ومعزولة. فمن المنطق أن برنامج كمبيوتر مُدرب على التعرف على الأرقام المكتوبة بخط اليد، لا يملك أي أمل في مساعدة وكيل عقارات في تقدير أسعار المنازل، لأن المهمتين تبدوان مختلفتين تماماً ولا تشتركان في شيء. تعامل هذه الرؤية مع جداول البيانات كأحاجٍ صلبة ومحددة، حيث لا يمكن لقواعد إحداها أن تنطبق على الأخرى. ومع ذلك، بدأت جيل جديد من نماذج الذكاء الاصطناعي، تُعرف بنماذج التأسيس الجدولي (tabular foundation models)، في تحدي هذا الافتراض. صُممت هذه الأنظمة لتتعلم من تدفق الأمثلة المقدمة لها في اللحظة التي تُطلب فيها لحل مشكلة ما، بدلاً من الحفظ الدائم لمجموعة بيانات واحدة. فهي تعمل من خلال النظر إلى بضعة أمثلة مصنفة مقدمة في اللحظة ذاتها، واستخدام هذا السياق للتنبؤ بالإجابات لصفوف جديدة غير مصنفة. وكان السؤال المركزي للباحثين هو ما إذا كانت هذه النماذج تتطلب مكتبة ضخمة ومتنوعة تضم آلاف مجموعات البيانات المختلفة من العالم الحقيقي لتتعلم كيفية التعميم، أم أن هناك آلية أبسط وأكثر جوهرية في العمل.
لقد شرع فريق من الباحثين في اختبار حدود عملية التعلم هذه، بدءاً بتجربة مفاجئة ومنافية للمنطق. قاموا بتدريب نموذج ذكاء اصطناعي قوي باستخدام مجموعة بيانات واحدة فقط من العالم الحقيقي: جدول يحتوي على صور متجهة (vectorized images) لأرقام مكتوبة بخط اليد. في الإعداد التقليدي، يُتوقع من مثل هذا النموذج أن يفشل فشلاً ذريعاً عند سؤاله عن التنبؤ بشيء غير مرتبط تماماً مثل أسعار المنازل في كاليفورنيا أو إحصاءات الالتحاق بالجامعات. ومع ذلك، جاءت النتائج لتخالف هذا التوقع. فالنموذج، الذي لم يرَ سوى بيانات الأرقام، أظهر قدرة قوية على تقديم تنبؤات دقيقة لهذه المهام المختلفة تماماً. اقترح هذا الاكتشاف أن النموذج لم يكن ببساطة يحفظ حقائق عن الأرقام، بل تعلم مهارة أكثر عمومية: وهي كيفية النظر إلى مجموعة من الأمثلة، وإيجاد الأمثلة التي تهم، واستخدامها لحل مشكلة جديدة.
لفهم سبب حدوث ذلك، بحث الباحثون فيما يجعل مجموعة البيانات "جيدة" لتعليم هذه النماذج. قاموا بتحليل عشرات الجداول المختلفة، التي تراوحت من مجموعات صغيرة إلى أرشيفات ضخمة، لمعرفة الخصائص التي تؤدي إلى أفضل أداء. واكتشفوا أن عدد الصفوف، أو الحالات، في الجدول كان غير مهم بشكل مفاجئ. فمجموعة بيانات تحتوي على ملايين الصفوف ولكن مع أعمدة قليلة لم تعلم النموذج بشكل أفضل من مجموعة بيانات أصغر ذات أعمدة عديدة. وبدلاً من ذلك، كان العامل الرئيسي هو عدد الميزات، أو الأعمدة، المتاحة. فقد سمح جدول يحتوي على أنواع كثيرة من المعلومات للنموذج بممارسة مجموعة أوسع من العلاقات المنطقية. ووجد الباحثون أن المحرك الحقيقي للنجاح لم يكن حجم البيانات الهائل، بل تنوع المهام التي يمكن للنموذج ممارستها. ومن خلال معاملة تركيبات مختلفة من الأعمدة كمهام مختلفة، يمكن لجدول واحد أن يقدم آلاف الفرص التعليمية الفريدة. فكلما زادت المهام المتميزة التي يمكن للنموذج حلها أثناء تدريبه، أصبح أفضل في التعامل مع التحديات الجديدة وغير المرئية.
أدى هذا الاستبصار بالفريق إلى إعادة التفكير في كيفية إعداد هذه النماذج للعالم الحقيقي. اقترح العرف السائد أنه لبناء نموذج قوي، يجب على المرء تنسيق مجموعة ضخمة من مجموعات البيانات، مع إزالة المكررات بعناً وتصفية أي جداول تبدو بسيطة للغاية أو ضعيفة البنية. اختبر الباحثون ذلك عبر تدريب نماذج على متن كبير يضم أكثر من 1700 مجموعة بيانات من العالم الحقيقي. ووجدوا أن إزالة المكررات المتطابقة لم تحدث أي فرق في الأداء النهائي، وأن التصفية الصارمة لمجموعات البيانات "الضعيفة" أضرت فعلياً بقدرة النموذج على التعميم. لقد تبين أن حتى الجدول البسيط الذي يحتوي على ميزات قليلة يمكن أن يوفر ممارسة قيمة لأنواع محددة من الاستدلال المنطقي. كانت الاستراتيجية الأكثر فعالية ليست التخلص من البيانات، بل تنظيفها على مستوى أدق. فمن خلال إزالة الأعمدة التي تكاد تكون متطابقة مع بعضها البعض أو التي تحتوي على الكثير من القيم المفقودة، نجح الباحثون في تحسين جودة مهام الممارسة دون تقليص المكتبة. وقد عزز هذا التنظيف دقيق المستوى أداء النموذج باستمرار عبر مجموعة واسعة من المعايقات.
تختتم الورقة البحثية بتقديم طريقة جديدة لفهم كيفية عمل هذه النماذج في الواقع. فبدلاً من العمل كـ "موسوعة ضخمة" تخزن قاعدة عالمية لكل موقف محتمل، يعمل النموذج كـ "أمين مكتبة ماهر". فعند تقديمه مشكلة جديدة، لا يعتمد على مفتاح إجابة مكتوب مسبقاً، بل يقوم بمسح الأمثلة المقدمة في اللحظة ذاتها، ويحدد أي منها الأكثر تشابهاً مع السؤال الحالي، ويجمع إجاباتها لتكوين تنبؤ. وقد قدم الباحثون دليلاً قوياً على ذلك من خلال إظهار أن النماذج التي تعمم بشكل أفضل هي أيضاً تلك الأكثر قدرة على استرجاع المعلومات الصحيحة من الأمثلة التي أُعطيت لها. ووجدوا أن إجبار النموذج على الاعتماد على مطابقة بسيطة للتشابه لم يؤدِ إلى تعطيله؛ بل على العكس، بالنسبة للنماذج الأضعف، جعل العملية تشبه عملية بحث مباشرة عن "جيران مشابهين" أدى بالفعل إلى تحسين نتائجهم. يشير هذا إلى أن سحر هذه الأنظمة لا يكمن في تخزين كون معقد ومحسوب مسبقاً من القواعد، بل في تعلم كيفية العثور على قطع المعلومات الصحيحة واستخدامها من السياق المقدم لها.
ملخص تقني: فهم خصائص التعميم المفاجئة لنماذج التأسيس الجدولي
بيان المشكلة
صُممت نماذج التأسيس الجدولي (TFMs) لأداء التعلم في السياق (ICL)، حيث يتنبأ النموذج بالتسميات للمدخلات الجديدة باستخدام أمثلة موسومة مقدمة دون تحديث أوزانه. الافتراض السائد في هذا المجال هو أن التعلم الانتقالي الفعال عبر المجالات الجدولية غير المتجانسة يتطلب ما قبل تدريب على مجموعات بيانات ضخمة ومتنوعة (سواء كانت اصطناعية أو مجموعات كبيرة من البيانات الحقيقية) لتغطية توزيع المهام غير المرئية. تتحدى هذه الورقة ذلك الافتراض، حيث تبحث فيما إذا كانت نماذج التأسيس الجدولي يمكنها التعميم بمتانة من ما قبل التدريب على جدول حقيقي واحد، وتسعى لفهم الآليات الكامنة وراء هذا التعميم.
المنهجية
يستخدم المؤلفون نهجاً تجريبياً منهجياً مقسماً إلى ثلاث مراحل رئيسية:
تحليل ما قبل التدريب على جدول واحد:
الإعداد: قام المؤلفون بإجراء ما قبل تدريب لنماذج التعلم في السياق الجدولي (باستخدام البنية الأساسية المشتركة لـ TabPFNv1 و TabDPT) من الصفر على مجموعات بيانات حقيقية فردية (مثل MNIST الممثلة كجدول، أو مجموعة بيانات Colleges).
التقييم: تم تقييم هذه النماذج ذات المجموعة الواحدة على مجموعات اختبار متنوعة (CC-18 للتصنيف، و CTR-23 للانحدار) دون تحديث الأوزان.
التحليل الميتا (Meta-Analysis): أُجري تحليل ميتا على 88 مجموعة بيانات لربط خصائص مجموعة البيانات (عدد الميزات، عدد الحالات، القيم المفقودة، إلخ) بالأداء في المهام اللاحقة باستخدام نموذج انحدار XGBoost.
التحكم في تنوع المهام: تلاعب المؤلفون بعدد "المهام" الفريدة (تبديلات الهدف وأعمدة الميزات) التي يراها النموذج أثناء ما قبل التدريب على مجموعة بيانات ثابتة لعزل تأثير تنوع المهام عن حجم البيانات.
ما قبل التدريب على مجموعة ضخمة والاستئصال (Ablation):
المجموعة (Corpus): باستخدام مجموعة تضم 1,732 مجموعة بيانات حقيقية من OpenML، بحث المؤلفون في استراتيجيات تنسيق المجموعات.
الاستئصال (Ablations):
على مستوى مجموعة البيانات: اختبار تأثير إزالة التكرار الدقيق وتصفية مجموعات البيانات "منخفضة الميزات" أو "السيئة".
على مستوى العمود: تطبيق معالجة مسبقة دقيقة (حذف الأعمدة التي تزيد نسبة القيم المفقودة فيها عن 50%، إزالة التكرار القائم على الارتباط، وفرض حد أدنى لعدد الميزات) لتحسين جودة المهام دون التخلص من مجموعات البيانات بأكملها.
التوسع (Scaling): تم توسيع التجارب عبر سعات نماذج مختلفة (العمق/العرض) وأطوال سياق مختلفة (1 ألف، 2 ألف، 4 آلاف توكن) للتحقق مما إذا كانت النتائج تظل صالحة للنماذج الأكبر.
استقصاء الآلية (الاسترجاع مقابل الأولوية/Prior):
مهمة الاسترجاع: أنشأ المؤلفون مهمة محكومة حيث تكون صفوف الاستعلام نسخاً مطابقة لصفوف السياق لقياس قدرة النموذج على "استرجاع" التسميات ونسخها. ğu
القيود الهيكلية: قاموا بتعديل آلية الانتباه عن طريق ربط أوزان إسقاط الاستعلام والمفتاح (WQ=WK)، مما يجبر النموذج على التصرف بشكل يشبه خوارزمية k-nearest neighbor (kNN).
تحليل الانتباه: فحصوا خرائط الانتباه للنماذج القوية ذات المجموعة الواحدة لتحديد الأنماط العالمية.
المساهمات والنتائج الرئيسية
1. التعميم المفاجئ من الجداول الفردية
خلافاً للاعتقاد بأن بيانات ما قبل التدريب المتنوعة ضرورية، يثبت المؤلفون أن المحول (Transformer) المدرب باستخدام هدف التعلم الذاتي على جدول حقيقي واحد (مثل MNIST أو Colleges) يمكنه تحقيق تعميم قوي في السياق على مجموعات بيانات غير مرتبطة هيكلياً ودلالياً. على سبيل المثال، النموذج الذي تدرب حصرياً على MNIST يعمل بشكل جيد في تقدير أسعار منازل كاليفورنيا.
2. المنظور "المتمحور حول المهمة"
تحدد الورقة أن التعميم مدفوع بـ عدد وجودة المهام بدلاً من الحجم الإجمالي للبيانات.
عدد الميزات > عدد الحالات: يعد عدد الميزات في مجموعة بيانات ما قبل التدريب هو المتنبئ الأقوى بالأداء اللاحق. إن تقليل عدد الحالات له تأثير ضئيل، بينما يؤدي تقليل الميزات إلى خفض الأداء بشكل كبير.
عالمية الجودة: مجموعات البيانات التي تتعمم جيداً تميل إلى القيام بذلك بشكل عالمي عبر جميع المهام اللاحقة، بغض النظر عن المجال. لا توجد ميزة انتقال كبيرة "من مجال إلى مجال"؛ فبعض مجموعات البيانات مفيدة بشكل واسع، والبعض الآخر سيء بشكل واسع.
تنوع المهام: إن زيادة عدد المهام الفريدة (تبديلات الهدف/الميزات) أثناء ما قبل التدغيل يحسن الأداء باستمرار، حتى على مجموعة بيانات واحدة.
3. رؤى تصميم المجموعة (Corpus Design)
عند التوسع إلى مجموعات ضخمة، يجد المؤلفون أن:
التصفية على مستوى مجموعة البيانات غير فعالة: لا يوفر إزالة التكرار الدقيق أي فائدة، كما أن التصفية الشديدة لمجموعات البيانات "منخفضة الميزات" تؤدي في الواقع إلى تدهور الأداء. تساهم مجموعات البيانات منخفضة الميزات في توفير هياكل تبعية أبسط وفريدة تكمل مجموعات البيانات عالية الميزات.
المعالجة المسبقة على مستوى العمود أمر بالغ الأهمية: إن التنظيف الدقيق (إزالة الأعمدة شديدة الارتباط أو كثيرة القيم المفقودة) يحسن باستمرار الأداء اللاحق. هذا يزيد من جودة وتنوع المهام دون تقليص حجم المجموعة.
4. آلية التعميم: الاسترجاع المتعلم
تقترح الورقة إطاراً جديداً لفهم تعميم نماذج التأسيس الجدولي، مجادلةً ضد فرضية "ملاءمة الأولوية" (حيث تخزن الأوزان قاعدة قرار عالمية). بدلاً من ذلك، يجادل المؤلفون بأن هذه النماذج تعمل كـ إجراءات استرجاع وتجميع متعلمة:
ارتباط الاسترجاع: هناك ارتباط قوي (معامل بيرسون = 0.89) بين قدرة النموذج على استرجاع التسميات الدقيقة من سياقه وبين أدائه في التعميم.
سلوك شبيه بـ kNN: إن إجبار النموذج على استخدام آلية انتباه أبسط تعتمد على التشابه (WQ=WK) لا يضر بالأداء بل غالباً ما يحسنه للنماذج الأضعف، مما يشير إلى أن القدرة الأساسية هي تحديد الأمثلة ذات الصلة وتجميع تسمياتها.
فضاء الاسترجاع العالمي: تظهر النماذج القوية أنماط انتباه متشابهة، مما يشير إلى وجود فضاء استرجاع عالمي يتيح التعميم.
الأهمية والادعاءات
تدعي الورقة أنها تقدم منظوراً جديداً لكيفية تعميم نماذج التأسيس الجدولي، محولةً التركيز من الانتقال البارامتري (تعلم متنبئ عالمي) إلى آليات غير بارامترية قائمة على الاسترجاع.
التحول النظري: تتحدى الورقة التفسير البايزي (Bayesian) الذي يفترض أن هذه النماذج تتعلم "أولوية" (prior) فوق عمليات توليد البيانات، وتقترح بدلاً من ذلك أنها تتعلم كيفية تحديد نقاط السياق ذات الصلة.
الأثر العملي: توفر النتائج إطاراً "متمحوراً حول المهمة" لتصميم النماذج والمجموعات في المستقبل. وتحديداً، تشير إلى أنه بالنسبة لما قبل التدريب، فإن الأولوية يجب أن تكون لتعظيم تنوع المهام (عبر ثراء الميزات وتنظيف مستوى العمود) بدلاً من مجرد تجميع كميات هائلة من البيانات أو إجراء إزالة دقيقة للتكرار على مستوى مجموعة البيانات.
التواضع: يقر المؤلفون بأنه على الرغم من أن أدلتهم تدعم بقوة فرضية الاسترجاع (وتعارض فرضية ملاءمة الأولوية الصارمة)، إلا أنهم لا يدعون أنهم أثبتوا بشكل قاطع غياب أي تعلم بارامتري، بل إن الاسترجاع هو التفسير الكافي والموجز للقدرات الملحوظة.