Designing FSMs Specifications from Requirements with GPT 4.0
تقترح هذه الورقة وتقيم إطار عمل يعتمد على الخبراء ويستند إلى النماذج اللغوية الكبيرة، والذي يسخر نموذج GPT-4 لتصميم آلات الحالة المحدودة تلقائياً من متطلبات اللغة الطبيعية وإصلاحها من خلال الطفرات وتوليد الاختبارات، بهدف تحسين جودة الهندسة القائمة على النماذج وتقليل مخاطر فشل النظام.