💻 computer science

AdaDec: A Uncertainty-Guided Lookahead Decoding Framework for LLM-Based Code Generation

AdaDec एक अनिश्चितता-निर्देशित अनुकूलन योग्य डिकोडिंग फ्रेमवर्क है जो एक सीखे हुए, मॉडल-विशिष्ट लुकअहेड मैकेनिज्म के माध्यम से उच्च-अनिश्चितता वाले चरणों पर टोकन को गतिशील रूप से रोकने और पुन: रैंक करने द्वारा ग्रिडी डिकोडिंग की तुलना में LLM-आधारित कोड जनरेशन सटीकता में 20.9% तक सुधार करता है।

Kaifeng He, Mingwei Liu, Chong Wang, Zike Li, Yanlin Wang, Xin Peng, Zibin Zheng2026-04-27
🤖 AI

AgentBound: Securing Execution Boundaries of AI Agents

यह शोध पत्र AgentBound को प्रस्तुत करता है, जो मॉडल कॉन्टेक्स्ट प्रोटोकॉल (MCP) के लिए पहला एक्सेस कंट्रोल फ्रेमवर्क है जो उच्च उत्पादकता और नगण्य ओवरहेड बनाए रखते हुए, एआई एजेंटों को अनियंत्रित टूल एक्सेस से सुरक्षित करने के लिए एक डिक्लेरेटिव पॉलिसी मैकेनिज्म को एक गैर-हस्तक्षेपकारी प्रवर्तन इंजन (non-intrusive enforcement engine) के साथ जोड़ता है।

Christoph Bühler, Matteo Biagiola, Luca Di Grazia, Guido Salvaneschi2026-04-27
💻 computer science

Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings

यह शोध पत्र 1,200 पायथन रीजनिंग समस्याओं के एक नए डेटासेट का परिचय देता है जो वास्तविक दुनिया की जटिलताओं—जैसे कि कस्टम प्रकार और जटिल निर्भरताएँ—को शामिल करने के लिए स्टैटिक और डायनेमिक विश्लेषण का उपयोग करता है, जिससे यह पता चलता है कि मौजूदा बेंचमार्क मुख्य रूप से कम-जटिलता वाले कार्यों पर ध्यान केंद्रित करते हैं और बड़े भाषा मॉडलों (लार्ज लैंग्वेज मॉडल्स) की व्यावहारिक तर्क क्षमताओं का सटीक मूल्यांकन करने में विफल रहते हैं।

Changshu Liu, Alireza Ghazanfari, Yang Chen, Reyhaneh Jabbarvand2026-04-27
💻 computer science

Challenges in Android Data Disclosure: An Empirical Study

683 डेवलपर्स से जुड़ी ऑनलाइन चर्चाओं के सर्वेक्षण और विश्लेषण के माध्यम से, यह शोध पत्र यह पहचानता है कि जहाँ एंड्रॉइड डेवलपर्स को यह जानने में विश्वास है कि उनके ऐप्स कौन सा डेटा एकत्र करते हैं, वहीं वे जटिल आवश्यकताओं, वर्गीकरण की कठिनाइयों और ऐप अस्वीकार होने के डर के कारण गूगल प्ले के डेटा सेफ्टी सेक्शन के भीतर इसे सटीक रूप से वर्गीकृत करने और प्रकट करने में संघर्ष करते हैं।

Mugdha Khedkar, Michael Schlichtig, Mohamed Soliman, Eric Bodden2026-04-27
💻 computer science

Efficient Prime Paths Generation

यह शोध पत्र निर्देशित ग्राफ़ (directed graphs) में प्राइम पाथ्स (prime paths) उत्पन्न करने के लिए एक कुशल स्ट्रीमिंग एल्गोरिदम पेश करता है, जो खोज क्षेत्र को सीमित करने और अमान्य पथों को जल्दी से हटाने के लिए स्ट्रॉन्गली कनेक्टेड कंपोनेंट्स (strongly connected components) का लाभ उठाता है, जिससे यह वास्तविक दुनिया के कंट्रोल-फ्लो ग्राफ़ पर मौजूदा एन्यूमरेशन-आधारित विधियों से बेहतर प्रदर्शन करता है।

Jakub Zelek, Jakub Ruszil, Adam Roman, Artur Polański2026-04-27
💻 computer science

Feedback Over Form: Why Execution Feedback Matters More Than Pipeline Topology in 1-3B Code Generation

यह शोध पत्र प्रदर्शित करता है कि 1-3B पैरामीटर वाले कोड जनरेशन के लिए, एक सरल सेल्फ-रिफाइनमेंट लूप के माध्यम से निष्पादन फीडबैक (execution feedback) को शामिल करना, पाइपलाइन की जटिलता या आर्किटेक्चरल टोपोलॉजी बढ़ाने की तुलना में काफी अधिक प्रदर्शन लाभ प्रदान करता है।

Charles Junichi McAndrews2026-04-27
💻 computer science

A systematic review of generative AI usage for IT project management

PRISMA पद्धति का उपयोग करते हुए, यह व्यवस्थित समीक्षा आईटी परियोजना प्रबंधन में जनरेटिव एआई की वर्तमान स्थिति का अन्वेषण करती है, जिसमें यह पाया गया है कि अनुसंधान वर्तमान में एक खोजपूर्ण चरण में है जो GPT-आधारित प्रॉम्प्ट इंजीनियरिंग द्वारा प्रधान है और भविष्य की दिशाओं के रूप में विशेष एआई एजेंटों और मानव-एआई सहयोगात्मक नेटवर्क जैसे सुझाव देती है।

Ionut Anghel, Tudor Cioara2026-04-27
💻 computer science

Documentless Assessments Using Nominal Group Interviews

यह शोध पत्र एक सहयोगात्मक समूह साक्षात्कार तकनीक प्रस्तुत करता है जो पारंपरिक दस्तावेज़-प्रधान ऑडिट के स्थान पर एजाइल-प्रेरित विधियों, जैसे कि यूजर स्टोरीज़ और प्लानिंग पोकर का उपयोग करता है, ताकि कुशल और सर्वसम्मति-संचालित प्रक्रिया मूल्यांकन को सुगम बनाया जा सके।

Eduardo Miranda2026-04-27
💻 computer science

FlyCatcher: Neural Inference of Runtime Checkers from Tests

फ्लाईकैचर (FlyCatcher) एक स्वचालित दृष्टिकोण है जो मौजूदा सॉफ़्टवेयर परीक्षणों से स्टेटफुल रनटाइम चेकर्स (stateful runtime checkers) प्राप्त करने के लिए एलएलएम-आधारित संश्लेषण (LLM-based synthesis), स्टैटिक विश्लेषण और डायनेमिक वैलिडेशन का लाभ उठाता है, जो जटिल प्रणालियों में साइलेंट विफलताओं (silent failures) का पता लगाने में महत्वपूर्ण रूप से सुधार करता है।

Beatriz Souza, Chang Lou, Suman Nath, Michael Pradel2026-04-27
💻 computer science

A Systematic AI Adoption Framework for Higher Education: From Student GenAI Usage to Institutional Integration

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

Michael Neumann, Lasse Bischof, Maria Rauschenberger, Eva-Maria Schön2026-04-27