इस पत्र में, हम एस्ट्रोगेटर का प्रस्ताव करते हैं, एक ऐसी प्रणाली जो उपयोगकर्ता के इरादे को स्पष्ट करने और उत्पन्न कोड की शुद्धता को सत्यापित करने के लिए एक औपचारिक क्वेरी भाषा का परिचय देती है, जिससे प्राकृतिक भाषा विवरणों के आधार पर कोड उत्पन्न करने वाले बड़े पैमाने के भाषा मॉडल (एलएलएम) की त्रुटि समस्या का समाधान होता है। एस्ट्रोगेटर, एन्सिबल प्रोग्रामिंग भाषा पर आधारित है और इसमें एक औपचारिक क्वेरी भाषा, एक कम्प्यूटेशनल विधि जो एन्सिबल प्रोग्राम व्यवहार का प्रतिनिधित्व करती है, और सत्यापन के लिए प्रयुक्त एक प्रतीकात्मक दुभाषिया शामिल है। 21 कोड निर्माण कार्यों के एक बेंचमार्क में, 83% मामलों में सही कोड सत्यापित किया गया और 92% मामलों में गलत कोड की पहचान की गई।
