cs.LO पेपर | Gist.Science

Deterministic Event-Graph Substrates as World Models for Counterfactual Reasoning

यह शोध पत्र डिटरमिनिस्टिक इवेंट-ग्राफ सबस्ट्रेट्स (deterministic event-graph substrates) को प्रस्तुत करता है, जो एक पारदर्शी, नॉन-पैरामीट्रिक वर्ल्ड मॉडल है जो अवस्था (state) को अपेंड-ओनली (append-only) RDF ट्रिपल लॉग्स के रूप में निरूपित करता है और लॉग फॉरकिंग (log forking) के माध्यम से सटीक काउंटरफैक्चुअल रीजनिंग (counterfactual reasoning) को सक्षम बनाता है, जो CLEVRER और twin-EventLog बेंचमार्क पर सिम्बोलिक ओरैकल्स (symbolic oracles) और पैरामीट्रिक LLM बेसलाइन्स दोनों की तुलना में बेहतर प्रदर्शन प्रदर्शित करता है।

Fabio Rovai2026-05-18

💬 NLP

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports

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

Anita Srbinovska, Jansen Orfan, Adrian Martin, Ernest Fokoué2026-05-18

🔬 physics

LeanBET: Formally-verified surface area calculations in Lean

यह शोध पत्र Lean 4 में कार्यान्वित LeanBET को प्रस्तुत करता है, जो एक पूर्णतः निष्पादनीय और औपचारिक रूप से सत्यापित ब्रूनर-एमेट-टेलर (BET) सतह क्षेत्र विश्लेषण पाइपलाइन है, जो गणितीय शुद्धता की गारंटी देता है और स्थापित BETSI संदर्भ कार्यान्वयन के साथ लगभग पूर्ण संख्यात्मक सहमति प्राप्त करता है।

Ejike D. Ugwuanyi, Colin T. Jones, John Velkey, Tyler R. Josephson2026-05-18

🤖 AI

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems

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

Parand A. Alamdari, Toryn Q. Klassen, Sheila A. McIlraith2026-05-18

⚛️ quantum physics

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi

यह शोधपत्र ग्राफिकल अलब्राइक ज्योमेट्री (GAG) को प्रस्तुत करता है, जो कम्यूटेटिव बीजगणित (commutative algebras) और एफाइन वैरायटीज़ (affine varieties) के लिए एक सार्वभौमिक और पूर्ण आरेखीय ढांचा है जो बहुपद बाधा नेटवर्क (polynomial constraint networks) और क्वांटम कंप्यूटेशन के लिए क्वडिट ZH कैलकुलस (qudit ZH calculus) के अध्ययन को एकीकृत करता है।

Dichuan Gao, Razin A. Shaikh, Aleks Kissinger2026-05-15

⚛️ quantum physics

Model Checking Matrix Product States against Linear Chain Logic

यह शोध पत्र लिनियर चेन लॉजिक (LCL) प्रस्तुत करता है, जो एक स्थानिक तर्क ढांचा (spatial logic framework) है जो आवधिक मैट्रिक्स प्रोडक्ट स्टेट्स (periodic Matrix Product States) और पूर्णतः धनात्मक मानचित्रों (completely positive maps) के बीच संबंध का लाभ उठाता है ताकि एक-आयामी क्वांटम मेनी-बॉडी सिस्टम में आकार-निर्भर और स्पर्शोन्मुख गुणों (asymptotic properties) की स्केलेबल, अनुमानित मॉडल चेकिंग को सक्षम बनाया जा सके।

Ming Xu, Yihao Chen, Ji Guan2026-05-15

💻 computer science

Proof Nets for PiL (Full Version)

यह शोध पत्र $\Pi$ L के लिए प्रूफ़ नेट्स (proof nets) प्रस्तुत करता है, जो प्रथम-क्रम मल्टीप्लिकेटिव एडिटिव लीनियर लॉजिक (first-order multiplicative additive linear logic) का एक विस्तार है जो $\pi$ -कैलकुलस प्रक्रियाओं के एक उथले एन्कोडिंग (shallow encoding) को सक्षम बनाता है, और उनकी शुद्धता, अनुक्रमिकरण (sequentialization), और नियम क्रमपरिवर्तन (rule permutations) के अधीन रूप से सीक्वेंट कैलकुलस व्युत्पत्तियों (sequent calculus derivations) को कैनोनिकल रूप से निरूपित करने की क्षमता स्थापित करता है।

Matteo Acclavio, Giulia Manara2026-05-15

💻 computer science

The Complexity of Nested Reset Counter Systems

यह शोध पत्र नेस्टेड काउंटर सिस्टम के विस्तार के रूप में नेस्टेड रिसेट काउंटर सिस्टम्स (NRCS) को प्रस्तुत करता है, जो यह सिद्ध करता है कि उनकी कवेरेबिलिटी समस्या (coverability problem) ऑर्डर- $k$ काउंटर्स के लिए $\mathbf{F}_{\Omega_k}$ -पूर्ण है और इस प्रकार XML प्रोसेसिंग, ग्राफ ट्रांसफॉर्मेशन और पैरामीटराइज्ड वेरिफिकेशन के विभिन्न अनुप्रयोगों के लिए ऊपरी सीमाओं में सुधार करते हुए इन जटिलता वर्गों के लिए पूर्ण समस्याओं का पहला प्राकृतिक पदानुक्रम स्थापित करता है।

A. R. Balasubramanian, Franzisco Schmidt2026-05-15

⚛️ quantum physics

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits

यह शोध पत्र QSeqSim को प्रस्तुत करता है, जो एक Qiskit-एकीकृत प्रतीकात्मक सिम्युलेटर है जो उन्हें अनुक्रमिक सर्किट में अनुवादित करके और बड़े पैमाने के, बहु-पुनरावृत्ति बेंचमार्क के लिए मापन प्रायिकताओं की गणना करने हेतु BDD-आधारित भारित मॉडल गणना (weighted model counting) का उपयोग करके 'while-loops' वाले क्वांटम प्रोग्रामों के कुशल सिमुलेशन को सक्षम बनाता है।

Zihao Li, Ji Guan, Mingsheng Ying2026-05-15

💻 computer science

Extending CDCL to disjunctions of parity equations

यह शोध पत्र $\text{CDCL}(\oplus)$ प्रस्तुत करता है, जो XNF सूत्रों के लिए कॉन्फ्लिक्ट-ड्रिवन क्लॉज लर्निंग फ्रेमवर्क का एक सामान्यीकरण है जो पैरिटी रीजनिंग (parity reasoning) का समर्थन करता है और $\text{Res}(\oplus)$ प्रूफ़ सिस्टम का बहुपद रूप से अनुकरण (polynomially simulates) करता है, जो पैरिटी बाधाओं वाले बेंचमार्क पर मौजूदा सॉल्वरों की तुलना में महत्वपूर्ण प्रदर्शन सुधार प्रदर्शित करता है।

Paul Beame, Glenn Sun2026-05-15

← पिछला अगला →