💻 Category

cs.LO

1090 पेपर

⚛️ quantum physics

Quasilinear Equivalence Checking for Detector Error Models

यह शोधपत्र डिटेक्टर एरर मॉडल्स (DEMs) के लिए एक सुदृढ़ (sound), समापन योग्य (terminating) और सुसंगत (confluent) रीराइटिंग सिस्टम प्रस्तुत करता है जो क्वाज़िलिनियर समय में अद्वितीय नॉर्मल फॉर्म्स की गणना करता है, जो गैर-अनुकूली (non-adaptive) क्वांटम एरर करेक्शन पाइपलाइनों में डिकोडर तुल्यता को सत्यापित करने के लिए पहला पूर्ण स्टेटिक निर्णय प्रक्रिया (static decision procedure) और आंशिक-अनुकूली (partially-adaptive) सर्किटों के लिए एक स्केलेबल दृष्टिकोण प्रदान करता है।

Mathys Rennela2026-06-15
💻 computer science

A Proof-theoretic Semantics for Intuitionistic Linear Logic

यह शोध पत्र बेस-एक्सटेंशन सिमेंटिक्स फ्रेमवर्क (base-extension semantics framework) का विस्तार करता है, जिसे पूर्व में इंट्यूशनिस्टिक लीनियर लॉजिक (Intuitionistic Linear Logic) के मल्टीप्लिकेटिव फ्रैगमेंट पर लागू किया गया था, ताकि एक ऐसा प्रूफ़-थ्योरेटिक सिमेंटिक्स प्रदान किया जा सके जो विशेष रूप से मोडल "बैंग" (bang) कनेक्टिव द्वारा उत्पन्न होने वाली इन्फेरेंशियल चुनौतियों को संबोधित करता है।

Yll Buzoku2026-06-12
💻 computer science

Reasoning about concurrent loops and recursion with rely-guarantee rules

यह शोध पत्र रिलाय-गारंटी (rely-guarantee) दृष्टिकोण का उपयोग करते हुए, परमाणु अभिव्यक्ति मूल्यांकन (atomic expression evaluation) को माने बिना, समवर्ती प्रणालियों (concurrent systems) में रिकर्सिव प्रोग्रामों और 'while' लूप्स के बारे में तर्क करने के लिए यांत्रिक रूप से सत्यापित, सामान्य परिशोधन नियमों (refinement rules) को प्रस्तुत करता है।

Ian J. Hayes, Larissa A. Meinicke, Cliff B. Jones2026-06-12
💻 computer science

Auto formalisation of Chaitin and of the surprise incompleteness Theorem

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

Thierry Coquand2026-06-12
💻 computer science

A Calculus of Apartness over Separoids: Effective Convex Representation, Stratified Conservativity, and the Complexity of Entailment

यह शोध पत्र यह स्थापित करता है कि विलगित उत्तल पिंडों (disjoint convex bodies) द्वारा प्रेरित पृथकता संबंधों (apartness relations) का परिमित सिद्धांत, एसाइक्लिक सेपेरॉइड्स (acyclic separoids) द्वारा पूर्णतः अभिलक्षित है, जो समान मार्जिन के साथ एक प्रभावी परिमेय यथार्थता प्रमेय (rational realization theorem) प्रदान करता है और यह सिद्ध करता है कि बुलियन एंटेलमेंट (Boolean entailment), सेपेरॉइड क्लोजर के अतिरिक्त कोई नया परमाणु पृथकता (atomic apartness) पेश किए बिना, एनपी-कम्प्लीट सैटिस्फिएबिलिटी (NP-complete satisfiability) के साथ निर्णयार्थ (decidable) है।

Faruk Alpay, Baris Basaran2026-06-12
💻 computer science

First Order Logic on Pathwidth Revisited Again

यह शोध पत्र यह प्रदर्शित करता है कि जबकि बाउंडेड ट्रीविड्थ (bounded treewidth) वाले ग्राफों पर FO-अभिव्यक्त गुणों (FO-expressible properties) के लिए कोर्टसेल का प्रमेय (Courcelle's theorem) आम तौर पर गैर-तत्वीय समय (non-elementary time) की आवश्यकता रखता है, बाउंडेड पाथविड्थ (bounded pathwidth) वाले ग्राफों तक इनपुट को सीमित करने से इन गुणों को फॉर्मूला आकार पर एक तत्वीय निर्भरता (elementary dependence) के साथ निर्णायक रूप से हल किया जा सकता है, जो ट्रीविड्थ और पाथविड्थ के बीच एक दुर्लभ जटिलता पृथक्करण (complexity separation) को चिह्नित करता है।

Michael Lampis2026-06-11
💬 NLP

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning

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

Valentin Noël2026-06-11
🤖 AI

An XAI View on Explainable ASP: Methods, Systems, and Perspectives

यह सर्वेक्षण एंसेर सेट प्रोग्रामिंग (Answer Set Programming) के लिए मौजूदा स्पष्टीकरण विधियों और उपकरणों का एक XAI-निर्देशित अवलोकन प्रदान करता है, जो उन्हें उपयोगकर्ता की आवश्यकताओं के साथ मैप करता है और साथ ही वर्तमान कमियों की पहचान करता है और भविष्य की अनुसंधान दिशाओं को रेखांकित करता है।

Thomas Eiter, Tobias Geibinger, Zeynep G. Saribatur2026-06-11
🤖 AI

Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge

यह शोध पत्र ग्रंथ सूची संबंधी मेटाडेटा को औपचारिक प्रमाण कलाकृतियों (formal proof artifacts) से जोड़ने के लिए एक रिलेशनल ब्रिज डेटाबेस और एक पेपर-स्तरीय औपचारिकीकरण स्कोर (paper-level formalization score) प्रस्तावित करता है, जिसका लक्ष्य गणितीय साहित्य और मशीन-सत्यापन योग्य प्रमाणों को एक स्केलेबल, मशीन-एक्शन करने योग्य ज्ञान ग्राफ में एकीकृत करना है।

A. Mayeux2026-06-11
💻 computer science

Univalent Enriched Categories and the Enriched Rezk Completion

यह शोधपत्र अनivalent समृद्ध श्रेणियों (univalent enriched categories) की जांच करता है, जिसमें यह सिद्ध किया गया है कि उनके बीच आवश्यक रूप से अधिरोपित (essentially surjective) और पूर्णतः निष्ठावान (fully faithful) फंक्टर्स तुल्यताएं (equivalences) हैं, यह प्रदर्शित किया गया है कि प्रत्येक समृद्ध श्रेणी एक रेज़क पूर्णता (Rezk completion) को स्वीकार करती है, और इस पूर्णता को अनivalent समृद्ध क्लेइसली श्रेणियों (univalent enriched Kleisli categories) के निर्माण हेतु लागू किया गया है।

Niels van der Weide2026-06-10