cs.LO पेपर | Gist.Science

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection

यह शोध पत्र एक डिनोटेशनल सिमेंटिक्स फ्रेमवर्क प्रस्तावित करता है जो बाधाओं (constraints) को नॉलेज बेस (KB) अवधारणाओं में मैप करके विषम ज्ञान आधारों (heterogeneous knowledge bases) में ODRL नीतियों के लिए सुदृढ़, तीन-मूल्य वाले संघर्ष का पता लगाने में सक्षम बनाता है, यह सिद्ध करता है कि संरेखण (alignment) के तहत संघर्ष सुरक्षित रहते हैं और अज्ञात स्थितियों में सुचारू रूप से कम होते हैं, और विविध वर्गीकरणों (taxonomies) एवं संरचनात्मक डोमेन में 154 बेंचमार्क के माध्यम से इस दृष्टिकोण को सत्यापित करता है।

Daham Mustafa, Diego Collarana, Yixin Peng, Rafiqul Haque, Christoph Lange-Bever, Christoph Quix, Stephan Decker2026-02-24

🔢 mathematics

Parallelism and Adaptivity in Student-Teacher Witnessing

यह शोध पत्र राउंड्स और क्वेरीज़ के आधार पर स्टूडेंट-टीचर गेम्स का एक नया वर्गीकरण प्रस्तुत करता है ताकि इस धारणा के तहत कि पदानुक्रम (hierarchy) ढहता नहीं है, बहुपद पदानुक्रम (polynomial hierarchy) के उप-वर्गों और संबंधित बाउंडेड अंकगणित सिद्धांतों को अलग किया जा सके, जिससे बाउंडेड कलेक्शन और डबल लेंथ इंडक्शन के संबंध में खुले प्रश्नों को हल किया जा सके और सर्किट बाउंड्स के लिए अप्राप्यता (unprovability) परिणामों का विस्तार किया जा सके।

Ondřej Ježil, Dimitrios Tsintsilidas2026-02-24

💻 computer science

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning

यह शोध पत्र noDice को प्रस्तुत करता है, जो एक प्रणाली है जो मार्कोव निर्णय प्रक्रियाओं (Markov Decision Processes) का निर्माण करके और लूप-मुक्त कार्यक्रमों में शेड्यूलर पर वितरणों का कुशलतापूर्वक अनुमान लगाने के लिए निर्णय आरेखों (decision diagrams) का उपयोग करके, अनिश्चितता (nondeterminism) का समर्थन करने के लिए विवेकी संभाव्य अनुमान इंजन Dice का विस्तार करती है।

Tobias Gürtler, Benjamin Lucien Kaminski2026-02-24

💻 computer science

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise

यह शोध पत्र VSCAN को प्रस्तुत करता है, जो एक औपचारिक सत्यापन ढांचा (formal verification framework) है जो मिश्रित पूर्णांक प्रोग्रामिंग (mixed integer programming) में यथार्थवादी बाधाओं को कूटबद्ध करके जनरेटिव एडवरसैरियल शोर के विरुद्ध DNN-आधारित सिमेंटिक संचार प्रणालियों की मजबूती की गारंटी देता है, जिससे कमजोरियों का पता चलता है और लेटेंट स्पेस आयामों (latent space dimensions) में एक सुरक्षा-दक्षता ट्रेड-ऑफ का खुलासा होता है।

Thanh Le, Hai Duong, ThanhVu Nguyen, Takeshi Matsumura2026-02-23

💻 computer science

A Dichotomy Theorem for Automatic Structures

यह शोध पत्र ऑटोमैटिक संरचनाओं से जुड़े होमोमोर्फिज्म समस्याओं के लिए एक द्विशाखीय प्रमेय (dichotomy theorem) स्थापित करता है, जो यह सिद्ध करता है कि ऐसी समस्याएँ या तो नॉन-डिटरमिनिस्टिक लॉगरिदमिक स्पेस (NL) में निर्णायक (decidable) हैं या अनिर्णायक (undecidable) हैं, जहाँ निर्णायकता को सटीक रूप से लक्षित संरचना के परिमित द्वैत (finite duality) द्वारा अभिलक्षित किया गया है (समतुलव रूप से, प्रथम-क्रम तर्क में परिभाषित होना), एक ऐसा परिणाम जो मानक और नियमित दोनों होमोमोर्फिज्म के लिए लागू होता है।

