2629 पेपर
यह शोध पत्र LikeThis! प्रस्तुत करता है, जो एक GenAI-आधारित दृष्टिकोण है जो उपयोगकर्ताओं को उपयोगकर्ता टिप्पणियों और स्क्रीनशॉट से ठोस डिज़ाइन सुधार विकल्पों को उत्पन्न करके अस्पष्ट UI शिकायतों को रचनात्मक, कार्रवाई योग्य फीडबैक में बदलने के लिए सशक्त बनाता है, जिसे मॉडल बेंचमार्किंग और फीडबैक की गुणवत्ता एवं डेवलपर की समझ में वृद्धि दिखाने वाले एक उपयोगकर्ता अध्ययन के माध्यम से प्रमाणित किया गया है।
यह शोध पत्र तर्क देता है कि जहाँ डाउनस्ट्रीम संशोधन जोखिमों को कम करने के लिए अपस्ट्रीम फाउंडेशन मॉडल डेवलपर्स को विनियमित करना आवश्यक है, वहीं उन मामलों में विविध डाउनस्ट्रीम डेवलपर्स का प्रत्यक्ष विनियमन भी आवश्यक हो सकता है जहाँ वे जोखिमों को अस्वीकार्य स्तर तक बढ़ा सकते हैं, हालाँकि ऐसे उपायों को व्यावहारिक चुनौतियों और नवाचार संबंधी चिंताओं के विरुद्ध संतुलित किया जाना चाहिए।
यह शोधपत्र एक अनुप्रयोग मैट्रिक्स, रिपोर्टिंग चेकलिस्ट और एक जीवित ऑनलाइन संसाधन द्वारा समर्थित, लार्ज लैंग्वेज मॉडल्स (Large Language Models) से जुड़े अनुभवजन्य सॉफ्टवेयर इंजीनियरिंग अध्ययनों की पुनरुत्पादकता और कठोरता को बढ़ाने के लिए सात अध्ययन प्रकारों और आठ अनिवार्य या अनुशंसित दिशानिर्देशों के एक सहयोगात्मक ढांचे को प्रस्तुत करता है।
यह शोध पत्र EZR को प्रस्तुत करता है, जो एक नवीन ढांचा है जो न्यूनतम डेटा के साथ कुशल, व्याख्यात्मक बहु-उद्देश्यीय अनुकूलन प्राप्त करने के लिए 'मैक्सिमम क्लैरिटी ह्यूरिस्टिक' और सक्रिय 'नेव बेयस सैंपलिंग' का उपयोग करता है, यह प्रदर्शित करते हुए कि मानक पर्यवेक्षित (supervised) और XAI विधियों की तुलना में कम, अधिक सूचनात्मक उदाहरण उच्च-प्रदर्शन वाले मॉडल और स्पष्ट स्पष्टीकरण प्रदान कर सकते हैं।
VeriStruct एक नवीन फ्रेमवर्क है जो व्यवस्थित कोड जनरेशन के लिए एक प्लानर और सिंटैक्स त्रुटियों को सुधारने के लिए एक रिपेयर स्टेज का उपयोग करके Verus में जटिल डेटा स्ट्रक्चर मॉड्यूल के लिए AI-सहायता प्राप्त स्वचालित सत्यापन का विस्तार करता है, जिससे ग्यारह Rust मॉड्यूल्स में फंक्शन्स को सत्यापित करने में 99.2% सफलता दर प्राप्त होती है।
यह श्वेत पत्र शोध प्रबंध (dissertation) के अनुसंधान को टीमों के लिए अनुकूलित तकनीकी ऋण प्रबंधन प्रणालियाँ स्थापित करने हेतु एक व्यावहारिक, लचीले मार्गदर्शिका में अनुवादित करता है, जो सार्वभौमिक रूप से अपनाए जाने वाले "सर्वोत्तम अभ्यासों" और वैकल्पिक "अच्छी-से-अच्छी चीज़ों" के बीच अंतर करते हुए सहयोगात्मक प्रक्रिया डिज़ाइन पर ज़ोर देता है।
zkCraft एक व्यावहारिक ढांचा है जो म्यूटेशन पैटर्न उत्पन्न करने के लिए प्रॉम्प्ट-निर्देशित LLMs का लाभ उठाता है और ज़ीरो-नॉलेज सर्किट्स में सिमेंटिक विसंगतियों का कुशलतापूर्वक पता लगाने के लिए एक नवीन प्रूफ-बेयरिंग सर्च मैकेनिज्म का उपयोग करता है, जिससे सॉल्वर निर्भरता को कम करते हुए औपचारिक सत्यापन (फॉर्मल वेरिफिकेशन) और स्वचालित डिबगिंग के बीच के अंतर को पाटा जा सकता है।
यह शोध पत्र CIRCLE का प्रस्ताव करता है, जो एक छह-चरणीय जीवनचक्र ढांचा है जो एआई (AI) के अमूर्त प्रदर्शन मेट्रिक्स और वास्तविक दुनिया के परिनियोजन परिणामों के बीच के अंतर को पाटता है, तथा शासन के लिए हितधारकों की चिंताओं को तुलनीय, संदर्भ-संवेदनशील मात्रात्मक साक्ष्य में अनुवादित करने हेतु एक संरचित प्रोटोकॉल को औपचारिक रूप देता है।
यह शोध पत्र रोबस्टनेस-आधारित सिमेंटिक्स को परिभाषित करके, बाउंडेड-रिस्पॉन्स फॉर्मुलों को कुशलतापूर्वक मॉनिटर करने योग्य पास्ट-टाइम फ्रैगमेंट में रूपांतरित करके, और बेंचमार्क मूल्यांकन के माध्यम से दृष्टिकोण की व्यावहारिकता को प्रदर्शित करके सिग्नल फर्स्ट-ऑर्डर लॉजिक (SFO) की ऑनलाइन क्वांटिटेटिव मॉनिटरिंग के लिए पहले सार्वजनिक रूप से उपलब्ध प्रोटोटाइप को प्रस्तुत करता है।
FastCode एक नवीन फ्रेमवर्क है जो संरचनात्मक अन्वेषण (structural exploration) को सामग्री उपभोग (content consumption) से अलग करके रिपॉजिटरी-स्केल कोड रीजनिंग को बढ़ाता है, जो प्रासंगिक कोड निर्भरताओं को सटीक रूप से पहचानने और उच्च-मूल्य वाले संदर्भों को कुशलतापूर्वक निर्मित करने के लिए एक हल्के सेमेटिक-स्ट्रक्चरल मैप का उपयोग करता है, जिससे मौजूदा अत्याधुनिक विधियों की तुलना में काफी कम टोकन लागत के साथ बेहतर सटीकता प्राप्त होती है।