FormulaSPIN: شبكة عصبية تكتب صيغ الجداول انطلاقًا من الوصف النصي وتتفوق على النماذج المملوكة

نشر باحثون في يوليو 2026 على arXiv إطار FormulaSPIN، وهو نظام تدريب يقوم على مبدأ التدريب الذاتي (self-play) ويولّد صيغ الجداول الإلكترونية انطلاقًا من وصف بلغة طبيعية. وحقق النظام على معيار NL2FORMULA نسبة 74,9% من التطابقات التامة و87,1% من الدقة من حيث التنفيذ، متفوقًا على المنهج التقليدي القائم على التعلم الخاضع للإشراف وعلى أقوى النماذج المملوكة.

كيف يتعلم النموذج من نفسه

يتدرب FormulaSPIN دون سطر واحد جديد من البيانات الموسومة، إذ يلعب النموذج ضد نفسه. وبحسب الملخص المنشور على arXiv، صيغ التدريب على هيئة لعبة بين لاعبين: يتعلم اللاعب الرئيسي تفضيل الصيغ المرجعية (ground-truth) على تلك التي أنتجتها نسخته السابقة. وتصنّف التغذية الراجعة الناتجة عن تنفيذ الصيغ الإجابات بحسب «درجة الدقة»، فتبني منهج تدريب تكيفيًّا: يتقن النموذج أولًا الصحة الدلالية، ثم ينتقل إلى تحسين أسلوب كتابة الصيغة.

والميزة الأساسية في هذه المهمة هي قابلية التنفيذ الثنائية: فالصيغة إما أن تعمل وتعطي نتيجة وإما أن لا تعمل. ويوفر ذلك إشرافًا ضمنيًّا يفصل الأخطاء الدلالية عن الصيغ المكتوبة بشكل مختلف لكنها صحيحة.

لماذا يفشل SPIN المعتاد هنا

لا يصلح SPIN المعتاد لتوليد الصيغ لأنه يعاقب بالقدر نفسه كل إجابة لا تطابق المرجع حرفيًّا. وبحسب المؤلفين، فإن الصيغة المكافئة من حيث التنفيذ تُعاقَب في مثال ما باعتبارها «خاطئة»، بينما تُعدّ في مثال آخر هي المرجع نفسه. ولهذا تتناقض تدرجات التدريب (gradients) فيما بينها، ولا يتقارب النموذج.

ويزيل FormulaSPIN هذا التناقض عبر التحقق بالتنفيذ. فإذا أعطى تعبيران مختلفان في الشكل النتيجة نفسها، يحتسبهما النظام صحيحين لا خطأ. كما أضاف المؤلفون آلية ExecVote، وهي تصويت على المستوى الدلالي يعالج بصورة اعتيادية الحالة التي تكون فيها للمهمة الواحدة عدة صيغ صحيحة.

ماذا أظهرت القياسات

سجّل FormulaSPIN أفضل نتيجة جديدة على عدة معايير. فعلى NL2FORMULA بلغت نسبة التطابقات التامة 74,9% ونسبة الصحة من حيث التنفيذ 87,1%، وهذا مماثل لنتائج النماذج المدرَّبة على بيانات تفضيلات موسومة إضافية، ويتجاوز نتائج SFT التقليدي والنماذج المملوكة المتقدمة.

• 74,9% تطابق تام (exact match) على معيار NL2FORMULA
• 87,1% دقة من حيث التنفيذ (execution accuracy)
• تدريب دون أي مثال موسوم إضافي
• ExecVote: تصويت على المستوى الدلالي في حالة وجود عدة صيغ صحيحة
• يتفوق على SFT التقليدي وعلى النماذج المملوكة المتقدمة (frontier)

«تؤكد هذه النتائج إمكانات التدريب الذاتي في المهام التي تعاني شحًّا في البيانات، وتفتح الطريق أمام نقله إلى ما وراء المجالات القابلة للتنفيذ»، بحسب ما ورد في ملخص ورقة

FormulaSPIN على arXiv.

ماذا يعني ذلك

لا تزال كتابة الصيغ عائقًا أمام مئات الملايين من مستخدمي الجداول، كما أن البيانات الموسومة لتدريب هذه النماذج قليلة. ويبيّن FormulaSPIN أن النموذج قادر على تحسين نفسه بنفسه، مستخدمًا التنفيذ مصدرًا مجانيًّا للتحقق، دون وسم يدوي مكلف. ويصلح هذا النهج لأي مهام يمكن فيها تنفيذ النتيجة ومطابقتها: الشيفرة البرمجية واستعلامات SQL والحسابات.

أسئلة شائعة

ما هو FormulaSPIN؟

FormulaSPIN إطار تدريب ذاتي (self-play) لتوليد صيغ الجداول الإلكترونية من نص بلغة طبيعية. ويحسّن النموذج نفسه تكراريًّا دون بيانات موسومة إضافية، مستخدمًا التحقق من قابلية تنفيذ الصيغ مصدرًا للتغذية الراجعة.

بماذا يختلف FormulaSPIN عن التدريب الإضافي المعتاد؟

يصطدم التدريب الدقيق الخاضع للإشراف (SFT) الكلاسيكي سريعًا بسقف محدودية البيانات الموسومة. أما FormulaSPIN فيتدرب بمبدأ لعبة بين لاعبين، ويفصل الأخطاء الدلالية عن صيغ الكتابة الصحيحة عبر التنفيذ، ولذلك يتفوق على SFT ولا يحتاج إلى بيانات جديدة.

ما النتائج التي حققها FormulaSPIN؟

على معيار NL2FORMULA بلغ الإطار 74,9% من التطابقات التامة و87,1% من الدقة من حيث التنفيذ، وهو مستوى النماذج المدرَّبة على بيانات تفضيلات موسومة إضافية، ويفوق أقوى النماذج المملوكة.