أين تبحث: قياس فضاء البحث المنظم مسبقاً لوكلاء نماذج اللغة الكبيرة

المعلومات الأساسية

• معرّف الورقة: 2510.14846
• العنوان: أين تبحث: قياس فضاء البحث المنظم مسبقاً لوكلاء نماذج اللغة الكبيرة
• المؤلف: Zhuo-Yang Song
• التصنيف: cs.AI cs.CL cs.LO
• تاريخ النشر: 16 أكتوبر 2025 (نسخة أولية على arXiv)
• رابط الورقة: https://arxiv.org/abs/2510.14846

الملخص

حقق نموذج التكرار "توليد-تصفية-تحسين" (generate-filter-refine) القائم على نماذج اللغة الكبيرة (LLMs) تقدماً في الاستدلال والبرمجة واكتشاف البرامج في مجال الذكاء الاصطناعي والعلوم. ومع ذلك، يعتمد فعالية البحث على "أين تبحث"، أي كيفية ترميز السابقة المجالية في فضاء افتراضات منظم وقابل للتشغيل. لهذا الغرض، تقترح هذه الورقة نظرية رسمية مضغوطة لوصف وقياس البحث التكراري بمساعدة نماذج اللغة الكبيرة الموجهة بالسابقة المجالية. يمثل المؤلف الوكيل كمشغل علاقة غامض على المدخلات والمخرجات لالتقاط التحويلات الممكنة؛ وبالتالي يتم تقييد الوكيل بواسطة غلاف أمان ثابت. لوصف الاستدلال متعدد الخطوات/البحث، يقوم المؤلف بتجميع وترجيح جميع المسارات القابلة للوصول من خلال معامل استمرار واحد، مما ينتج عنه دالة توليد التغطية؛ وهذا يحفز مقياس صعوبة القابلية للوصول؛ ويوفر تفسيراً هندسياً للبحث على الرسم البياني المستحث من غلاف الأمان.

السياق البحثي والدافع

المشكلة الأساسية

تتمثل المشكلة الأساسية التي تعالجها هذه الدراسة في: كيفية قياس ووصف فضاء البحث لوكلاء نماذج اللغة الكبيرة بشكل منهجي. بشكل محدد، في عملية البحث التكراري القائمة على نماذج اللغة الكبيرة، تقتصر فعالية البحث بشكل أساسي على مسألة "أين تبحث"، أي كيفية ترميز السابقة المجالية في الفضاء الذي يمكن للوكيل تشغيله.

أهمية المشكلة

1. متطلبات المهام طويلة الأفق الزمني: تفرض المهام طويلة الأفق الزمني متطلبات أعلى على السلامة والتحكم، مما يتطلب العمل ضمن حدود قابلة للتحقق والتحكم
2. تحديات التعقيد: غالباً ما تنطوي المشاكل طويلة الأفق الزمني على انفجار اندماجي ومكافآت نادرة، وتقييم بسيط أو ثنائي غير كافٍ لتحديد صعوبة القابلية للوصول
3. نقص نظري: يعتمد الممارسة الحالية بشكل أساسي على الاستدلالات الهندسية (تصميم المحفزات والمرشحات ودوال التقييم وما إلى ذلك)، مع افتقار إلى لغة موحدة وأدوات كمية

قيود الطرق الموجودة

• غياب لغة موحدة لقياس الوكيل-الفضاء-البحث
• صعوبة قياس المقايضة بين القابلية للوصول والسلامة بشكل قابل للمقارنة بين الوكلاء المختلفين
• غياب توصيف واضح وتفسير لخصائص السلوك طويل الأفق الزمني للوكيل

الدافع البحثي

إنشاء نظرية رسمية موجزة وقابلة للحساب ومستقلة عن النموذج، توحد قياس السلامة والقابلية للوصول، وتوفر تنبؤات قابلة للاختبار ومبادئ تصميم قابلة للاستخدام الهندسي.

