💻 Category

cs

3552 पेपर

💻 संगणक विज्ञान

Token Probability Beats Verbalized Condence for Error Detection in Small Open-Weight Language Models: A Medical and Psychiatric Benchmark Study

यह पायलट अध्ययन यह दर्शाता है कि चिकित्सा और मनोरोग संबंधी कार्यों के लिए लागू छोटे ओपन-वेट लैंग्वेज मॉडल्स (1.2B–9.2B पैरामीटर्स) के लिए, मॉडल्स के मौखिक रूप से व्यक्त आत्मविश्वास पर भरोसा करने की तुलना में आंतरिक टोकन संभाव्यता (internal token probabilities) निकालना त्रुटि का पता लगाने के लिए एक काफी अधिक विश्वसनीय तरीका है, विशेष रूप से सबसे छोटे मॉडल्स के लिए जहाँ मौखिक आत्मविश्वास संयोग के स्तर (chance levels) पर प्रदर्शन करता है।

Kunal Dhanda2026-09-15
💻 संगणक विज्ञान

HRT-LI: Certified Rank Transport for Dynamic Learned Index over Hierarchical String Keys

यह शोध पत्र HRT-LI को प्रस्तुत करता है, जो पदानुक्रमित स्ट्रिंग कुंजियों (hierarchical string keys) के लिए एक प्रमाणित डायनेमिक लर्नड इंडेक्स है, जो एक फ्रोजन प्रेडिक्टिव मॉडल को लेजर-आधारित सुधार तंत्र (ledger-based correction mechanism) के साथ जोड़कर सख्त रैंक त्रुटि गारंटी बनाए रखता है, जिसे करोड़ों वास्तविक दुनिया की स्ट्रिंग्स पर व्यापक प्रयोगों के माध्यम से मान्य किया गया है।

Prathmesh Sayal, Kshiraja Nelapati2026-09-15
💻 संगणक विज्ञान

Does a Safety-Priming Instruction Reduce Risk-Fact Omission in Psychiatric Note Summarization? A Synthetic-Vignette Study of Small Open-Weight Language Models

यह सिंथेटिक-विग्नेट अध्ययन प्रदर्शित करता है कि जबकि छोटे ओपन-वेट लैंग्वेज मॉडल्स में सुरक्षा-प्राइमिंग निर्देश जोड़ने से मनोरोग संबंधी नोट्स के सारांश में महत्वपूर्ण जोखिम कारकों के छूटने की दर को काफी कम किया जा सकता है, यह अक्सर नियमित नैदानिक विवरणों के छूटने को बढ़ाकर एक ट्रेड-ऑफ (समझौता) भी पैदा करता है, जो यह सुझाव देता है कि ऐसे सुरक्षा हस्तक्षेपों को सार्वभौमिक रूप से प्रभावी मानने के बजाय प्रति-मॉडल आधार पर मान्य किया जाना चाहिए।

Kunal Dhanda2026-09-15
💻 संगणक विज्ञान

Predicting Late Delivery Risk in Global Supply Chain Operations Using Machine Learning

यह अध्ययन एक पूर्ण रूप से तैनात, इंटरैक्टिव स्ट्रीमलिट (Streamlit) डैशबोर्ड प्रस्तुत करता है जो 1,80,519 DataCo ग्लोबल लॉजिस्टिक्स रिकॉर्ड्स पर प्रशिक्षित एक XGBoost क्लासिफायर का उपयोग करके 79.89% सटीकता के साथ विलंब से डिलीवरी के जोखिमों की भविष्यवाणी करता है, जिससे शिपिंग, क्षेत्रीय निगरानी और ग्राहक संचार में सक्रिय परिचालन निर्णय सक्षम होते हैं।

Naresh Adepu2026-09-15
💻 संगणक विज्ञान

Not Letting Proofs Die: xLaDe, a Lean 4 Ecosystem Framework

यह शोध पत्र xLaDe प्रस्तुत करता है, जो एक Lean 4 इकोसिस्टम फ्रेमवर्क है जिसे टूलचेन मेटाडेटा को रिकॉर्ड करके और सोर्स कोड को संशोधित किए बिना प्रयोगात्मक वातावरण का प्रबंधन करके औपचारिक गणित की दीर्घकालिक पुनरुत्पादकता और स्थिरता सुनिश्चित करने के लिए डिज़ाइन किया गया है, जिससे इस भाषा के तीव्र विकास से उत्पन्न चुनौतियों का समाधान किया जा सके।

