2531 पेपर
यह शोध पत्र बहु-स्तरीय डिजिटल ट्विन्स (Digital Twins) के लिए एक सिमेंटिक ग्राउंडिंग पाइपलाइन का प्रस्ताव करता है जो विषमता की चुनौतियों को हल करने और विभिन्न एब्स्ट्रैक्शन परतों में सुसंगत इंटरऑपरेबिलिटी सुनिश्चित करने के लिए RDF ग्राफ और एक नवीन LLM-संवर्धित संरेखण दृष्टिकोण (SSM-OM) का उपयोग करता है।
यह शोधपत्र LLM4Log प्रस्तुत करता है, जो नवंबर 2025 तक प्रकाशित 145 अध्ययनों की एक व्यवस्थित समीक्षा है जो संपूर्ण लॉग विश्लेषण पाइपलाइन में लार्ज लैंग्वेज मॉडल्स के अनुप्रयोग का विश्लेषण करती है, एक एकीकृत वर्गीकरण (taxonomy) प्रदान करती है, डिज़ाइन पैटर्न और मूल्यांकन प्रथाओं का सारांश प्रस्तुत करती है, और मजबूत, विश्वसनीय वास्तविक दुनिया की तैनाती के लिए प्रमुख चुनौतियों की पहचान करती है।
यह शोध पत्र यह प्रदर्शित करता है कि LLM-जनित विफलता स्पष्टीकरणों की गुणवत्ता संदर्भ संरचना (context composition) पर कारणतः निर्भर है, जो यह दर्शाता है कि सामान्य या अत्यधिक बड़े संदर्भों की तुलना में साक्ष्य-समृद्ध और विफलता-विशिष्ट आर्टिफैक्ट्स, कारण संबंधी स्पष्टता और कार्रवाई योग्य मरम्मत परिणामों में महत्वपूर्ण रूप से सुधार करते हैं।
यह शोध पत्र एक औपचारिक सत्यापन ढांचा प्रस्तुत करता है जो सीएनसी (CNC) वर्कस्पेस को एक स्थानिक हीप (spatial heap) के रूप में मॉडल करता है और भौतिक टकरावों का पता लगाने के लिए सेपरेशन लॉजिक (Separation Logic) को तार्किक डेटा रेस (logical data races) के रूप में लागू करता है, जिससे सुरक्षित, स्वायत्त विनिर्माण के लिए पुनरावृत्ति सिमुलेशन पर निर्भरता कम होती है।
यह शोध पत्र StartFlow प्रस्तुत करता है, जो वायरफ़्लो (wireflows) का उपयोग करने वाली एक संरचित तीन-चरणीय विधि है ताकि सॉफ्टवेयर स्टार्टअप के गैर-विशेषज्ञों को प्रभावी MVP प्रोटोटाइप बनाने में सक्षम बनाया जा सके, और यह फोकस समूह फीडबैक एवं विशेषज्ञ मूल्यांकन के माध्यम से स्पष्ट, अधिक उपयोगी डिज़ाइन बनाने की इसकी क्षमता को प्रमाणित करता है।
यह शोध पत्र जेमिनी फॉर गूगल (GfG) को प्रस्तुत करता है, जो डेटा क्यूरेशन और मिड-ट्रेनिंग की एक व्यापक एंड-टू-एंड प्रक्रिया के माध्यम से गूगल के आंतरिक सॉफ्टवेयर इंजीनियरिंग इकोसिस्टम के लिए अनुकूलित एक विशिष्ट लार्ज लैंग्वेज मॉडल है, जिसने एक बड़े पैमाने के अध्ययन में डेवलपर दक्षता और कोड गुणवत्ता में महत्वपूर्ण सुधार किया है और साथ ही एंटरप्राइज मॉडल कस्टमाइजेशन के लिए एक प्रतिलिपि योग्य ब्लूप्रिंट भी प्रदान किया है।
यह शोध पत्र PrivacyAkinator प्रस्तुत करता है, जो एक इंटरैक्टिव टूल है और जो NIST की जटिल प्राइवेसी रिस्क असेसमेंट मेथोडोलॉजी (PRAM) की तुलना में नौसिखिया डेवलपर्स को प्रमुख प्राइवेसी डिज़ाइन निर्णयों को अधिक कुशलता और प्रभावशीलता से स्पष्ट करने में मदद करने के लिए LLM-जनरेटेड बहुविकल्पीय प्रश्नों का लाभ उठाता है।
लीन रिफैक्टर (Lean Refactor) एक रिट्रीवल-ऑगमेंटेड एजेंटिक फ्रेमवर्क है जो बिना किसी मॉडल रिट्रेनिंग के, क्यूरेटेड रिफैक्टरिंग रणनीतियों को गतिशील रूप से चुनकर टोकन कंप्रेशन, कंपाइलेशन स्पीड और वर्जन कम्पैटिबिलिटी सहित कई उद्देश्यों के लिए लीन (Lean) प्रूफ को अनुकूलित करता है।
यह शोध पत्र ProcBench प्रस्तुत करता है, जो एक मानक ऑन्टोलॉजी और जोखिम-आधारित स्कोरकार्ड के माध्यम से प्रक्रिया-स्तरीय दोषों और नियंत्रण संरक्षण का विश्लेषण करके LLM कोडिंग एजेंटों का मूल्यांकन करने वाला एक ढांचा है, जो कई डेटासेट में पारंपरिक केवल-परिणाम वाले बेंचमार्क की तुलना में अधिक गहन नैदानिक अंतर्दृष्टि प्रदान करता है।
यह शोध पत्र तर्क देता है कि जबकि एजेंटिक एआई उत्पादकता लाभ की क्षमता प्रदान करता है, सॉफ्टवेयर और हार्डवेयर विकास में इसके पूर्ण मूल्य को साकार करने के लिए प्रॉम्प्ट इंजीनियरिंग से हटकर एक अनुशासित प्रक्रिया नियंत्रण ढांचे की ओर जाने की आवश्यकता है जिसे "एजेंटिक एजाइल-वी" (Agentic Agile-V) कहा जाता है, जो संवादात्मक इरादे को सत्यापित, साक्ष्य-आधारित इंजीनियरिंग आर्टिफैक्ट्स में बदलने के लिए एक एजाइल-वी लाइफसाइकिल को टास्क-लेवल SCOPE-V लूप के साथ एकीकृत करता है।