المساهمات الأساسية

1. اقتراح نظرية رسمية مضغوطة: تشكيل الوكيل كمشغل علاقة غامق، وصف عملية البحث التكراري من خلال دالة توليد التغطية
2. إنشاء إطار قياس موحد: إدخال معامل الاستمرار ومؤشر التغطية، توفير طريقة كمية موحدة للسلامة والقابلية للوصول
3. توفير تفسير هندسي: تحديد الكميات الهندسية على الرسم البياني الموجه المستحث من غلاف الأمان، وتقديم تفسير هندسي لعملية البحث
4. التحقق من التنبؤات النظرية: التحقق من الاستنتاجات القابلة للاختبار للنظرية من خلال تجسيد التصويت بالأغلبية، وتوفير التحقق الخارجي

شرح الطريقة

تعريف المهمة

• فضاء الإدخال: $C_1$ (فضاء إدخال الوكيل)
• فضاء الإخراج: $C_2$ (فضاء إخراج الوكيل، حيث $C_2 \subseteq C_1$ لدعم التكرار)
• الهدف: قياس ووصف عملية البحث التكراري تحت قيود السلامة

الإطار الرياضي الأساسي

1. تمثيل الوكيل

الوكيل المثالي يُعرّف كمشغل علاقة غامق: $T(f,g) := \mu_f(g), \quad \mu_f: C_2 \to [0,1]$

الوكيل المثالي الهش (غلاف الأمان): $\mu_f(g) \in \{0,1\}, \quad 0 \leq T(f,g) \leq T_0(f,g)$

2. دالة توليد التغطية

إدخال معامل الاستمرار $p \in [0,1]$، تعريف دالة توليد التغطية من $f$ إلى $g$: $P_{f,g}(p) := \sum_{n=0}^{\infty} \sum_{S_T: f^{(0)}=f, f^{(n)}=g} p^n \prod_{i=0}^{n-1} \mu_{f^{(i)}}(f^{(i+1)})$

عندما يكون $C_1, C_2$ قابلاً للعد، يمكن تمثيله في شكل مصفوفة: $P(p) = \sum_{n \geq 0} p^n M^n = (I - pM)^{-1}$

3. الكميات الهندسية الرئيسية

• أقصر مسافة: $d_0(f,g) := \inf\{n \in \mathbb{N}: N_n(f,g) \geq 1\}$
• عدد أقصر المسارات: $N_{d_0}(f,g)$
• المعامل الحرج: $p_c(f,g) := \inf\{p \in [0,1]: P_{f,g}^{ideal}(p) \geq 1\}$
• مؤشر التغطية: $R_c(f,g) := 1 - p_c(f,g)$

نقاط الابتكار التقني

1. لغة قياس موحدة

توحيد تمثيل الوكيل من خلال مشغل علاقة غامق، بحيث يمكن قياس السلامة والقابلية للوصول باستخدام نفس الرموز الرياضية والكميات الهندسية.

2. آلية معامل الاستمرار

إدخال معامل استمرار واحد $p$ لترجيح طول المسار، مما يتجنب تعقيد التفسير الاحتمالي، ويوفر طريقة قياس قابلة للحساب.

3. التفسير الهندسي

تحديد هندسة البحث على الرسم البياني الموجه المستحث من غلاف الأمان، وتحويل عملية البحث المجردة إلى مشكلة نظرية رسم بياني ملموسة.

4. الفرضيات القابلة للاختبار

اقتراح فرضيتين رئيسيتين للوكلاء التكراريين المبنيين على نماذج اللغة الكبيرة:

• الفرضية 1: البحث أحادي الاتجاه التقريبي (ندرة المسارات المغلقة)
• الفرضية 2: هيمنة الحدود منخفضة الرتبة (ندرة المسارات الطويلة جداً)

إعداد التجربة

بيئة التجربة

