cs.LO पेपर | Gist.Science

A non-uniform view of Craig interpolation in modal logics with linear frames

यह शोध पत्र प्रदर्शित करता है कि जबकि K4.3 का विस्तार करने वाले सामान्य मोडल लॉजिक (modal logics) आम तौर पर क्रेग इंटरपोलेशन (Craig interpolation) गुण का अभाव रखते हैं, किसी दिए गए सूत्रों के जोड़े के लिए क्रेग इंटरपोलेन्ट (Craig interpolant) के अस्तित्व को निर्धारित करने की विशिष्ट समस्या निर्णयात्मक (decidable) और coNP-पूर्ण (coNP-complete) है, एक ऐसा परिणाम जो मानक रैखिक समय प्रवाह (standard linear time flows) पर प्रियोरन टेम्पोरल लॉजिक (Priorean temporal logics) पर भी लागू होता है।

Agi Kurucz, Frank Wolter, Michael Zakharyaschev2026-06-19

💻 computer science

A Dichotomy Theorem for Ordinal Ranks in MSO

यह शोधपत्र पूर्ण बाइनरी ट्री (full binary tree) पर मोनैडिक सेकंड-ऑर्डर लॉजिक (monadic second-order logic) में सुव्यवस्थित साक्ष्यों (well-founded witnesses) के ऑर्डिनल रैंकों के लिए एक निर्णायक द्विशाखता (decidable dichotomy) स्थापित करता है, जो यह सिद्ध करता है कि किसी भी ऐसे फॉर्मूला के लिए न्यूनतम रैंक सीमा या तो $\omega^2$ से कम है या अधिकतम मान $\omega_1$ तक पहुँचती है।

Damian Niwiński, Paweł Parys, Michał Skrzypczak2026-06-19

💻 computer science

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations

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

Fernando Zhapa-Camacho, Robert Hoehndorf2026-06-19

💻 computer science

The complexity of being monitorable

यह शोध पत्र गणनीय स्थानों (countable spaces) में मॉनिटर करने योग्य समुच्चयों (monitorable sets) की टोपोलॉजिकल जटिलता को स्पष्ट करने के लिए वर्णनात्मक समुच्चय सिद्धांत (descriptive set theory) का उपयोग करता है, यह प्रदर्शित करते हुए कि जहाँ वे द्वितीय गणनीय स्थानों (second countable spaces) में एक $\Pi^0_3$ परिवार बनाते हैं, वहीं वे गैर-द्वितीय गणनीय स्थानों में $\Pi^1_1$ -पूर्ण जटिलता तक पहुँच सकते हैं।

Riccardo Camerlo, Francesco Dagnino2026-06-19

💻 computer science

PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs

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

Anissa Kheireddine, Souheib Baarir, Hugo De Sa Pereira Pinto2026-06-19

💻 computer science

Completeness for Probabilistic Boolean Tapes

यह शोध पत्र मार्कोव कर्नेल्स के संदर्भ में आंशिक बोलीय सर्किट (partial Boolean circuits) और संभाव्य बोलीय टेप (probabilistic Boolean tapes), जो कि रिग श्रेणियों (rig categories) के लिए एक आरेखीय भाषा है, के लिए पूर्णता सिद्ध करके संभाव्य बोलीय सर्किट के अर्थशास्त्र (semantics) के लिए स्वयंसिद्धों का एक पूर्ण सेट स्थापित करता है।

Filippo Bonchi, Cipriano Junior Cioffo2026-06-19

💻 computer science

The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics for ELbot

यह शोध पत्र ब्रेव (brave) और एआर (AR) सिमेंटिक्स के तहत $EL_\bot$ के लिए ABox अबडक्शन समस्या की जांच करता है, जिसमें उन परिकल्पनाओं का विश्लेषण किया गया है जो कई वांछनीय गुणों और इष्टतमता मानदंडों को संयोजित करती हैं, और यह प्रदर्शित करता है कि ऐसे संयोजन अक्सर कम्प्यूटेशनल जटिलता को नहीं बढ़ाते हैं।

Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan2026-06-19

💻 computer science

NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning

NeSyCat Torch एक लेज़ी लॉग-टेन्सर मोनाड (lazy log-tensor monad) के माध्यम से डिफरेंशिएबल टेन्सर-आधारित प्रशिक्षण को लागू करके एक एकल मोनाडिक ढांचे के तहत विविध न्यूरोसिम्बोलिक सिमेंटिक्स को एकीकृत करता है, जो विभिन्न प्रथम-क्रम दृष्टिकोणों के अनुकूल एक समान संरचना बनाए रखते हुए मौजूदा प्रणालियों की तुलना में MNIST एडिशन पर बेहतर गति और सटीकता प्राप्त करता है।

Daniel Romero Schellhorn, Till Mossakowski, Björn Gehrke2026-06-19

🤖 machine learning

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving

यह शोध पत्र VERITAS को प्रस्तुत करता है, जो एक ज़ीरो-शॉट फ्रेमवर्क है जो दो-चरणीय बेस्ट-ऑफ-एन (Best-of-N) और क्रिटिक-गाइडेड एमसीटीएस (critic-guided MCTS) प्रोटोकॉल के माध्यम से समृद्ध वेरीफायर संकेतों को वापस खोज प्रक्रिया में रूट करके औपचारिक प्रमेय सिद्ध करने (formal theorem proving) को बेहतर बनाता है, जिससे miniF2F और एक नए कॉम्बिनेटरिक्स डेटासेट जैसे बेंचमार्क पर अत्याधुनिक प्रदर्शन प्राप्त होता है।

Manish Acharya, Zhenyu Liao, Yueke Zhang, Kevin Leach, Yu Huang, Yifan Zhang2026-06-19

🔢 mathematics

Functional completeness and primitive positive decomposition of relations on finite domains

यह शोध पत्र एक नया, प्राथमिक और गणनात्मक रूप से प्रभावी निर्माण प्रस्तुत करता है जो कार्यात्मक पूर्णता (functional completeness) का लाभ उठाकर और विशिष्ट विविक्तिकरणों (disjunctions) को अस्तित्वगत परिमाणीकरणों (existential quantifications) में परिवर्तित करके, परिमित डोमेन पर उच्च-आयामी संबंधों को द्विआधारी संबंधों में विघटित करता है, जिससे पीयर्स के न्यूनीकरण सिद्धांत (Peirce's reduction thesis) का एक समान प्रमाण प्रदान होता है और यह प्रदर्शित होता है कि किसी भी शेफ़र फलन (Sheffer function) का ग्राफ उन सभी संबंधों को संयोजित कर सकता है।

Sergiy Koshkin2026-06-19

← पिछला अगला →