LLM-Guided Strategy Synthesis for Scalable Equality Saturation
تقدم هذه الورقة EggMind، وهو إطار عمل موجه بنماذج اللغات الكبيرة (LLM) يعمل على توليف استراتيجيات تشبع التساوي القابلة لإعادة الاستخدام عبر لغة متخصصة في مجال معين وسير عمل وكيل، وذلك لتحسين جودة التحسين بشكل كبير مع التخفيف من انفجار الرسم البياني للمساواة (e-graph).