AI اور دنیا کے مشکل مسائل · نظریاتی کمپیوٹر سائنس · arXiv · 2026-10-22

ORSMT: ایل ایل ایم پر مبنی آپٹیمائزیشن میں سیمینٹک تصدیق اور مرمت کے لیے سیٹسفی ایبلیٹی ماڈیولو تھیوریز کی پوری صلاحیت سے فائدہ اٹھانا

اصل عنوان: ORSMT: Unleashing the Potential of Satisfiability Modulo Theories for Semantic Verification and Repair in LLM-Based Optimization

ORSMT ایل ایل ایم پر مبنی آپٹیمائزیشن ماڈلنگ میں سیمینٹک تصدیق کے مسئلے سے نمٹتا ہے، جہاں یہ جانچنا کہ لکھی ہوئی ریاضی، سولور کوڈ اور واپس کی گئی رپورٹ ایک ہی مسئلے کا بیان ہیں یا نہیں، سیمینٹک موازنے کا تقاضا کرتا ہے۔ یہ ایک ٹائپڈ سیمینٹک انٹرفیس اور قطعی SMT تعلقات کی کویریز مہیا کرتا ہے، جو فیزیبل ریجن اور آبجیکٹو کے تعلقات کو ثابت یا مسترد کرتے ہیں، ردّ کی مقامی نشان دہی کرتے ہیں، اور ایک آرٹیفیکٹ سے دوسرے کی بازتعمیر کرتے ہیں۔ 3,034 مسائل اور چھ جنریٹر سائزز کے پیمانے پر یہ تمام 72 کمبینیشنز میں ماڈل-کوڈ میچ ریٹ بہتر کرتا ہے، اور پروٹیکٹڈ سلیکشن مجموعی شرح کو 43.2% سے 88.2% تک اور درست و میچ شدہ حصے کو 25.2% سے 40.2% تک بڑھا دیتا ہے۔

اصل تحریر پڑھیں ↗

تمام آئٹمز →