في عالم البرمجيات الحديث، تمثل العقود الرسمية حجر الزاوية في عمليات الاختبار والتحقق من صحة النظام. لكن كتابة هذه العقود كثيراً ما تتسم بالصعوبة وتعرضت لخطأ بشري. في هذا السياق، يبرز إطار 'مونتي' (Monty) كحلاً مبتكراً يهدف إلى تسريع وتحسين عملية تحويل التصريحات بلغة طبيعية إلى صيغ قانونية قابلة للتنفيذ (executable assertions).

يعتمد 'مونتي' على نماذج لغوية ضخمة (Large Language Models) لتقليص الفجوة بين النوايا غير الرسمية للمطورين والمتطلبات الشكلية التي يجب استيفاؤها في البرمجة. يتجاوز 'مونتي' التحديات التقليدية المتعلقة بصلاحية التصريحات وغموض اللغة الطبيعية من خلال تطبيق تقنيات متقدمة مثل تصفية التصريحات باستخدام مُعدل توافق مبتكر (novel conformance score metric) ودرجات صلاحية تُحصل من خلال اختبار الكود أمام التصريحات التي تم تحويلها.

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

وبهذا، يعد 'مونتي' خطوة كبيرة نحو تحسين دقة وكفاءة كتابة العقود في البرمجيات، مما يسهم في توفير الوقت ورفع مستوى الجودة في تطوير البرمجيات بشكل عام.