2669 पेपर
यह शोध पत्र अनुभवजन्य रूप से प्रदर्शित करता है कि डोमेन मॉडल डिज़ाइन के विशिष्ट विकल्प, जैसे कि तत्वों का क्रम (element ordering) और क्रियाओं की संख्या (action arity), क्लासिकल प्लानर्स की ऊर्जा खपत को महत्वपूर्ण रूप से प्रभावित करते हैं, जो अक्सर रनटाइम प्रदर्शन के साथ सह-संबंधित नहीं होते हैं।
यह शोध पत्र "लिक्विड इंटरफेस" (Liquid Interfaces) प्रस्तुत करता है, जो एक गतिशील समन्वय प्रतिमान और उससे संबद्ध प्रोटोकॉल है जो स्थिर, नियत प्रणाली संयोजनों को क्षणिक, रनटाइम-परक्राम्य संबंध संबंधी घटनाओं से प्रतिस्थापित करता है ताकि अर्थ संबंधी अनिश्चितता के तहत कार्य करने वाले स्वायत्त एजेंटों के बीच अनुकूलन योग्य अंतर-संचालनीयता को सक्षम किया जा सके।
यह शोध पत्र कोड के लिए लार्ज लैंग्वेज मॉडल्स (LLMs) में संवेदनशील सूचना रिसाव को कम करने हेतु मशीन अनलर्निंग (machine unlearning) को लागू करने पर पहला व्यापक अनुभवजन्य अध्ययन प्रस्तुत करता है, जो यह प्रदर्शित करता है कि जहाँ अनलर्निंग न्यूनतम प्रदर्शन हानि के साथ प्रत्यक्ष मेमोराइजेशन-आधारित रिसाव को प्रभावी ढंग से कम करती है, वहीं यह अनजाने में जोखिम को एक पूर्व में कम खोजे गए अप्रत्यक्ष रिसाव के रूप में स्थानांतरित कर देती है।
यह शोध पत्र SysMoBench प्रस्तुत करता है, जो एक नवीन बेंचमार्क है जिसे विविध सिस्टम आर्टिफैक्ट्स के विरुद्ध सिंटैक्टिक (syntactic), रनटाइम और इनवेरिएंट (invariant) शुद्धता के मूल्यांकन को स्वचालित करके, TLA+ का उपयोग करके जटिल, वास्तविक दुनिया के समवर्ती (concurrent) और वितरित (distributed) सिस्टम्स को औपचारिक रूप से मॉडल करने में जनरेटिव AI की क्षमताओं का मूल्यांकन करने के लिए डिज़ाइन किया गया है।
यह शोध पत्र ज़ानडू (Xanadu) के पेनीलेन (PennyLane) और म्यूनिख क्वांटम टूलकिट (Munich Quantum Toolkit) के एक ठोस एकीकरण को प्रदर्शित करके क्वांटम सॉफ्टवेयर इंजीनियरों के लिए MLIR की कठिन सीखने की प्रक्रिया (learning curve) को पार करने हेतु एक व्यावहारिक मार्गदर्शिका प्रदान करता है, जिससे क्वांटम सॉफ्टवेयर पारिस्थितिकी तंत्र में अंतर-संचालनीयता (interoperability) और मॉडुलैरिटी (modularity) को बढ़ावा मिलता है।
यह शोध पत्र NTP4VC को प्रस्तुत करता है, जो लिनक्स (Linux) और कॉन्टिकी-ओएस (Contiki-OS) जैसे औद्योगिक प्रोजेक्ट्स से प्राप्त वेरिफिकेशन कंडीशंस के न्यूरल थ्योरम प्रूविंग के लिए पहला वास्तविक दुनिया का बहुभाषी बेंचमार्क है, जो प्रोग्राम वेरिफिकेशन को स्वचालित करने में लार्ज लैंग्वेज मॉडल्स की क्षमता और वर्तमान सीमाओं दोनों को उजागर करता है।
9,427 एजेंटिक पुल रिक्वेस्ट का यह अनुभवजन्य अध्ययन कोर और पेरिफेरल डेवलपर्स के बीच विशिष्ट उपयोग पैटर्न को प्रकट करता है, जो यह दर्शाता है कि जहाँ पेरिफेरल डेवलपर्स कार्यों की एक विस्तृत श्रृंखला को डेलिगेट करते हैं और सत्यापन के बिना मर्ज करने की अधिक संभावना रखते हैं, वहीं कोर डेवलपर्स दस्तावेज़ीकरण और परीक्षण पर ध्यान केंद्रित करते हुए सख्त एकीकरण मानकों को बनाए रखते हैं।
यह शोध पत्र 1,210 मर्ज किए गए एजेंट-जनरेटेड बग-फिक्स पीआर (PR) का अनुभवजन्य विश्लेषण करता है जिससे यह पता चलता है कि हालांकि कच्चे कोड गुणवत्ता संबंधी मुद्दों की संख्या एजेंट के अनुसार भिन्न होती है, लेकिन वे मुख्य रूप से एजेंट की क्षमता के बजाय पीआर (PR) के आकार द्वारा संचालित होते हैं, और सफल मर्ज अक्सर महत्वपूर्ण पोस्ट-मर्ज कोड स्मेल्स (code smells) और गंभीर बग्स को छिपा देते हैं, जो केवल मर्ज सफलता से परे व्यवस्थित गुणवत्ता जांच की आवश्यकता को रेखांकित करते हैं।