ReDeFo: Reliable Code Generation with Multi-Agent Formalization

Описание: ReDeFo नामक एक बहु-एजेंट प्रणाली का प्रस्ताव करता है, जो स्वचालित कोड जनरेशन (ACG) के लिए आवश्यकताओं के विकास और औपचारिककरण पर केंद्रित है। इसका लक्ष्य प्राकृतिक भाषा आवश्यकताओं (NLRs) से विश्वसनीय कोड तैयार करना है, जिसमें औपचारिक तरीकों को शामिल करके कोड की गुणवत्ता और शुद्धता सुनिश्चित की जा सके। यह ढाँचा तीन विशिष्ट एजेंटों - विश्लेषक (Analyst), औपचारिककर्ता (Formalizer) और कोडर (Coder) के सहयोग से काम करता है, जो आवश्यकताओं को परिष्कृत करने, उन्हें औपचारिक विनिर्देशों में बदलने और अंततः सत्यापित कोड उत्पन्न करने के लिए जिम्मेदार हैं। प्रणाली वास्तविक दुनिया के परियोजनाओं, आधिकारिक साहित्य और विशेषज्ञों के ज्ञान पर आधारित है, लेकिन अभी भी विनिर्देशों की पूर्णता और कोड की गुणवत्ता सुनिश्चित करने जैसी चुनौतियों का सामना करती है।