🤖 AI

A RFID Based Campus Wide Payment System

यह शोध पत्र एक लागत प्रभावी, सुरक्षित और कुशल आरएफआईडी (RFID) आधारित परिसर-व्यापी भुगतान प्रणाली प्रस्तुत करता है जो कैफेटेरिया खरीद और ट्यूशन शुल्क जैसी सेवाओं के लिए लेनदेन को सुव्यवस्थित करने के लिए रास्पबेरी पाई (Raspberry Pi) और एक केंद्रीकृत डेटाबेस का उपयोग करती है, साथ ही ब्लॉकचेन एकीकरण और पहनने योग्य उपकरणों जैसे भविष्य के संवर्द्धन का प्रस्ताव भी देती है।

Miraj Uddin Chowdhury, MD Khairul Islam Prime2026-07-21
🤖 AI

A Large-Scale Measurement of AI Bill of Materials Completeness in Hugging Face Models

यह शोध पत्र लगभग 97,500 हगिंग फेस (Hugging Face) मॉडलों में एआई बिल ऑफ मटेरियल्स (AIBOMs) की पूर्णता का अनुभवजन्य मूल्यांकन करता है, जिसमें यह पाया गया है कि हालांकि आवश्यक संरचनात्मक क्षेत्र पूरी तरह से मौजूद हैं, लेकिन मॉडल कार्ड, लाइसेंस, सीमाएं और सुरक्षा जोखिमों के संबंध में महत्वपूर्ण एआई-विशिष्ट दस्तावेजीकरण काफी अधूरा बना हुआ है।

Md Erfan, Ahmed Ryan, Md Rayhanur Rahman2026-07-21
💻 computer science

IssueExec: A Test-Driven Approach for Localizing Software Engineering Issues

यह शोध पत्र IssueExec का प्रस्ताव करता है, जो एक नवीन टेस्ट-ड्रिवन दृष्टिकोण है जो डोमेन-वर्धित टेस्ट रिप्रजेंटेशन और पदानुक्रमित ट्रेस विश्लेषण (hierarchical trace analysis) का लाभ उठाता है ताकि इश्यू विवरणों और कोड के बीच के सिमेंटिक गैप को पाटा जा सके, जिससे रिकॉल और रेजोल्यूशन दरों में उल्लेखनीय सुधार करके सॉफ्टवेयर इंजीनियरिंग इश्यूज़ को लोकलाइज़ करने में अत्याधुनिक प्रदर्शन प्राप्त किया जा सके।

Jiawei Liu, Yun Lin, Chenyan Liu, Yu Qian, Yiming Liu, Jiaxin Chang, Weinan Zhang, Linpeng Huang2026-07-21
💻 computer science

Combining model checking with simulation-based techniques for protocol verification

यह शोध पत्र एक हाइब्रिड सत्यापन तकनीक प्रस्तावित करता है जो एक अत्यधिक अमूर्त सरल संचार प्रोटोकॉल (SCP) पर प्रत्यक्ष मॉडल चेकिंग को उन सिमुलेशन संबंधों के साथ जोड़कर ABP और SWP जैसे प्रोटोकॉल में स्टेट स्पेस एक्सप्लोजन समस्या को दूर करता है जो इन अधिक जटिल प्रोटोकॉल को इस सरल मॉडल से औपचारिक रूप से जोड़ते हैं।

Takanori Ishibashi, Kazuhiro Ogata2026-07-21
💻 computer science

PSASpotter: A Tool to Detect the Usage of Platform-Specific APIs in Python

यह शोध पत्र PSASpotter प्रस्तुत करता है, जो एक ऐसा टूल है जिसे पायथन सिस्टम में प्लेटफॉर्म-विशिष्ट API के उपयोग का पता लगाने और यह पहचानने के लिए डिज़ाइन किया गया है कि क्या वे रक्षात्मक कोड द्वारा सुरक्षित हैं, जिससे सॉफ्टवेयर रखरखाव में सहायता मिलती है और पायथन इकोसिस्टम के भीतर नए अनुभवजन्य अध्ययन सक्षम होते हैं।

