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

TrustedCode: خودکار پروگرام تصدیق کے ذریعے قابلِ اعتماد کوڈ تیار کرنے کے لیے بڑے لسانی ماڈلز کی جانچ

اصل عنوان: TrustedCode: Evaluating Large Language Models for Developing Trusted Code through Automated Program Verification

چونکہ AI سے تیار کردہ کوڈ ناقابلِ اعتماد ہوتا ہے، اس لیے رسمی تصدیق اعتماد قائم کرنے کا ایک امید افزا طریقہ ہے، لیکن موجودہ ٹولز زیادہ تر Python کے بجائے Java اور C کو ہدف بناتے ہیں۔ مصنفین TrustedCode پیش کرتے ہیں، جو LLMs کے ذریعے Python کی ٹائپ چیکنگ کرتا ہے، اسے Why3 کے ذریعے WhyML میں ترجمہ کرتا ہے، اور Why3 کے خودکار پروورز سے رسمی وضاحتوں کے مقابل اس کی تصدیق کرتا ہے۔ دس Python پروگراموں پر تجربات میں، مشاہدہ کی گئی 50% غلطیاں ڈومین علم کی کمی سے، 30% نحو سے، اور 20% معنوی اور ٹائپ کے مسائل سے پیدا ہوئیں، اور یہ ٹول اوپن سورس ہے۔

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

تمام آئٹمز →