💻 Category

cs.LO

1105 पेपर

💻 computer science

State Canonization and Early Pruning in Width-Based Automated Theorem Proving

यह शोध पत्र व्यावहारिक दक्षता बढ़ाने के लिए स्टेट-कैनोनाइजेशन (state-canonization) और अर्ली-प्रूनिंग (early-pruning) तकनीकों को पेश करके विड्थ-आधारित स्वचालित प्रमेय सिद्ध करने (automated theorem proving) को आगे बढ़ाता है, जो बाउंडेड पाथविड्थ (bounded pathwidth) और ट्रीविड्थ (treewidth) वर्गों पर त्रिकोणीय-मुक्त ग्राफों (triangle-free graphs) के लिए रीड के अनुमान (Reed's conjecture) को सफलतापूर्वक मान्य करता है और अमान्य सुदृढ़ीकरणों (invalid strengthenings) के लिए स्वतः काउंटर-उदाहरण उत्पन्न करता है।

Mateus de Oliveira Oliveira, Sam Urmian2026-05-13
💻 computer science

Minimization of Streaming Transducers

यह शोधपत्र स्ट्रीमिंग ट्रांसड्यूसर्स के लिए न्यूनतम मॉडलों (minimal models) के अस्तित्व हेतु सामान्य मानदंड स्थापित करता है और इन परिणामों को उन वेरिएंट्स के लिए प्रभावी न्यूनीकरण एल्गोरिदम (minimization algorithms) प्राप्त करने के लिए लागू करता है जो अपने लीव्स (leaves) या रूट्स (roots) पर आउटपुट टर्म्स का वृद्धिशील निर्माण करते हैं।

Christian Bianchini, Gabriele Puppis2026-05-13
🤖 AI

Adaptive Teacher Exposure for Self-Distillation in LLM Reasoning

यह शोध पत्र एडेप्टिव टीचर एक्सपोज़र फॉर सेल्फ-डिस्टिलेशन (ATESD) को प्रस्तुत करता है, जो एक नवीन विधि है जो गतिशील रूप से यह सीखना सीखती है कि ऑन-पॉलिसी प्रशिक्षण के दौरान एक शिक्षक मॉडल छात्र को कितनी विशेषाधिकार प्राप्त तर्क (privileged reasoning) प्रकट करता है, जिससे एक्सपोज़र मिसमैच (exposure mismatch) का समाधान होता है और चुनौतीपूर्ण गणितीय तर्क बेंचमार्क पर मौजूदा सेल्फ-डिस्टिलेशन और आरएल (RL) बेसलाइन की तुलना में काफी बेहतर प्रदर्शन होता है।

Zihao Han, Tiangang Zhang, Huaibin Wang, Yilun Sun2026-05-13
💻 computer science

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families

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

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann2026-05-13
💻 computer science

Extending QuAK with Nested Quantitative Automata

यह शोध पत्र नेस्टेड क्वांटिटेटिव ऑटोमेटा (Nested Quantitative Automata) को समर्थन देने के लिए क्वांटिटेटिव ऑटोमेटा किट (QuAK) का विस्तार किया है, जिसमें ऐसे फ्लैटनिंग प्रक्रियाओं (flattening procedures) को लागू किया गया है जो इन अधिक अभिव्यंजक मॉडलों को मानक क्वांटिटेटिव ऑटोमेटा में कम कर देते हैं, जिससे मौजूदा निर्णय प्रक्रियाओं के माध्यम से औसत प्रतिक्रिया समय जैसी अनबाउंड (unbounded) गुणों का व्यावहारिक विश्लेषण सक्षम हो जाता है।

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç, Harun Yılmaz2026-05-13
💻 computer science

Simple grammar bisimilarity, with an application to session type equivalence

यह शोध पत्र ग्रामर वैल्यूएशन पर आधारित सरल ग्रामर बाइसिमिलैरिटी (bisimilarity) को निर्धारित करने के लिए एक सिंगल-एक्सपोनेंशियल टाइम एल्गोरिदम प्रस्तुत करता है और इसे कॉन्टेक्स्ट-फ्री सेशन टाइप इक्विवेलेंस (equivalence) के लिए पहला पॉलिनॉमियल-टाइम डिसीजन प्रोसीजर प्राप्त करने के लिए लागू करता है।

Diogo Poças, Gil Silva, Vasco T. Vasconcelos2026-05-12
💻 computer science

CMSO-transducing tree-like graph decompositions

यह शोध पत्र ग्राफ के मॉड्यूलर, स्प्लिट और बी-जॉइन अपघटन (decompositions) की गणना करने के लिए CMSO⁡\operatorname{CMSO}-ट्रांसडक्शन प्रस्तुत करता है, जिससे अधिक अभिव्यंजक ऑर्डर-इनवेरिएंट MSO⁡\operatorname{MSO} लॉजिक पर निर्भर पिछले परिणामों में सुधार होता है।

Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kanté, Eun Jung Kim, Noleen Köhler2026-05-12
🔢 mathematics

Doctrinal Semantics of Directed First-Order Logic

यह शोधपत्र एक निर्देशित प्रथम-क्रम तर्क (directed first-order logic) प्रस्तुत करता है जिसमें विषम समानता (asymmetric equality) और एक ध्रुवीयता-आधारित वाक्यात्मक प्रणाली (polarity-based syntactic system) समाहित है, जो "निर्देशित सिद्धांतों" (directed doctrines) के माध्यम से एक सुदृढ़ और पूर्ण श्रेणीगत अर्थविज्ञान (categorical semantics) प्रदान करता है जो निर्देशित समानता को एक सापेक्ष बाएं एडजॉइंट (relative left adjoint) के रूप में अभिलक्षणित करता है और लॉवरे (Lawvere) की शास्त्रीय समानता का सामान्यीकरण करता है।

Andrea Laretto, Fosco Loregian, Niccolò Veltri2026-05-12
🔢 mathematics

On the pp-adic Skolem Problem

यह शोध पत्र रैखिक पुनरावृत्ति अनुक्रमों (linear recurrence sequences) के सभी pp-adic शून्यों को निर्धारित करने और गणना करने के लिए एल्गोरिदम प्रस्तुत करता है, जो बिना शर्त रूप से सही हैं और pp-adic शैनुएल अनुमान (Schanuel Conjecture) के अंतर्गत समाप्त होते हैं, जिससे उसी परिकल्पना के तहत सह-अभाज्य अनुक्रमों (coprime sequences) के लिए 'सिमल्टेनियस स्कोलेम समस्या' (Simultaneous Skolem Problem) की निर्णयक्षमता (decidability) सक्षम होती है।

Piotr Bacik, Joël Ouaknine, David Purser, James Worrell2026-05-12
🔢 mathematics

Carryless Pairing: Additive Pairing in the Fibonacci Basis

यह शोध पत्र N2\mathbb{N}^2 से N\mathbb{N} तक एक कैरीलेस (carryless), इंजेक्टिव पेयरिंग मैप प्रस्तुत करता है जो दो संख्याओं को एक डेलीमिटर (delimiter) द्वारा अलग किए गए विलगित ज़ेकेनडॉर्फ इंडेक्स बैंड्स (disjoint Zeckendorf index bands) में एनकोड करता है, जिससे बिना गुणन या गुणनखंडन के योगात्मक समर्थन (additive support) संचालन के माध्यम से मूल्यांकन और व्युत्क्रमण सक्षम होता है, जिसकी मुख्य शुद्धता की पुष्टि Rocq में की गई है।

Milan Rosko2026-05-12