Lakshit Singh Bisht, Deepak Pandey, Manpreet Sahoo, Thota Siva2026-09-15
💻 संगणक विज्ञान

Fixing Abstention with Token Probability: A Budget-Matched Causal Test Across Four Small Open-Weight Models

यह शोध पत्र प्रदर्शित करता है कि मौखिक रूप से व्यक्त आत्मविश्वास को बजट-मैच किए गए टोकन-संभाव्यता अपवर्जन नीति (token-probability abstention policy) से बदलने से llama3.2:1b मॉडल में देखे गए एक विशिष्ट सटीकता-घटाने वाले प्रभाव को कारणवश समाप्त कर दिया जाता है, लेकिन यह अन्य छोटे ओपन-वेट मॉडलों में इस लाभ को सामान्यीकृत करने में विफल रहता है, जो यह दर्शाता है कि ऐसे सुधार मॉडल-विशिष्ट हैं और निश्चित-बजट अपवर्जन बेहतर लक्ष्यीकरण के बावजूद शुद्ध-हानिकारक बना रह सकता है।

Kunal Dhanda2026-09-15
💻 संगणक विज्ञान

Explainable Digital Twin Modelling of Semi-Urban Community for Multidimensional Poverty Governance Intelligence

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

Taiwo Olapeju Olaleye, Oluwasefunmi Arogundade, Taiwo David Ajayi, Oluwasegun Dada2026-09-15
💻 संगणक विज्ञान

From Pixels to Registers: A Multi-Modal Testing Framework for Chained Perception, Control and Firmware

यह शोध पत्र एक बहु-मोडल परीक्षण ढांचे (multi-modal testing framework) को प्रस्तुत करता है जो फोटोरियलिस्टिक इनपुट को अमूर्त रेखा चित्रों और सिमेंटिक मानचित्रों में परिवर्तित करके धारणा (perception) को नियंत्रण (control) से अलग करता है, जिसे एक नवीन ओपन सिम्युलेटर के माध्यम से मान्य किया गया है जो मानक सिमुलेशन में अदृश्य दोषों को उजागर करने के लिए तेज़ प्रशिक्षण-स्तर की निष्ठा (training-level fidelity) और कठोर रजिस्टर-स्तर के फर्मवेयर एमुलेशन के बीच के अंतर को पाटता है।

Brent Hartshorn2026-09-15
💻 संगणक विज्ञान

Adaptive Hybrid Collaborative Filtering via Incremental Retraining

यह शोध पत्र एक एडेप्टिव हाइब्रिड कोलैबोरेटिव फ़िल्टरिंग (AHCF) मॉडल प्रस्तावित करता है जो वास्तविक समय के, बड़े पैमाने के अनुशंसा तंत्रों के लिए प्रतिस्पर्धी भविष्यवाणी सटीकता बनाए रखते हुए पुन: प्रशिक्षण समय को महत्वपूर्ण रूप से कम करने के लिए ऑफलाइन मैट्रिक्स फैक्टराइजेशन और टॉपिक मॉडलिंग को एक ऑनलाइन एडेप्टिव क्लस्टरिंग तंत्र के साथ एकीकृत करता है।

Robert Agboyi2026-09-15
💻 संगणक विज्ञान

Resample or Reroute? Recoverable Stopping Debt Without Identified Action Selection

यह शोध पत्र एक ऑडिट करने योग्य तीन-द्वार मूल्यांकन ढांचे को प्रस्तुत करता है जो यह प्रदर्शित करता है कि जबकि त्रुटिपूर्ण सत्यापनकर्ता पुनर्संरचना (resampling) के माध्यम से मॉडल स्टॉपिंग त्रुटियों से उबर सकते हैं, वर्तमान विधियाँ पुनर्संरचना और पुनर्रूटिंग (rerouting) के बीच इष्टतम क्रिया चयन की पहचान करने में विफल रहती हैं, जिससे एक पूर्ण नीति-सीखने वाली श्रृंखला का समर्थन किए बिना सीमित रिकवरी क्षमता स्थापित होती है।

Teng-Ruei Chen2026-09-15