💻 computer science

Expressive Power of Deep Homomorphism Networks over Relational Databases

यह शोधपत्र डीप होमोमोर्फिज्म नेटवर्क्स (DHNs) को रिलेशनल डेटाबेस के लिए एक शक्तिशाली आर्किटेक्चर के रूप में प्रस्तावित करता है, जो प्रथम-क्रम तर्क (first-order logic) और SQL के विशिष्ट अंशों के साथ उनकी सटीक अभिव्यंजक तुल्यता स्थापित करके, प्रमुख स्टैटिक एनालिसिस समस्याओं के लिए निर्णायकता (decidability) सिद्ध करके, और प्रयोगों के माध्यम से उनके श्रेष्ठ प्रदर्शन को मान्य करके किया गया है।

Moritz Schönherr, Balder ten Cate, Maurice Funk, Benny Kimelfeld, Carsten Lutz, Arie Soeteman2026-05-25
🤖 machine learning

Latent Cache Flow: Model-to-Model Communication Without Text

यह शोध पत्र लेटेंट कैश फ्लो (LCF) को प्रस्तुत करता है, जो एक हल्का और कुशल मॉडल-से-मॉडल संचार तरीका है जो नई जानकारी को संक्षिप्त करने के लिए KV कैश को संकुचित और अनुवादित करता है, जिससे विभिन्न संदर्भों वाले LLM एजेंट टेक्स्ट-आधारित दृष्टिकोणों या पूर्व कैश-एक्सचेंज विधियों की तुलना में काफी तेज़ी से और अधिक सटीकता से संवाद करने में सक्षम होते हैं।

Maximillian Rossi, Prajwal Raghunath, Eugene Wu2026-05-25
🤖 machine learning

Reading Calibrated Uncertainty from Language Model Trajectories

यह शोध पत्र प्रति-परत (per-layer) एमएलपी अपडेट प्रक्षेप पथों (MLP update trajectories) से स्केल-इनवेरिएंट ज्यामितीय विशेषताओं को निकालकर और उन्हें एक स्पार्स लीनियर प्रोब में फीड करके भाषा मॉडल अनिश्चितता परिमाणीकरण (language model uncertainty quantification) को सुधारने की एक विधि प्रस्तावित करता है, जो मानक मैक्सिमम सॉफ्टमैक्स प्रोबेबिलिटी दृष्टिकोण से बेहतर प्रदर्शन करता है और साथ ही यह अंतर्दृष्टि प्रदान करता है कि मॉडल की गहराई में त्रुटियां कैसे और कहाँ विकसित होती हैं।

Aliai Eusebi, Alexander Herzog, Xiaoyu Liang, Marie Vasek, Enrico Mariconti, Lorenzo Cavallaro2026-05-25
🤖 machine learning

The Readout Shortcut: Positional Number Copying Dominates Arithmetic CoT Readout in Small Language Models

यह शोध पत्र प्रकट करता है कि छोटे भाषा मॉडल (1-3B) चेन-ऑफ-थॉट प्रॉम्प्टिंग में वास्तविक अंकगणितीय तर्क को दरकिनार करते हुए एक स्थितिजन्य शॉर्टकट (पोजीशनल शॉर्टकट) पर निर्भर करते हैं, जहाँ वे उत्तर विभाजक (एन्सर डेलिमिटर) से ठीक पहले आने वाली संख्या को सीधे कॉपी कर लेते हैं, एक ऐसा तंत्र जो प्रदर्शन पर हावी हो जाता है और CoT-आधारित निरीक्षण की विश्वसनीयता को कमजोर करता है।

Ming Liu2026-05-25
🤖 machine learning

When Do LLMs Reason? A Dynamical Systems View via Entropy Phase Transitions