• فضاء البحث: شبكة ثنائية الأبعاد $G_N := \{0,\ldots,N-1\}^2$
• حجم الشبكة: $N = 3, 5, 8$
• نقاط الهدف: $(1,2), (3,4), (6,7)$ على التوالي

بناء الوكيل

1. مجموعة نماذج اللغة الكبيرة: gpt-4-mini, gpt-4, qwen3, qwen-plus, gemini-2.5-flash, deepseek-v3, grok-4, doubao
2. آلية التصويت بالأغلبية: أخذ عينات مستقلة $m=5$ مرات لكل موضع $f$، واختيار الوضع كقرار
3. الوكيل المثالي: $\mu_f^{(t)}(g) := \frac{1}{n}\sum_L \mu_f^{(L,t)}(g)$
4. غلاف الأمان: $\mu_f^{0,(t)}(g) := \mathbf{1}\{\mu_f^{(t)}(g) > 0\}$

مؤشرات التقييم

• أقصر مسافة $d_0(f,t)$
• عدد أقصر المسارات $N_{d_0}(f,t)$
• التحقق من عدم المساواة: $\log N_{d_0}(f,g) \ll d_0(f,g)$

نتائج التجربة

النتائج الرئيسية

1. خصائص هيكل الرسم البياني

أظهرت التجارب أن غلاف الأمان المستحث من نماذج اللغة الكبيرة ينتج عنه هيكل قابلية وصول أحادي الاتجاه وغير متناحٍ على شبكة ثنائية الأبعاد، مع انخفاض صارم إلى مسافة مانهاتن للهدف، متسقة مع المقدمة المحدودة للفرضية 1.

2. التحقق من العلاقات الهندسية

يوضح الشكل 2 العلاقة بين $(d_0, N_{d_0})$ عبر ثلاثة أحجام شبكة:

• تقع نقاط البيانات تحت الحد الأعلى التجريبي المتنبأ به نظرياً
• عندما يكون $d_0$ أكبر، يكون الملاءمة لعدم المساواة $\log N_{d_0} \ll d_0$ أفضل
• يدعم القانون التجريبي في حد $R_c$ الصغير

3. التحقق من الفرضيات

• هيكل الرسم البياني أحادي الاتجاه: لاحظت التجارب خصائص أحادية الاتجاه في الرسم البياني، مما يدعم الفرضية 1
• عد المسارات المحدود: يتسق عد المسارات المحدود مع إعداد الفرضية 2
• هيمنة التعقيد: تحقق من خصائص هيمنة التعقيد (أقصر مسافة) مع تنوع مسار محدود

النتائج التجريبية

1. السلوك العتبة: عند معاملات استمرار صغيرة، يكون البحث في حالة توسع غير كافٍ، مع هيمنة حد أقصر مسار على سلوك $P_{f,g}(p)$
2. القيود الهندسية: تؤدي القيود الدلالية لنماذج اللغة الكبيرة إلى هيكل أحادي الاتجاه في الرسم البياني، مما يحد فعلياً من فضاء البحث
3. أنماط القابلية للوصول: تتوافق العلاقة المرصودة $(d_0, N_{d_0})$ مع اتجاه الحد الأعلى المتنبأ به نظرياً

الأعمال ذات الصلة

الاتجاهات البحثية الرئيسية

1. نماذج استدلال نماذج اللغة الكبيرة: طرق الاستدلال التكراري مثل ReAct و Tree of Thoughts و Chain-of-Thought
2. التخطيط واستخدام الأدوات: أطر الوكلاء مثل Plan-and-Solve و Toolformer و Voyager
3. تطبيقات الذكاء الاصطناعي والعلوم: تطبيقات نماذج اللغة الكبيرة في البحث عن البرامج واكتشاف الخوارزميات والحساب العلمي

مزايا هذه الورقة

