🤖 AI

AI Supply Chain Galaxy: 3D Visual Analytics for License Compliance

यह शोध पत्र AI सप्लाई चेन गैलेक्सी (AISCG) को प्रस्तुत करता है, जो एक इंटरैक्टिव 3D विजुअल एनालिटिक्स सिस्टम है जो लाइसेंस अनुपालन ऑडिटिंग को सुव्यवस्थित करने के लिए जटिल मॉडल निर्भरताओं को मैप करता है, जिससे यह पता चलता है कि विश्लेषण किए गए 908,449 हगिंग फेस मॉडल्स में से आधे से अधिक महत्वपूर्ण अनुपालन जोखिम या मेटाडेटा संबंधी समस्याओं का प्रदर्शन करते हैं।

Weiru Han, Xuetao Shi, Wenyi He, Wei Wang, Rui Zhao, Moming Duan2026-06-16
💻 computer science

No Resource, No Benchmarks, No Problem? Evaluating and Improving LLMs for Code Generation in No-Resource Languages

यह शोध पत्र लक्षित भाषा डेटा पर एक बेस मॉडल के निरंतर प्री-ट्रेनिंग (further pre-training) और उसके बाद वेट डिफ ट्रांसफर (weight diff transfer) के माध्यम से इंस्ट्रक्शन-फॉलोइंग क्षमताओं को इंजेक्ट करने की एक लागत प्रभावी रणनीति को पेश करके, शून्य-संसाधन वाली प्रोग्रामिंग भाषाओं में कोड जनरेशन की चुनौती को संबोधित करता है, जो कि इंस्ट्रक्शन-ट्यून्ड मॉडल्स के सीधे फाइन-ट्यूनिंग की तुलना में काफी बेहतर प्रदर्शन करती है।

Alessandro Giagnorio, Alberto Martin-Lopez, Gabriele Bavota2026-06-16
🤖 AI

Beyond Models: Reflections on Engineering AI-enabled Systems in a Project-Based Course

यह शोध पत्र ब्रेमेन विश्वविद्यालय के एक प्रोजेक्ट-आधारित मास्टर पाठ्यक्रम पर विचार करता है जो छात्रों को पूर्ण-स्तरीय सॉफ्टवेयर आर्किटेक्चर में एआई घटकों को एकीकृत करना सिखाता है, और आर्किटेक्चरल डिज़ाइन और डेटा प्रबंधन में बनी रहने वाली चुनौतियों को उजागर करने के लिए एक मिश्रित-पद्धति अध्ययन का उपयोग करते हुए सिस्टम-स्तरीय तर्क और डेटा-केंद्रित प्रथाओं को बढ़ावा देने में पाठ्यक्रम की सफलता को प्रदर्शित करता है।

Amir Mashmool, Kishan Ravindra Sawant, Mojtaba Shahin, Nico Hochgeschwender, Rainer Koschke2026-06-16
💻 computer science

Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale

यह शोध पत्र VerIbmc को प्रस्तुत करता है, जो एक न्यूरो-सिंबोलिक पाइपलाइन है जो सॉफ्टवेयर सत्यापन के लिए अत्याधुनिक लूप इनवेरिएंट जनरेशन प्राप्त करने हेतु सिंबोलिक इनवेरिएंट सिंथेसिस और इटरेटिव वेरीफायर फीडबैक के साथ स्थानीय ओपन-वेट लैंग्वेज मॉडल्स का लाभ उठाता है, जो मालिकाना क्लाउड-आधारित उपकरणों के लिए एक गोपनीयता-संरक्षित और लागत प्रभावी विकल्प प्रदान करता है।

Muhammad A. A. Pirzada, Julian Parsert, Weiqi Wang, Konstantin Korovin, Lucas C. Cordeiro2026-06-16
⚛️ quantum physics

How Many Shots Are Enough for a Quantum Circuit?

यह शोध पत्र IncrementalExecution को प्रस्तुत करता है, जो एक ब्लैक-बॉक्स ऑनलाइन फ्रेमवर्क है जो विशिष्ट सर्किट संरचनाओं या शोर मॉडलों (noise models) पर निर्भर हुए बिना, निष्पादन लागत और परिणाम की शुद्धता के बीच संतुलन बनाने के लिए घटते प्रतिफल के बिंदु (point of diminishing returns) की पहचान करके क्वांटम सर्किट शॉट्स की संख्या को गतिशील रूप से अनुकूलित करता है।

