💻 Category

cs.LO

1086 पेपर

🤖 AI

Intuitionistic jj-Do-Calculus in Topos Causal Models

यह शोधपत्र jj-do-कैलकुलस को पेश करके टोपोस कॉज़ल मॉडल्स (Topos Causal Models) के भीतर एक अंतर्ज्ञानवादी (intuitionistic) परिवेश में पर्ल के do-कैलकुलस का सामान्यीकरण करता है, जो एक सुदृढ़ नियम प्रणाली है जो कारण संबंधी हस्तक्षेपों (causal interventions) और सशर्त स्वतंत्रताओं (conditional independences) को एक लॉवरे-टियरनी टोपोलॉजी (Lawvere-Tierney topology) jj के तहत स्थिर स्थानीय सत्यों के रूप में परिभाषित करती है और उनकी व्याख्या क्रिप्की-जॉयल सिमेंटिक्स (Kripke-Joyal semantics) के माध्यम से करती है।

Sridhar Mahadevan2026-07-28
⚛️ quantum physics

Simpler Presentations for Many Fragments of Quantum Circuits

यह शोध पत्र छह नियर-क्लिफ़ॉर्ड (near-Clifford) क्वांटम सर्किट अंशों के लिए एक सामान्य PROP ढांचे के अंतर्गत उन्हें एकीकृत करके न्यूनतम समीकरणिक प्रस्तुतीकरण स्थापित करता है जो तारों के क्रमपरिवर्तन (wire permutations) को संरचनात्मक रूप से मानता है, जिससे पूर्णता सिद्धांतों का हस्तांतरण होता है, अनावश्यक नियमों का उन्मूलन होता है, और अनुकूलित व्याख्याओं के माध्यम से न्यूनता (minimality) को सत्यापित किया जाता है।

Colin Blake2026-07-28
🤖 machine learning

From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How

यह शोध पत्र एक "हाइब्रिड-टू-नीसी" (H2N) ढांचे को पेश करके हाइब्रिड मैकेनिस्टिक-डेटा-संचालित मॉडलिंग और न्यूरो-सिंबोलिक एआई के बीच के अंतर को पाटता है, जो मौजूदा डिजाइनों को एक एकीकृत सिमेंटिक इंटरफेस में पुनर्गठित करता है, जिससे बेहतर मॉडल सत्यापन और एक्सट्रपलेशन के लिए एपिस्टेमिक अनिश्चितता और संरचनात्मक अनुपालन को स्पष्ट रूप से मापने हेतु नए मेट्रिक्स (स्ट्रक्चरल वायलेशन रेट और बिलीफ डिस्पर्शन) का व्युत्पन्न संभव हो पाता है।

Moein E. Samadi, Andreas Schuppert2026-07-28
🤖 AI

Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming

यह शोध पत्र "Reason Popper-ly" प्रस्तुत करता है, जो एक न्यूरोसिम्बोलिक फ्रेमवर्क है जो इंडक्टिव लॉजिक प्रोग्रामिंग का उपयोग करके संबंध नियमों (relation rules) को सीखने, मध्यवर्ती चरणों को सत्यापित करने और तार्किक त्रुटियों को स्वचालित रूप से सुधारने के माध्यम से लार्ज लैंग्वेज मॉडल्स में चेन-ऑफ-थॉट रीजनिंग को बढ़ाता है, जिससे मल्टी-हॉप रीजनिंग कार्यों पर सटीकता में उल्लेखनीय सुधार होता है।

Zirong Chen, Meiyi Ma2026-07-28
⚛️ quantum physics

Reasoning about Continuous-Variable Quantum Systems

यह शोध पत्र क्लोज्ड पॉजिटिव क्वाड्रेटिक फॉर्म्स (closed positive quadratic forms) पर आधारित एक औपचारिक अर्थशास्त्र (formal semantics) और सुदृढ़ सत्यापन विधियों का प्रस्ताव करके निरंतर-चर क्वांटम कंप्यूटिंग (continuous-variable quantum computing) के अल्पविकसित सिमेंटिक आधारों को संबोधित करता है, जो अनबाउंडेड मानों (unbounded values) को प्रभावी ढंग से संभालते हैं और जिन्हें GKP एरर-करेक्टिंग कोड सहित केस स्टडीज के माध्यम से मान्य किया गया है।

Tianshi Yu, Gilles Barthe, Minbo Gao, Mingsheng Ying, Li Zhou2026-07-28
🔢 mathematics