Ricardo Job, Andre Hora2026-07-21
🤖 machine learning

FailureAtlas: A Taxonomy of Failure Modes in Multi-Provider LLM Serving Infrastructure

यह शोधपत्र FailureAtlas प्रस्तुत करता है, जो मूल परत (origin layer) और पता लगाने की क्षमता (detectability) के आधार पर मल्टी-प्रदाता LLM सर्विंग गेटवे में विफलता मोड को वर्गीकृत करने वाला एक द्वि-अक्षीय वर्गीकरण (two-axis taxonomy) है, जो यह प्रकट करता है कि सबसे परिचालन रूप से गंभीर मुद्दे वे "मौन" (silent) विफलताएं हैं जो सफल HTTP प्रतिक्रियाएं लौटाते हुए भी एप्लिकेशन की स्थिति (application state) को दूषित कर देते हैं।

Vishal Pandey, Gopal Singh2026-07-21
🤖 AI

CommitLLM: A Fine-Tuned Pipeline for Git Commit Message Generation

CommitLLM एक तीन-चरणीय पाइपलाइन है जो कोड डिफ्स (code diffs) से संक्षिप्त और प्रारूप-अनुपालन वाले गिट कमिट संदेश (git commit messages) उत्पन्न करने के लिए एक छोटे भाषा मॉडल को फाइन-ट्यून करती है और बाधित डिकोडिंग (constrained decoding) के साथ नियत पोस्ट-प्रोसेसिंग लागू करती है, जो यह प्रदर्शित करता है कि संरचित आउटपुट कार्यों को केवल मॉडल अनुकूलन की तुलना में पाइपलाइन इंजीनियरिंग से अधिक लाभ होता है।

Md Rafid Haque, Poojan Narendrabhai Patel, Meetkumar Vijaybhai Raychura2026-07-21
💬 NLP

Is Progressive Disclosure All You Need for Long-Context Agents?

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

Yifeng He, Yinzhe Zhao, Jicheng Wang, Hao Chen2026-07-21
🤖 AI

Verify, Repair, Repeat, or Stop? Robust Stopping for Noisy Verify-Repair Loops in LLM Agents

यह शोध पत्र VRR-Stop प्रस्तुत करता है, जो एक शोर-जागरूक विश्वास फ़िल्टरिंग तंत्र (noise-aware belief filtering mechanism) और एक फॉलबैक गार्ड का उपयोग करने वाला एक सुदृढ़ ढांचा है, जो शोर वाले वेरीफाई-रिपेयर लूप्स के लिए इष्टतम स्टॉपिंग पॉइंट निर्धारित करने हेतु बनाया गया है, जो अनावश्यक मरम्मत राउंड को कम करते हुए अंतिम योजना की वैधता में महत्वपूर्ण सुधार करता है।

Yitao Wu, Si Shen, Rui Yang, Hong Peng, Bin Hu2026-07-21
💻 computer science

KernelDiag: Agent-Based Root Cause Diagnosis for Kernel Crashes

KernelDiag एक एजेंट-आधारित फ्रेमवर्क है जो विषम नैदानिक आर्टिफैक्ट्स (heterogeneous diagnostic artifacts) को सोर्स कोड के साथ संरेखित करके और संरचित एविडेंस ग्राफ (Evidence Graphs) बनाने के लिए विशिष्ट एजेंटों का उपयोग करके लिनक्स कर्नेल के मूल-कारण निदान (root-cause diagnosis) को स्वचालित करता है, जिससे दोषों को सटीक रूप से स्थानीयकृत करने और कार्रवाई योग्य स्पष्टीकरण उत्पन्न करने में मौजूदा विधियों की तुलना में काफी बेहतर प्रदर्शन करता है।

Weijing Wang, Zan Wang, Dong Wang, Haichi Wang, Junjie Chen2026-07-21