Giuseppe Bisicchia, Alessandro Bocci, Ernesto Pimentel, Antonio Brogi2026-06-16
💻 computer science

Towards a Software Architecture Description for Tax Compliance

यह अध्ययन प्रदर्शित करता है कि जबकि एक न्यूनतम सॉफ्टवेयर आर्किटेक्चर विवरण कर लेखापरीक्षकों (tax auditors) के लिए सीमा पार घटक पुनरुपयोग (cross-border component reuse) को प्रभावी ढंग से विज़ुअलाइज़ कर सकता है, यह अंततः सॉफ्टवेयर इंजीनियरिंग अमूर्तताओं (software engineering abstractions) और कराधान अवधारणाओं के बीच मौलिक बेमेल के कारण कानूनी रूप से सार्थक कर मूल्यांकन का समर्थन करने में विफल रहता है।

Michael Dorner, Oliver Treidler, Tom-Eric Kunz, Ehsan Zabardast, Daniel Mendez, Darja Šmite, Maximilian Capraro, Krzyszt (…)2026-06-15
💻 computer science

The Influence of HEXACO Personality Traits on the Teamwork Quality in Software Teams -- A Preliminary Research Approach

यह प्रारंभिक अध्ययन एक अनुसंधान डिजाइन प्रस्तावित करता है और 54 प्रतिभागियों के एक नमूने से प्रारंभिक निष्कर्ष प्रस्तुत करता है जो यह प्रदर्शित करते हैं कि HEXACO व्यक्तित्व लक्षण, लिंग अनुपात और आयु वितरण जैसे जनसांख्यिकीय कारकों के साथ, सॉफ्टवेयर विकास टीमों में टीम वर्क की गुणवत्ता को महत्वपूर्ण रूप से प्रभावित करते हैं।

Philipp M. Zähl, Sabine Theis, Martin R. Wolf2026-06-15
💬 NLP

Deja Vu at Scale: Paraphrase-Robust Detection of Duplicate Gherkin Steps in Behaviour-Driven Software Testing with Sentence-Transformer Embeddings and a 1.1M-Step Open Benchmark

यह शोध पत्र 1.1 मिलियन से अधिक स्टेप्स के एक बड़े पैमाने के, अंतर-संगठनात्मक बेंचमार्क को जारी करके और एक पैराफ्रेज़-रोबस्ट (paraphrase-robust) डिटेक्टर पेश करके, बिहेवियर-ड्रिवन डेवलपमेंट (BDD) में डुप्लिकेट गेरकिन (Gherkin) स्टेप्स की रखरखाव लागतों को संबोधित करता है जो महत्वपूर्ण रूप से समाप्त करने योग्य अतिरेक (redundancy) की पहचान करने और उसे मापने के लिए सटीक, लेक्सिकल और सिमेंटिक विधियों को जोड़ता है।

Ali Hassaan Mughal, Noor Fatima, Muhammad Bilal2026-06-15
💻 computer science

Do programming languages still matter to your AI coding agent teammate? Evidence at scale from chess engines

यह शोध पत्र यह प्रदर्शित करता है कि जबकि फ्रंटियर एआई कोडिंग एजेंट वास्तव में बहुभाषी हैं और 17 विविध प्रोग्रामिंग भाषाओं में शून्य से कार्यशील शतरंज इंजन (chess engines) संश्लेषित करने में सक्षम हैं, भाषा का चयन परिणामी प्रणाली के प्रदर्शन, लागत, फीचर सेट और आवश्यक मानव पर्यवेक्षण की डिग्री को महत्वपूर्ण रूप से निर्धारित करता है।

Mathieu Acher, Jean-Marc Jézéquel2026-06-15
💻 computer science

A Benchmark and Framework for Evaluating Next Action Predictions in Spreadsheets

यह शोध पत्र स्प्रेडशीट्स में अगले-एक्शन (next-action) की भविष्यवाणी के लिए एक नवीन बेंचमार्क और ऑनलाइन मूल्यांकन ढांचा प्रस्तुत करता है, जो संपादन इतिहास (edit histories) की कमी और जटिल एक्शन स्पेस को संबोधित करने के लिए 52 मैन्युअल रूप से परिष्कृत एक्शन अनुक्रमों को क्यूरेट करता है और विभिन्न बेसलाइन मॉडलों का विश्लेषण करता है।

Tejas Agrawal, Vu Le, Sumit Gulwani, Gust Verbruggen2026-06-15