यह शोध पत्र EDRM का प्रस्ताव करता है, जो एक प्रशिक्षण-मुक्त (training-free) रूटिंग फ्रेमवर्क है जो शुरुआती डिकोडिंग के दौरान एक चरण-परिवर्तन जैसी एंट्रॉपी शिफ्ट (phase-transition-like entropy shift) की पहचान करता है ताकि गतिशील रूप से यह निर्धारित किया जा सके कि चेन-ऑफ-थॉट (Chain-of-Thought) तर्क कब फायदेमंद है, जिससे विविध कार्यों और मॉडलों में सटीकता में सुधार करते हुए टोकन की खपत को महत्वपूर्ण रूप से कम किया जा सके।

Wei Xia, Haoqing Wang, Zhi-Hong Deng, Yehui Tang2026-05-25
🤖 AI

RMA: an Agentic System for Research-Level Mathematical Problems

यह शोध पत्र रिसर्च मैथ एजेंट्स (RMA) को पेश करता है, जो एक ऐसा एजेंटिक फ्रेमवर्क है जो साहित्य ग्राउंडिंग (literature grounding), प्रमाण निर्माण (proof generation) और सत्यापन (verification) के लिए कार्यों को विशिष्ट मॉड्यूल में विभाजित करने वाले एक बहु-भूमिका, पुनरावृत्ति वर्कफ़्लो का उपयोग करके शोध-स्तर की गणितीय समस्याओं पर GPT-5.2R जैसे मजबूत बेसलाइन से बेहतर प्रदर्शन करता है।

Zelin Zhao, Bo Yuan, Jaemoo Choi, Yongxin Chen2026-05-25
🤖 machine learning

Tensor Cache: Eviction-conditioned Associative Memory for Transformers

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

Kabir Swain, Sijie Han, Daniel Karl I. Weidele, Mauro Martino, Antonio Torralba2026-05-25
🤖 AI

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization

यह शोध पत्र ImProver 2 को प्रस्तुत करता है, जो एक न्यूरोसिम्बोलिक ढांचा है जो डेटा-कुशल विशेषज्ञ पुनरावृत्ति (expert iteration) को एक संरचनात्मक स्कैफोल्डिंग प्रणाली के साथ जोड़ता है ताकि छोटे भाषा मॉडलों को Lean 4 में जटिल औपचारिक प्रमाणों (formal proofs) को प्रभावी ढंग से अनुकूलित करने में सक्षम बनाया जा सके, जो काफी बड़े मॉडलों से बेहतर प्रदर्शन करता है और प्रमाण अनुकूलन को एक स्केलेबल, सीखने योग्य कार्य के रूप में स्थापित करता है।

Riyaz Ahuja, Tate Rowney, Jeremy Avigad, Sean Welleck2026-05-25
🔢 mathematics

Resilience Characterization of AI-Native Wireless Receivers via Persistent Homology

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

Christo Kurisummoottil Thomas, Emilio Calvanese Strinati2026-05-25
⚛️ high-energy experiments

Pointwise Metrics Mislead: An Evaluation Protocol for Multimodal Inverse Problems

यह शोध पत्र तर्क देता है कि मानक बिंदुवार मेट्रिक्स जैसे कि RMSE और MAE, बहुविध (multimodal) व्युत्क्रम समस्याओं (inverse problems) का मूल्यांकन करने में संरचनात्मक रूप से विफल रहते हैं क्योंकि वे पुनर्निर्माणों को व्यवस्थित रूप से संकीर्ण वितरणों की ओर पक्षपाती बनाते हैं, और वैज्ञानिक रूप से वैध निष्कर्ष सुनिश्चित करने के लिए वितरण सटीकता, स्पेक्ट्रम निष्ठा और अनिश्चितता अंशांकन पर आधारित एक तीन-स्तरीय मूल्यांकन प्रोटोकॉल प्रस्तावित करता है।

Mads H. Baattrup, Jörn Bach, Laurids Jeppe, Finn Labe, Alexander Grohsjean, Christian Schwanenberger, Peer Stelldinger2026-05-25