2489 पेपर
OxyMake एक औपचारिक रूप से निर्दिष्ट (formally-specified), सिंगल-बाइनरी रस्ट (Rust) वर्कफ़्लो इंजन है जो विश्वसनीय फ़ाइल-संशोधन टाइमस्टैम्प के स्थान पर मजबूत, क्रॉस-मशीन कैशिंग सुनिश्चित करने और स्प्यूरियस री-एग्जीक्यूशन को समाप्त करने के लिए कंटेंट-एड्रेस्ड BLAKE3 हैशिंग का उपयोग करता है, जबकि मौजूदा मेक-शैली (Make-style) पाइपलाइनों के साथ अनुकूलता बनाए रखता है।
यह शोध पत्र उभरते हुए गैर-ऑटोरेग्रेसिव प्रतिमानों—विशेष रूप से डिफ्यूजन मॉडल्स, कोड वर्ल्ड मॉडल्स और स्टेट स्पेस मॉडल्स—का सर्वेक्षण करता है ताकि कोड जनरेशन में नेक्स्ट-टोकन प्रेडिक्शन की संरचनात्मक सीमाओं को संबोधित किया जा सके और संज्ञानात्मक तंत्रिका विज्ञान (कॉग्निटिव न्यूरोसाइंस) से प्रेरित "सिस्टम 2" रीजनिंग एजेंट्स की ओर एक मार्ग प्रस्तावित किया जा सके।
यह सर्वेक्षण प्रारंभिक नियम-आधारित ह्यूरिस्टिक्स (heuristics) से लेकर ट्रांसफॉर्मर्स (Transformers) और जीएनएन (GNNs) जैसे आधुनिक डीप लर्निंग आर्किटेक्चर तक स्ट्रिप्ड बाइनरीज़ (stripped binaries) के लिए टाइप इन्फरेंस (type inference) के विकास का व्यापक रूप से पता लगाता है, साथ ही प्रमुख चुनौतियों का विश्लेषण करता है और न्यूरो-सिंबोलिक इन्फरेंस (neuro-symbolic inference) में भविष्य की दिशाओं का प्रस्ताव देता है।
यह शोध पत्र एक एकीकृत ढांचे को प्रस्तुत करता है जो LOLA स्ट्रीम विनिर्देश भाषा के भीतर रनटाइम सत्यापन और मॉडल-आधारित निदान को एकीकृत करता है ताकि अलग टूलचेन की आवश्यकता के बिना निरंतर, ऑनलाइन दोष स्थानीयकरण के साथ-साथ पहचान को सक्षम बनाया जा सके।
यह शोध पत्र LEMUR डेटासेट के भीतर विषम 4-एक्सपर्ट मिक्स्चर-ऑफ-एक्सपर्ट आर्किटेक्चर की खोज के लिए एक स्वचालित पाइपलाइन प्रस्तुत करता है, जो एक महत्वपूर्ण वर्णमाला क्रम संबंधी पूर्वाग्रह (alphabetical enumeration bias) को प्रकट करता है जिसने खोज स्थान को AirNet-केंद्रित संयोजनों तक सीमित कर दिया था, जबकि उच्च-सटीकता वाले एन्सेम्बल्स के लिए ShuffleNet और MobileNetV3 को इष्टतम भागीदारों के रूप में पहचाना।
यह शोध पत्र ESAA-Conversational को प्रस्तुत करता है, जो एक इवेंट-सोर्स्ड मेमोरी लेयर है जो विषम (heterogeneous) LLM कोडिंग एजेंटों को दृश्य बातचीत के दौरों (conversation turns) को एक साझा, अपेंड-ओनली लॉग में कैप्चर करके और निरंतर निरंतरता बनाए रखने तथा सत्रों के बीच सहयोग करने में सक्षम बनाता है, जिससे सीधे एजेंट-से-एजेंट संचार या निरंतर LLM इन्फरेंस की आवश्यकता के बिना स्टेट, निर्णयों और कार्यों के लिए नियतात्मक (deterministic) रीड मॉडल प्रोजेक्ट किए जाते हैं।
यह कार्यशाला रिपोर्ट जून 2024 के ERAS कार्यक्रम की चर्चाओं का संश्लेषण करती है ताकि विश्वसनीय स्वायत्त प्रणालियों (ऑटोनॉमस सिस्टम्स) के इंजीनियरिंग में चुनौतियों का एक व्यापक कैटलॉग और समाधानों के लिए एक रणनीतिक रोडमैप प्रस्तुत किया जा सके, जो अकादमिक सत्यापन तकनीकों और औद्योगिक अभ्यास के बीच के अंतर को पाटता है।
यह शोध पत्र ESBMC-PLC+ प्रस्तुत करता है, जो एक एकीकृत ओपन-सोर्स फ्रेमवर्क है जो ESBMC बैकएंड को सभी प्रमुख IEC 61131-3 भाषाओं (लैडर डायग्राम और स्ट्रक्चर्ड टेक्स्ट सहित) और अनबाउंडेड वेरिफिकेशन (unbounded verification) का समर्थन करने के लिए विस्तारित करता है, जिससे यह अपने पूर्ववर्ती PLCverif की इनपुट फॉर्मेट सीमाओं और बाउंडेड प्रूफ बाधाओं को दूर करता है और टाइमर-हैवी प्रोग्रामों को सत्यापित करने में nuXmv से काफी बेहतर प्रदर्शन करता है।
यह अनुभवजन्य अध्ययन प्रदर्शित करता है कि हितधारक सहयोग को एआई-सहायता प्राप्त संश्लेषण के साथ संयोजित करने से पारंपरिक तरीकों या केवल प्रत्यक्ष एआई जनरेशन की तुलना में उच्च-गुणवत्ता वाले और अधिक स्पष्ट रूप से बोधगम्य आवश्यकता आर्टिफैक्ट्स (requirements artifacts) प्राप्त होते हैं।
यह शोध पत्र 180 मिलियन रिपॉजिटरी के एक सत्यापित बहु-विधि जनगणना (multi-method census) को प्रस्तुत करता है जो यह प्रकट करता है कि एकल-सिग्नल पहचान विधियाँ AI कोडिंग एजेंटों की व्यापकता का गंभीर रूप से कम आकलन करती हैं—97% तक गतिविधि को चूक जाती हैं—और विभिन्न पहचान चैनल एजेंटों और कार्य के प्रकारों की विशिष्ट, गैर-अतिव्यापी आबादी को कैप्चर करते हैं, जिससे ओपन-सोर्स आपूर्ति श्रृंखला पर उनके प्रभाव को सटीक रूप से मापने के लिए एक समग्र दृष्टिकोण आवश्यक हो जाता है।