💻 Category

cs.LO

1117 पेपर

💻 computer science

Quantum Control and General Recursion beyond the Unitary Case

यह शोध पत्र वैक्यूम एक्सटेंशन (vacuum extensions) पर आधारित परिचालन और विहित अर्थों (operational and denotational semantics) को परिभाषित करके और एक नवीन प्रेक्षण संबंधी तुल्यता (observational equivalence) के संबंध में अपनी पर्याप्तता और पूर्ण अमूर्तता (full abstraction) को सिद्ध करते हुए, मनमानी क्वांटम क्रियाओं के सुसंगत नियंत्रण का समर्थन करने वाली पुनरावृत्ति (recursion) युक्त पहली क्वांटम प्रोग्रामिंग भाषा प्रस्तुत करता है।

Kathleen Barsse, Romain Péchoux, Simon Perdrix2026-03-02
🤖 AI

Approximate SMT Counting Beyond Discrete Domains

यह शोध पत्र **pact** को प्रस्तुत करता है, जो एक अनुमानित (approximate) SMT मॉडल काउंटर है जो हाइब्रिड फॉर्मूला के समाधान गणनाओं का कुशलतापूर्वक अनुमान लगाने के लिए हैशिंग-आधारित तकनीकों का लाभ उठाता है जिसमें सैद्धांतिक गारंटी होती है, और एक बड़े बेंचमार्क सूट पर मौजूदा बेसलाइन की तुलना में काफी बेहतर प्रदर्शन करता है।

Arijit Shaw, Kuldeep S. Meel2026-03-02
💻 computer science

Groups and Inverse Semigroups in Lambda Calculus

यह शोध पत्र विभिन्न λ\lambda-सिद्धांतों में व्युत्क्रमणीय λ\lambda-पदों (विशेष रूप से परिमित और अनंत वंशानुगत क्रमपरिवर्तनों) को अभिलक्षणिक करने के लिए इनवर्स सेमीग्रुप्स का उपयोग करता है, जो यह प्रदर्शित करता है कि उनका स्वाभाविक क्रम η\eta-विस्तार के अनुरूप है और यह सिद्ध करता है कि परिमित वंशानुगत क्रमपरिवर्तनी λη\lambda\eta और मॉरिस के ऑब्जर्वेशनल थ्योरी H+H^+ के बीच के सभी सिद्धांतों में व्युत्क्रमणीय तत्व हैं।

Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra2026-03-02
💻 computer science

DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs

यह शोध पत्र DSLean को प्रस्तुत करता है, जो कार्यान्वयन के विवरणों को अमूर्त बनाकर Lean 4 और बाहरी डोमेन-विशिष्ट भाषाओं (domain-specific languages) के बीच द्वि-दिशीय अनुवाद को सरल बनाता है, जिससे अंतराल अंकगणित (interval arithmetic), अवकल समीकरणों (differential equations) और रिंग आइडियल सदस्यता (ring ideal membership) जैसे कार्यों के लिए बाहरी सॉल्वर का निर्बाध एकीकरण सक्षम होता है।

Tate Rowney, Riyaz Ahuja, Jeremy Avigad, Sean Welleck2026-03-02
💻 computer science

Array-Carrying Symbolic Execution for Function Contract Generation

यह शोध पत्र LLVM के भीतर कार्यान्वित और Frama-C के साथ एकीकृत एक नवीन प्रतीकात्मक निष्पादन (symbolic execution) ढांचे को प्रस्तुत करता है जो निरंतर सरणी खंडों (contiguous array segments) पर इनवेरिएंट्स (invariants) और संशोधन जानकारी को प्रभावी ढंग से ले जाकर फंक्शन कॉन्ट्रैक्ट्स उत्पन्न करता है, जिससे सरणी-हेरफेर करने वाले कार्यों के विश्लेषण में मौजूदा दृष्टिकोणों की सीमाओं को दूर किया जा सके।

Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li2026-03-02
⚛️ quantum physics

Supermaps on generalised theories

यह शोध पत्र श्रेणीगत सुपरमैप्स (categorical supermaps) के लिए योनेडा लेम्मा (Yoneda lemma) को स्थापित करता है ताकि उच्च-क्रम क्वांटम ऑपरेशन्स को मनमाने सर्किट सिद्धांतों तक सामान्यीकृत करने के लिए एक कठोर, स्पष्ट ढांचा प्रदान किया जा सके, जो बॉक्सवर्ल्ड (boxworld) और वास्तविक क्वांटम सिद्धांत में इसके अनुप्रयोग को प्रदर्शित करता है।

Matt Wilson, James Hefford, Timothée Hoffreumon2026-03-02
💻 computer science

A Foundation for Differentiable Logics using Dependent Type Theory

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

Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Ślusarz, Kathrin Stark2026-03-02
💬 NLP

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification

यह शोध पत्र एक न्यूरोसिम्बोलिक सत्यापन ढांचे (neurosymbolic verification framework) को प्रस्तुत करता है जो विजन-लैंग्वेज मॉडल द्वारा जनरेट किए गए रेडियोलॉजी रिपोर्टों के तार्किक निरंतरता की औपचारिक रूप से ऑडिट करने और गारंटी देने के लिए SMT सॉल्वर और क्लिनिकल नॉलेज बेस का उपयोग करता है, जो प्रभावी रूप से उन मतिभ्रम (hallucinations) और निगमनात्मक विफलताओं (deductive failures) की पहचान करता है और उन्हें समाप्त करता है जिन्हें पारंपरिक मेट्रिक्स नहीं पकड़ पाते हैं।

Vikash Singh, Debargha Ganguly, Haotian Yu, Chengwei Zhou, Prerna Singh, Brandon Lee, Vipin Chaudhary, Gourav Datta2026-03-02
🤖 AI

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?

यह शोध पत्र स्टोकेस्टिक प्रणालियों, विशेष रूप से मार्कोव निर्णय प्रक्रियाओं और स्टोकेस्टिक खेलों के भीतर, उन रणनीतियों से संबंधित मौलिक समस्याओं को परिभाषित और विश्लेषित करके स्टोकेस्टिक प्रणालियों में लचीलेपन (resilience) की अवधारणा प्रस्तुत करता है जो इच्छित कार्यों को बदलने में सक्षम व्यवधानों के विरुद्ध सुदृढ़ बनी रहती हैं, और ऐसे व्यवधानों की आवृत्ति और प्रभाव का मूल्यांकन करने के लिए विभिन्न मात्रात्मक मापों का उपयोग करती है।

Kush Grover, Markel Zubia, Debraj Chakraborty, Muqsit Azeem, Nils Jansen, Jan Kretinsky2026-03-02
🤖 AI

RLSF: Fine-tuning LLMs via Symbolic Feedback

यह शोध पत्र 'रिनफोर्समेंट लर्निंग वाया सिम्बोलिक फीडबैक' (RLSF) को प्रस्तुत करता है, जो एक नवीन फाइन-ट्यूनिंग प्रतिमान है जो सूक्ष्म, टोकन-स्तरीय फीडबैक प्रदान करने के लिए प्रतीकात्मक तर्क उपकरणों (सिम्बोलिक रीजनिंग टूल्स) का लाभ उठाता है, जिससे छोटे LLMs विशिष्ट डोमेन-आधारित तार्किक संरेखण वाले कार्यों पर बड़े क्लोज्ड-सोर्स मॉडल्स को महत्वपूर्ण रूप से पीछे छोड़ने में सक्षम होते हैं।

Piyush Jha, Prithwish Jana, Pranavkrishna Suresh, Arnav Arora, Vijay Ganesh2026-02-27