AI এবং বিশ্বের কঠিন সমস্যাগুলো · তাত্ত্বিক কম্পিউটার বিজ্ঞান · arXiv · 2026-10-23

TrustedCode: স্বয়ংক্রিয় প্রোগ্রাম যাচাইয়ের মাধ্যমে বিশ্বস্ত কোড তৈরির জন্য বৃহৎ ভাষা মডেলের মূল্যায়ন

মূল শিরোনাম: TrustedCode: Evaluating Large Language Models for Developing Trusted Code through Automated Program Verification

যেহেতু AI-জেনারেটেড কোড নির্ভরযোগ্য নয়, তাই আস্থা প্রতিষ্ঠার জন্য ফর্মাল ভেরিফিকেশন একটি সম্ভাবনাময় উপায়, কিন্তু বিদ্যমান টুলগুলো বেশিরভাগই Python নয়, Java ও C-কে লক্ষ্য করে। লেখকেরা TrustedCode উপস্থাপন করেছেন, যা LLM ব্যবহার করে Python-এর টাইপ-চেক করে, Why3-এর মাধ্যমে তা WhyML-এ অনুবাদ করে, এবং Why3-এর স্বয়ংক্রিয় প্রোভার দিয়ে ফর্মাল স্পেসিফিকেশনের বিপরীতে যাচাই করে। দশটি Python প্রোগ্রামের ওপর পরীক্ষায় পর্যবেক্ষিত ত্রুটির 50% এসেছে ডোমেইন জ্ঞানের ঘাটতি থেকে, 30% সিনট্যাক্স থেকে, এবং 20% সেমান্টিক ও টাইপ সমস্যা থেকে, আর টুলটি ওপেন সোর্স।

মূল লেখা পড়ুন ↗

সব আইটেম →