• توفير إطار نظري موحد، بينما تكون الطرق الموجودة في الغالب استدلالات تجريبية
• إنشاء آلية قابلة للقياس للمقايضة بين السلامة والقابلية للوصول
• توفير وصف رسمي مستقل عن النموذج

الخلاصة والمناقشة

الاستنتاجات الرئيسية

1. المساهمة النظرية: إنشاء نظرية رسمية مضغوطة للبحث التكراري بمساعدة نماذج اللغة الكبيرة
2. أدوات القياس: توفير أدوات تشغيلية لقياس السلامة والقابلية للوصول بشكل موحد
3. الرؤى الهندسية: الكشف عن الهيكل الهندسي والآليات المقيدة لعملية البحث
4. التحقق التجريبي: التحقق من التنبؤات النظرية القابلة للاختبار من خلال تجسيد التصويت بالأغلبية

القيود

1. حجم التجربة: يقتصر التحقق الحالي على شبكات ثنائية الأبعاد صغيرة الحجم، مما يتطلب التحقق على مهام أكبر وأكثر تعقيداً
2. تغطية النموذج: على الرغم من استخدام نماذج لغة كبيرة متعددة، لا يزال يتطلب تغطية أوسع للنماذج والمهام
3. اكتمال النظرية: لم يتم التحقق بالكامل من بعض التنبؤات النظرية (مثل التقدير المباشر لـ $R_c$) في التجارب

الاتجاهات المستقبلية

1. التحقق التجريبي المفصل: اختبار صحة النظرية على مهام أكثر تعقيداً
2. الاتصال بالتعلم المعزز: ربط مؤشرات النظرية بمكافآت التعلم المعزز وعمليات التدريب
3. التطبيقات العملية: تطبيق أدوات القياس على تصميم وتدريب الوكلاء للمهام المعقدة

التقييم المتعمق

المزايا

1. الابتكار النظري قوي: أول اقتراح لنظرية قياس رسمية لفضاء البحث لوكلاء نماذج اللغة الكبيرة
2. الإطار الرياضي صارم: الأساس الرياضي القائم على مشغلات العلاقات الغامضة ودوال التوليد متين
3. القيمة العملية عالية: توفير أدوات قياس قابلة للتشغيل ومبادئ توجيهية للتصميم
4. التحقق كافٍ: توفير التحقق الخارجي للنظرية من خلال تجسيد ملموس

أوجه القصور

1. حجم التجربة محدود: التجارب التحقق نسبياً بسيطة، مع نقص الاختبار على مهام واقعية معقدة
2. اعتماد الفرضية: تعتمد التنبؤات النظرية على تحقق فرضيات محددة (أحادية الاتجاه، هيمنة الحدود منخفضة الرتبة)
3. التعقيد الحسابي: قد تواجه حساب دالة التوليد تحديات تعقيد للمشاكل الكبيرة الحجم

التأثير

1. المساهمة الأكاديمية: توفير أساس نظري جديد وأدوات تحليل لبحث وكلاء نماذج اللغة الكبيرة
2. القيمة العملية: توفير إرشادات كمية لتصميم الوكلاء للمهام المعقدة
3. قابلية التكرار: توفير إعدادات تجريبية وأكواد مفصلة، مع قابلية تكرار جيدة

السيناريوهات المعمول بها

• تصميم وكلاء نماذج اللغة الكبيرة التي تتطلب قيود السلامة
• تحليل الأداء لمهام الاستدلال والتخطيط طويلة الأفق الزمني
• تحليل وتحسين الهيكل لفضاء البحث المعقد
• المقارنة والتقييم لأنظمة الوكلاء المتعددة

المراجع

تستشهد الورقة بـ 32 مرجعاً ذا صلة، تغطي أعمالاً مهمة في عدة مجالات بما في ذلك استدلال نماذج اللغة الكبيرة والتعلم المعزز وتحسين القيود والأنظمة الغامضة، مما يوفر أساساً متيناً لبناء النظرية.