2669 पेपर
यह शोध प्रदर्शित करता है कि जबकि सॉलिडिटी स्मार्ट कॉन्ट्रैक्ट्स में विशिष्ट कमजोरियों के साथ व्यक्तिगत सॉफ्टवेयर जटिलता मेट्रिक्स कम सहसंबंध दिखाते हैं, उनका सामूहिक विश्लेषण प्रभावी रूप से सुरक्षित और असुरक्षित कोड के बीच अंतर करता है, जिसमें असुरक्षित कॉन्ट्रैक्ट्स लगातार उच्च माध्य जटिलता स्कोर प्रदर्शित करते हैं।
यह शोध पत्र e-Otter++ प्रस्तुत करता है, जो एक नवीन टेस्ट जनरेटर है जो हेट्रोजेनियस प्रॉम्प्टिंग और एक्जीक्यूशन फीडबैक का लाभ उठाकर सॉफ्टवेयर इंजीनियरिंग इश्यूज में गायब या गलत कोड की चुनौती को दूर करता है ताकि स्वचालित रूप से रिप्रोडक्शन टेस्ट्स बना सके, जिससे TDD-Bench Verified बेंचमार्क पर 63% का स्टेट-ऑफ-द-आर्ट फेल-टू-पास रेट प्राप्त होता है।
यह शोध पत्र डिडक्टिव वेरिफिकेशन (deductive verification) के व्यापक अंगीकरण के लिए परिचित और कम खोजे गए दोनों प्रकार के अवरोधों की पहचान करने हेतु 30 उद्योग और अकादमिक विशेषज्ञों के साक्षात्कार पर आधारित एक गुणात्मक अध्ययन प्रस्तुत करता है, जो अंततः उपयोगिता, स्वचालन और वर्कफ़्लो एकीकरण में सुधार के लिए चिकित्सकों, टूल निर्माताओं और शोधकर्ताओं के लिए ठोस सिफारिशें प्रदान करता है।
यह शोध पत्र ECOpt प्रस्तुत करता है, जो एक सुधारात्मक फीडबैक और एक व्याख्या योग्य पारेटो फ्रंटियर (Pareto frontier) प्रदान करके ऊर्जा दक्षता और मॉडल प्रदर्शन के बीच के संतुलन को अनुकूलित करने वाला एक हाइपरपैरामीटर ट्यूनिंग टूल है, जो अंततः अधिक टिकाऊ और सटीक मशीन लर्निंग मॉडल की खोज को सक्षम बनाता है।
यह शोध पत्र मेटा के लामा 4 (Llama 4) मॉडल परिवार पर एक व्यापक तकनीकी संदर्भ प्रदान करता है, जो इसके जारी किए गए वेरिएंट्स, अर्ली-फ्यूजन मल्टीमोडैलिटी और iRoPE जैसी उन्नत आर्किटेक्चरल विशेषताओं, प्रशिक्षण पद्धतियों, बेंचमार्क प्रदर्शन, परिनियोजन बाधाओं और लाइसेंसिंग दायित्वों के विवरण को समेकित करता है।
यह शोध पत्र यह प्रदर्शित करता है कि लार्ज लैंग्वेज मॉडल्स को एक कंपाइलर से सुसज्जित करना उन्हें प्रभावी पुनरावृत्ति एजेंटों (iterative agents) में बदल देता है जो विभिन्न मॉडल आकारों में कोड संकलन सफलता को महत्वपूर्ण रूप से सुधारते हैं और सिंटैक्स त्रुटियों को कम करते हैं, जो यह सुझाव देता है कि विकास उपकरणों (development tools) तक पहुँच प्रदर्शन को बढ़ा सकती है और संभावित रूप से विशाल, ऊर्जा-गहन मॉडल्स की आवश्यकता को कम कर सकती है।
यह शोध पत्र BIRD-Python बेंचमार्क और लॉजिक कंप्लीशन फ्रेमवर्क (Logic Completion Framework) को प्रस्तुत करता है ताकि यह प्रदर्शित किया जा सके कि एक बार जब सिस्टम कोड जनरेशन प्रक्रिया में लेटेंट डोमेन नॉलेज (latent domain knowledge) को शामिल करके अस्पष्टता को प्रभावी ढंग से हल कर लेते हैं, तो टेक्स्ट-टू-पायथन (Text-to-Python), टेक्स्ट-टू-एसक्यूएल (Text-to-SQL) के प्रदर्शन के बराबर प्रदर्शन प्राप्त कर सकता है।
यह शोध पत्र रणनीतिक सह-प्रतिस्पर्धा (coopetition) के लिए एक कम्प्यूटेशनल ढांचे को प्रस्तुत करता है जो निष्ठा-मध्यस्थता वाले उपयोगिता फलनों (loyalty-moderated utility functions) और निर्भरता-भारित सामंजस्य (dependency-weighted cohesion) को पेश करके मिश्रित-प्रेरणा वाले बहु-एजेंट परिवेशों में निरंतर फ्री-राइडिंग (free-riding) की समस्या का समाधान करता है, जिन्हें विविध टीम गतिकी में सामूहिक कार्रवाई और योगदान पैटर्न को सफलतापूर्वक मॉडल करने के लिए व्यापक सिमुलेशन और एक अपाचे एचटीटीपी सर्वर केस स्टडी के माध्यम से मान्य किया गया है।
यह शोध पत्र IntelGuard को प्रस्तुत करता है, जो एक रिट्रीवल-ऑगमेंटेड जनरेशन फ्रेमवर्क है जो स्वचालित दुर्भावनापूर्ण पैकेज डिटेक्शन में विशेषज्ञ तर्क को एकीकृत करने के लिए 8,000 से अधिक थ्रेट इंटेलिजेंस रिपोर्टों के नॉलेज बेस का लाभ उठाता है, जिससे 99% सटीकता प्राप्त होती है और PyPI पर 54 पहले से अज्ञात खतरों की खोज की जाती है।
यह शोध पत्र REprompt प्रस्तुत करता है, जो एक मल्टी-एजेंट फ्रेमवर्क है जो आवश्यकताओं के इंजीनियरिंग (requirements engineering) सिद्धांतों का लाभ उठाकर सिस्टम और यूजर प्रॉम्प्ट्स को स्वचालित रूप से उत्पन्न और अनुकूलित करता है, जिससे वास्तविक सॉफ्टवेयर विकास परिदृश्यों में लार्ज लैंग्वेज मॉडल-आधारित कोडिंग एजेंटों द्वारा निर्मित आर्टिफैक्ट्स की गुणवत्ता को बढ़ाया जा सके।