Antoine Cuvelier, Rémi Morvan2026-02-23

⚛️ quantum physics

Refinement orders for quantum programs

यह शोध पत्र नियतत्ववादी (deterministic) और अनियतत्ववादी (nondeterministic) दोनों प्रकार के क्वांटम प्रोग्रामों के लिए रिफाइनमेंट ऑर्डर्स (refinement orders) का पहला व्यापक अध्ययन प्रस्तुत करता है, जो कुल (total) और आंशिक (partial) शुद्धता मानदंडों के तहत विभिन्न क्वांटम प्रेडिकेट्स (प्रोजेक्टर्स, इफेक्ट्स और इफेक्ट्स के सेट) और मानक गणितीय या डोमेन-सैद्धांतिक ऑर्डर्स के बीच सटीक पत्राचार स्थापित करता है।

Yuan Feng, Li Zhou2026-02-20

💻 computer science

Well-Founded Coalgebras Meet König's Lemma

यह शोध पत्र स्थानीय रूप से परिमित रूप से प्रस्तुत श्रेणियों (locally finitely presentable categories) पर परिमित एंडोफंक्टर्स (finitary endofunctors) के लिए कोनिग के लेम्मा (König's lemma) का एक सामान्यीकृत कोएल्जेब्रिक संस्करण प्रस्तुत करता है, जो यह प्रदर्शित करता है कि सुव्यवस्थित कोएल्जेब्रा (well-founded coalgebras), अपने परिमित रूप से जनित उपकोएल्जेब्रा (finitely generated subcoalgebras) के निर्देशित संवृत्त (directed joins) होते हैं और प्रारंभिक बीजगणित (initial algebras) के लिए नए निर्माण और प्रमाण प्रदान करने के लिए इस परिणाम का उपयोग करता है।

Henning Urbat, Thorsten Wißmann2026-02-20

🤖 machine learning

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees

यह शोधपत्र मैकेनिस्टिक इंटरप्रिटेबिलिटी (mechanistic interpretability) के लिए स्वचालित एल्गोरिदम का एक समूह प्रस्तुत करता है जो इनपुट डोमेन रोबस्टनेस (input domain robustness), रोबस्ट पैचिंग (robust patching) और मिनिमलिटी (minimality) के संबंध में प्रमाणित गारंटियों के साथ सर्किट खोजने के लिए न्यूरल नेटवर्क वेरिफिकेशन का लाभ उठाता है, जबकि इन गुणों के बीच नवीन सैद्धांतिक संबंधों को उजागर करता है और मानक ह्यूरिस्टिक विधियों की तुलना में विजन मॉडल्स पर उनके बेहतर प्रदर्शन को प्रदर्शित करता है।

Itamar Hadad, Guy Katz, Shahaf Bassan2026-02-20

💻 computer science

Directed type theory, with a twist

यह शोधपत्र ट्विस्टेड टाइप थ्योरी (TTT) प्रस्तुत करता है, जो एक नई निर्देशित टाइप थ्योरी है जिसमें एक नवीन "ट्विस्टिंग" ऑपरेशन और डिपेंडेंट 2-साइडेड फाइब्रेशन्स के माध्यम से इसके सिमेंटिक्स शामिल हैं, जो श्रेणियों (categories) के बारे में HoTT-शैली की तर्कशक्ति को सक्षम बनाता है और योनेडा लेम्मा का एक सिंटैक्टिक प्रमाण प्रदान करता है।

Fernando Rafael Chu Rivera, Paige Randall North2026-02-20

💻 computer science

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction

यह शोध पत्र एक ऐसे एल्गोरिदम को प्रस्तुत करता है जो संकलन (compilation) के दौरान शास्त्रीय गणना (classical computation) को अधिकतम करने के लिए जिराड के इंटरेक्शन की ज्योमेट्री (Girard's Geometry of Interaction) का लाभ उठाते हुए रैखिक क्वांटम $\lambda$ -टर्म्स को क्वांटम सर्किटों में संकलित करता है, जबकि उच्च-क्रम नियंत्रण प्रवाह (higher-order control flow) को एक प्रमुख चुनौती के रूप में पहचानता है और एक टाइप सिस्टम के माध्यम से कुशलतापूर्वक संकलनीय टर्म्स को अभिलक्षित करता है।

Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone2026-02-20

← पिछला अगला →