cs.LO पेपर | Gist.Science

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses

यह शोध पत्र सामाजिक चयन (social choice) में उन स्थितियों के मॉडलिंग के लिए एक सुदृढ़ और पूर्ण तार्किक ढांचे, $H_{\mathrm{bp}}$ , को प्रस्तुत करता है जहाँ गठबंधन रिपोर्ट प्रोफाइल्स (report profiles) में परिवर्तन करते हैं, और इस अमूर्त सिद्धांत को टाइप किए गए हेरफेर गवाहों (manipulation witnesses) वाले एक नवीन ऑडिट लेयर और ऑफ-डोमेन विस्तार (off-domain extensions) एवं सार्वजनिक विलोपन (public deletions) को संभालने के मानदंडों के साथ विस्तारित करता है।

Faruk Alpay, Baris Basaran2026-05-14

💻 computer science

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives

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

Can Zhou, Yulong Gao, Pian Yu2026-05-14

💻 computer science

LFPL: Revisited and Mechanized

यह शोधपत्र कार्यात्मक प्रोग्रामिंग भाषा LFPL और इसके मेटाथ्योरी (metatheory) का एक आधुनिक, स्व-निहित और पूर्णतः यांत्रिक विवरण प्रस्तुत करता है, जो बहुपद-समय गणनाशीलता (polynomial-time computability) को अभिलक्षणित करने के लिए इस्तारी (Istari) प्रूफ़ असिस्टेंट के भीतर इसकी सुदृढ़ता (soundness) और पूर्णता (completeness) के लिए नवीन प्रमाण प्रदान करता है।

Nathaniel Glover, Jan Hoffmann2026-05-14

🔢 mathematics

Quantitative Linear Logic

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

Matteo Capucci, Robert Atkey, Charles Grellois, Ekaterina Komendantskaya2026-05-14

💻 computer science

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic

यह शोध पत्र Continuous-Eris को प्रस्तुत करता है, जो Rocq प्रूफ असिस्टेंट में कार्यान्वित एक हायर-ऑर्डर सेपरेशन लॉजिक है, ताकि गॉसियन और लाप्लास जैसे निरंतर वितरणों (continuous distributions) के लिए सटीक सैंपलिंग एल्गोरिदम की शुद्धता को औपचारिक रूप से सत्यापित किया जा सके, जो फ्लोटिंग-पॉइंट सन्निकटन (floating-point approximations) की सुरक्षा और सटीकता संबंधी सीमाओं को संबोधित करता है।

Markus de Medeiros, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, Joseph Tassarotti2026-05-14

🔢 mathematics

Monads and Distributive Laws in Substructural Contexts (Extended Version)

यह शोध पत्र ट्रोनिन की वर्बल श्रेणियों (verbal categories) का उपयोग करते हुए एक एकीकृत श्रेणीगत ढांचे (categorical framework) को प्रस्तुत करता है ताकि सबस्ट्रक्चरल संदर्भों में मोनाड्स (monads) और डिस्ट्रीब्यूटिव लॉज़ (distributive laws) को औपचारिक रूप दिया जा सके, जिसमें मौजूदा परिणामों का सामान्यीकरण करने और इंडेक्स्ड वैल्युएशंस (indexed valuations) जैसे निर्माणों को समाहित करने के लिए $\mathbf W$ -ऑपेरेडिक (operadic) और $\mathbf W$ -कम्यूटेटिव मोनाड्स को पेश किया गया है।

Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute, Ichiro Hasuo2026-05-14

🤖 AI

(How) Do Large Language Models Understand High-Level Message Sequence Charts?

यह शोध पत्र तीन लार्ज लैंग्वेज मॉडल्स की हाई-लेवल मैसेज सीक्वेंस चार्ट्स (HMSCs) के औपचारिक अर्थ विज्ञान (formal semantics) को समझने की क्षमता का मूल्यांकन करता है, जिससे यह पता चलता है कि हालांकि वे बुनियादी अवधारणाओं पर मजबूत पकड़ प्रदर्शित करते हैं, लेकिन एब्स्ट्रैक्शन (abstraction), कंपोजिशन (composition) और कारण संबंधी निर्भरताओं (causal dependencies) से जुड़े जटिल सिमेंटिक तर्क में महत्वपूर्ण संघर्षों के कारण उनकी समग्र सटीकता मामूली (लगभग 52%) है।

Mohammad Reza Mousavi2026-05-14

🔢 mathematics

A taxonomy of categories for relations

यह शोध पत्र श्रेणियों का एक आधुनिक, व्यवस्थित वर्गीकरण प्रदान करता है जो संबंधों के संरचनात्मक गुणों को अमूर्त रूप में प्रस्तुत करता है, जिसमें उनके संवर्धित संस्करण और सममित मोनॉइडल मोनैड्स (symmetric monoidal monads) के क्लीस्ली श्रेणियों (Kleisli categories) के रूप में उनका अभिलक्षण शामिल है।

Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta2026-05-13

📊 statistics

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability

यह शोध पत्र "क्वासी-मार्कोव श्रेणियों" (quasi-Markov categories) के भीतर "अनुभवजन्य नमूनाकरण रूपांतरणों" (empirical sampling morphisms) को प्रस्तुत करके ग्लिवेंको-कैन्टेली प्रमेय, बड़ी संख्याओं के प्रबल नियम और डी फिनेटी के प्रमेय के लिए एक एकीकृत श्रेणीगत ढांचा स्थापित करता है, ताकि प्रथम सिद्धांतों से अनुभवजन्य मापों के अभिसरण को औपचारिक रूप दिया जा सके।

Tobias Fritz, Tomáš Gonda, Antonio Lorenzin, Paolo Perrone, Areeb Shah Mohammed2026-05-13

💻 computer science

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic

यह शोध पत्र एक न्यूरो-सिम्बोलिक ढांचे को प्रस्तुत करता है जो एक GLLM जनरेटर को सेपरेशन लॉजिक (Separation Logic) वेरीफायर के साथ एकीकृत करता है ताकि तार्किक प्रमाण विफलताओं (logical proof failures) को सटीक स्थानिक निर्देशों (spatial directives) में अनुवादित करके पुनरावृत्ति परिशोधन (iterative refinement) के माध्यम से G-कोड के स्व-सुधारात्मक, टकराव-मुक्त उत्पादन को सक्षम बनाया जा सके।

Yeonseok Lee2026-05-13✓ Author reviewed ⓘ

← पिछला अगला →