🛠️ Category

cs.SE

2518 पेपर

🤖 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
💻 computer science

An Empirical Study of Gemini 3 for Detecting Natural Language Test Smells in Manual Test Cases

यह अनुभवजन्य अध्ययन प्रदर्शित करता है कि लार्ज लैंग्वेज मॉडल Gemini 3-Pro-Preview, जब प्रॉम्प्ट-आधारित होल-टेस्ट-केस विश्लेषण रणनीति के माध्यम से लागू किया जाता है, तो मैनुअल टेस्ट केस के भीतर नेचुरल लैंग्वेज टेस्ट स्मेल्स का पता लगाने और उन्हें समझाने में पिछले स्मॉल लैंग्वेज मॉडल्स की तुलना में काफी बेहतर प्रदर्शन करता है, जिससे मैनुअल टेस्टिंग में स्वचालित गुणवत्ता सहायता की महत्वपूर्ण आवश्यकता रेखांकित होती है।

Keila Lucas, Rohit Gheyi, Márcio Ribeiro, Fabio Palomba, Luana Martins, Elvys Soares2026-06-15
💬 NLP

Simulating Students' Java Programming Errors with Large Language Models

यह शोध पत्र प्रदर्शित करता है कि बड़े भाषा मॉडल, विशेष रूप से क्लॉड सोनेट 4 (Claude Sonnet 4), छात्रों की विविध और यथार्थवादी जावा प्रोग्रामिंग त्रुटियों का प्रभावी ढंग से अनुकरण कर सकते हैं, जो शैक्षिक अनुसंधान और इंटेलिजेंट ट्यूटरिंग सिस्टम के लिए वास्तविक सबमिशन एकत्र करने के एक स्केलेबल विकल्प के रूप में कार्य करते हैं।

Ali Keramati, Jie Cao, Iman Mohammadi, Mark Warschauer, Yang Shi2026-06-15