💻 Category

cs.LO

1090 पेपर

💻 computer science

Witness-split + window-cardinality refinement for r3(N)r_3(N): Architecture, empirical results, and a structural hard pocket

यह शोध पत्र r3(212)r_3(212) की ऊपरी सीमा की कठोर जांच करने के लिए विटनेस-स्प्लिटिंग (witness-splitting), विंडो-कार्डिनैलिटी प्रूनिंग (window-cardinality pruning) और हाइब्रिड SAT/MIP सॉल्वर को संयोजित करने वाले एक पुनरुत्पादक कम्प्यूटेशनल ढांचे को प्रस्तुत करता है, जो अधिकांश संभावित 44-सेट्स को सफलतापूर्वक समाप्त करते हुए दो प्रतिरोधी संरचनात्मक मामलों को अलग करता है जो व्यापक सत्यापन प्रयासों के बावजूद अप्रामाणित बने हुए हैं।

Mehmet Ergezer2026-06-04
⚛️ quantum physics

Essential Unitarity for Higher-Order Quantum Computation

यह शोध पत्र उच्च-क्रम क्वांटम कंप्यूटेशन के लिए एक सीमा-केंद्रित (boundary-centric) सिमेंटिक ढांचे को प्रस्तुत करता है जो "अनिवार्य एकरूपता" (essential unitarity) को मानक एकरूपता के एक अद्वितीय, सुसंगत-अनुकूल सामान्यीकरण के रूप में परिभाषित करता है, जो उच्च-क्रम इंटरफेस पर सूचना संरक्षण सुनिश्चित करता है और क्वांटम स्विच जैसे सुपरमैप्स की सुसंगत प्राप्ति को सक्षम बनाता है।

Samson Abramsky, Radha Jagadeesan2026-06-04
💬 NLP

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

यह शोध पत्र एक एक्शन रूटिंग एजेंट पेश करता है जिसमें डेटा और कंट्रोल प्लेन हैं जो विफलता संकेतों के आधार पर प्रमाण प्रयासों को जारी रखने या पुनरारंभ करने का गतिशील रूप से निर्णय लेकर Lean के लिए एजेंटिक थ्योरम प्रूविंग में लागत-गुणवत्ता ट्रेडऑफ को अनुकूलित करता है, जिससे प्रदर्शन को बनाए रखते हुए PutnamBench पर कंप्यूट लागत में 25.8% की कमी आई है।

Kári Rögnvaldsson, Chenhao Sun, Jasper Dekoninck, Martin Vechev2026-06-04
🤖 AI

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

यह शोध पत्र एजेंटिक रेडक्स (Agentic Redux) को प्रस्तुत करता है, जो टाइपड लैम्ब्डा कैलकुलस (typed lambda calculus) और मानव-लिखित ऑन्टोलॉजी पर आधारित एक प्रमाणित रूप से सही और ऑडिट योग्य एलएलएम (LLM) एजेंट आर्किटेक्चर है, जो स्वास्थ्य देखभाल बिलिंग अनुपालन और सुरक्षा भेद्यता प्रकटीकरण में इसके अनुप्रयोग को प्रदर्शित करता है।

Aaron Sterling2026-06-04
💻 computer science

Event Calculus Meets Hybrid ASP

यह शोध पत्र हाइब्रिड इवेंट कैलकुलस (Hybrid Event Calculus) प्रस्तुत करता है, जो एक विस्तारित अभिलेखन (axiomatization) है जिसे हाइब्रिड ASP प्रणालियों (clingcon और clingo-lpx) में कार्यान्वित किया गया है, जो निरंतर परिवर्तनों और सघन डोमेन (dense domains) को रैखिक बाधाओं (linear constraints) के रूप में निरूपित करके पारंपरिक ग्राउंडिंग-आधारित और टॉप-डाउन दृष्टिकोणों की स्केलेबिलिटी और सटीकता की सीमाओं को दूर करता है, जिससे सुरक्षा-महत्वपूर्ण प्रणालियों का सटीक और स्केलेबल मॉडलिंग संभव हो पाता है।

Ondřej Vašíček, Joaquín Arias, Jan Fiedor, Gopal Gupta, Bohuslav Křena, Jakub Němec, Javier Romero, Tomáš Vojnar2026-06-04
⚡ electrical engineering

Change-Of-Bases Abstractions for Non-Linear Systems

यह शोधपत्र उन एब्स्ट्रैक्शन तकनीकों को प्रस्तुत करता है जो बेसिस-परिवर्तन (change-of-basis) रूपांतरणों के माध्यम से गैर-रेखीय गतिशील प्रणालियों को रैखिक या बहुपद प्रणालियों में परिवर्तित करते हैं, जिससे निरंतर, असतत और हाइब्रिड डोमेन में मूल गैर-रेखीय प्रणालियों के लिए इनवेरियंट्स (invariants) का अनुमान लगाने हेतु रैखिक विश्लेषण विधियों का उपयोग संभव हो पाता है।

Sriram Sankaranarayanan2026-06-03
💻 computer science

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir

यह शोध पत्र एलिक्जिर (Elixir) के लिए एक नवीन क्रमिक प्रकार प्रणाली (gradual type system) प्रस्तुत करता है जो भाषा के संकलन पाइपलाइन (compilation pipeline) या रनटाइम प्रदर्शन को बदले बिना साउंड स्टैटिक टाइप चेकिंग और सटीक प्रकार परिशोधन (type refinement) को सक्षम करने के लिए सिमेंटिक सबटाइपिंग को रनटाइम गार्ड विश्लेषण के साथ जोड़ता है।

Giuseppe Castagna, Guillaume Duboc2026-06-03
🔢 mathematics

Classical Logic as Intuitionistic Logic with Duality

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

Alexander V. Gheorghiu, Yll Buzoku2026-06-03
🤖 machine learning

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning

यह शोध पत्र एक नवीन ट्रांसफार्मर आर्किटेक्चर प्रस्तुत करता है जो समानांतर एम्बेडिंग स्ट्रीम्स और एग्रीगेटेड अटेंशन के माध्यम से विनिमेय टोकन (interchangeable tokens) के पुनर्मूल्यांकन (renaming) के प्रति प्रमाणित अपरिवर्तनीयता (provable invariance) प्राप्त करता है, जिससे ओपन-वोकैबुलरी लर्निंग कार्यों में अनदेखे प्रतीकों के प्रति सामान्यीकरण में महत्वपूर्ण सुधार होता है।

İlker Işık, Wenchao Li2026-06-03
💻 computer science

Lean-GAP: A Dataset of Formalized Graduate Algebra Problems

यह शोध पत्र डमिट और फूट के पाठ्यपुस्तक से 430 औपचारिक स्नातक-स्तरीय बीजगणित (algebra) समस्याओं के एक डेटासेट, Lean-GAP, के साथ-साथ उनके निर्माण के लिए एक स्केलेबल पाइपलाइन और अनौपचारिक गणित को लीन 4 (Lean 4) प्रूफ़ असिस्टेंट में अनुवाद करने में शामिल चुनौतियों और बाधाओं के विश्लेषण को प्रस्तुत करता है।

Seewoo Lee, Byung-Hak Hwang, Hyojae Lim, Jihoon Hyun, Ilkyoo Choi, Yeachan Park, Jineon Baek, Hyukpyo Hong, Keewoo Lee (…)2026-06-03