Dialectica Categories over Heyting Algebras

यह शोध पत्र प्रदर्शित करता है कि डी पाइवा (de Paiva) के गोडेल के डायलेक्टिका (Gödel's Dialectica) व्याख्या के कैटेगॉरिफिकेशन (categorification) को आंशिक क्रमों (partial orders) के लिए विशिष्ट बनाने से हाइटिंग बीजगणक (Heyting algebras) का रेसिड्यूएटेड लैटिस (residuated lattices) में फन्क्टरियल एम्बेडिंग (functorial embedding) प्राप्त होता है, जो परिभाषित एडजॉइंट्स (definable adjoints), सहजतावादी बनाम शास्त्रीय तर्क में डायलेक्टिका टेंसर (Dialectica tensor) के भिन्न व्यवहार, और विशिष्ट पोसेट रिफ्लेक्शंस (poset reflections) के पतन के माध्यम से चॉइस के स्वयंसिद्ध (Axiom of Choice) के अभिलक्षणन जैसे नए बीजगणितीय गुणों को प्रकट करता है।

Colin Bloomfield, Peter Jipsen, Valeria de Paiva2026-07-28
🔢 mathematics

Formalizing Flag Algebras in Lean

यह शोधपत्र लीन (Lean) में रज़बोरोव (Razborov) की फ्लैग बीजगणित (flag algebra) पद्धति के एक मशीन-जाँचा गया औपचारिक रूप (machine-checked formalization) प्रस्तुत करता है, जिसमें एक कंपाइलर शामिल है जो सात टुरान-प्रकार (Turán-type) के ऊपरी बांडों को कठोरता से सिद्ध करने और ग्राफ बाधाओं को लागू करने की मेटा-थ्योरेटिक बारीकियों का अन्वेषण करने के लिए सेमीडेफिनेट प्रोग्रामिंग (semidefinite programming) प्रमाणपत्रों को स्वतंत्र रूप से सत्यापित करता है।

Gyeongwon Jeong, Seonghun Park, Jihoon Hyun, Sang-il Oum, Hongseok Yang2026-07-28
🤖 AI

Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric

यह शोध पत्र LLM-सहायता प्राप्त ISR स्वार्म्स (swarms) के लिए एक त्रि-स्तरीय संरचनात्मक रनटाइम-सत्यापन ढांचा प्रस्तावित करता है जो एक सत्यापन-जागरूक फैब्रिक (fabric) पर प्रति-एजेंट निर्णयों को एकत्रित करके क्रॉस-प्लेटफॉर्म समन्वय से उत्पन्न होने वाले मिशन-स्तरीय नीति उल्लंघन का पता लगाता है, जिससे व्यक्तिगत गार्डरेल्स और विवादित संचारों के कारण होने वाले गलत 'ऑल-क्लियर' (all-clears) को रोका जा सके।

Nikolaos Kekatos, Stylianos Basagiannis, Panagiotis Katsaros, Alexios Lekidis, Tom Nianios2026-07-28
🤖 machine learning

An Unofficial FastLAS Tutorial: A Programmer's Guide

यह शोधपत्र FastLAS 2.2.0 के लिए एक अनौपचारिक, व्यावहारिक प्रोग्रामर गाइड के रूप में कार्य करता है, जो इंडक्टिव लॉजिक प्रोग्रामिंग के लिए लॉजिक प्रोग्राम नियम कैसे निर्मित किए जाएं, यह सिखाने हेतु प्रगतिशील रूप से कठिन, सत्यापित उदाहरणों के साथ एक सिंटैक्स-प्रथम परिचय प्रदान करता है और संबंधित प्रणालियों से मुख्य अंतरों को उजागर करता है।

Fabio Aurelio D'Asaro2026-07-28
💻 computer science

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis

यह शोध पत्र TACO को प्रस्तुत करता है, जो एक लॉजिक सिंथेसिस फ्रेमवर्क है जो सोर्स कोड का विश्लेषण करने और थ्योरी-आधारित एडमिशन गेट्स प्राप्त करने के लिए LLM एजेंटों का लाभ उठाता है, जिससे 40 ऑप्टिमाइज़ेशन ऑपरेटर्स को 31-एक्शन पारेटो कवर में कंप्रेस किया जा सके, जो सर्किट क्वालिटी मेट्रिक्स जैसे कि नोड काउंट और लॉजिक लेवल्स में सुधार करते हुए रनटाइम को महत्वपूर्ण रूप से कम करता है।

Keren Zhu2026-07-28