💻 Category

cs.LO

1105 पेपर

🤖 machine learning

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks

यह शोध पत्र रिकरेंट डिफरेंशिएबल टर्नरी लॉजिक गेट नेटवर्क (R-DTLGN) प्रस्तुत करता है, जो एक नवीन आर्किटेक्चर है जो क्लीन के थ्री-वैल्यूड लॉजिक (Kleene's three-valued logic) पर कार्य करते हुए सिग्नल टेम्पोरल लॉजिक के वर्डिक्ट्स (verdicts) की भविष्यवाणी करना सीखता है और सेंसर डिग्रेडेशन के तहत स्थिर डायनेमिक्स और सिद्धांतपूर्ण अपवर्जन (abstention) के औपचारिक आश्वासन प्रदान करता है, साथ ही अपने नेटवर्क के आकार को टेम्पोरल फॉर्मूला की संरचना से सीधे व्युत्पन्न करता है।

Sai Sandeep Damera, Ryan Matheu, Aniruddh G. Puranic, John S. Baras, Calin Belta2026-05-26
🔢 mathematics

Refutation calculi for lattice-based logics: from display to tableaux

यह शोधपत्र बुनियादी LE-लॉजिकों के लिए रिफ्यूटेशन डिस्प्ले कैलकुली प्रस्तुत करता है, प्रूफ़-एनालिसिस के माध्यम से उनकी साउंडनेस और पूर्णता को सिद्ध करता है, और उनसे टर्मिनेटिंग टैब्लो कैलकुली व्युत्पन्न करता है।

Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mario Piazza, Andrea Sabatini2026-05-26
💻 computer science

DateSAT: A Framework for Solving Date and Period Constraints

यह शोध पत्र DateSAT को प्रस्तुत करता है, जो तिथियों और कैलेंडर अवधियों से जुड़ी संतुष्टि बाधाओं (satisfiability constraints) को पूर्णांक-आधारित SMT सूत्रों में बदलकर उन्हें औपचारिक रूप से व्यक्त करने और हल करने वाला पहला फ्रेमवर्क है, और एक क्यूरेटेड डेटासेट (450 बाधाओं) पर इसके अनुभवजन्य मूल्यांकन के माध्यम से इसकी प्रभावशीलता को प्रमाणित करता है।

Leyi Cui, Shrey Tiwari, Rohan Padhye2026-05-26
🤖 machine learning

Influence-Inspired Spectral Rotations for Extreme Low-Bit LLM Quantization

यह शोध पत्र "BBT-spectral" प्रस्तुत करता है, जो एक इंजीनियरिंग-केंद्रित क्वांटाइजेशन विधि है जो वेट मैट्रिसेस (weight matrices) पर इन्फ्लुएंस-एडेप्टिव वॉल्श-हैडमार्ड रोटेशन्स (influence-adaptive Walsh-Hadamard rotations) और एनर्जी-बेस्ड रीस्केलिंग (energy-based rescaling) लागू करता है, जो विभिन्न मॉडल आर्किटेक्चर में अत्यधिक लो-बिट (W2A16) LLM क्वांटाइजेशन में परप्लेक्सिटी (perplexity) को महत्वपूर्ण रूप से कम करता है और इंटेल उपकरणों के साथ हार्डवेयर अनुकूलता सुनिश्चित करता है।

Gorgi Pavlov2026-05-26
🤖 AI

Specification-Based Code-Text-Code Reengineering for LLM-Mediated Software Evolution

यह शोध पत्र एक विनिर्देश-आधारित (specification-based) Code2Text2Code पुनर्रचना ढांचे का प्रस्ताव करता है जो स्रोत कोड को एक तटस्थ पाठ्य विनिर्देश (neutral textual specification) में बदलकर और लक्षित कोड को पुन: उत्पन्न करने से पहले पुनरावृत्ति सत्यापन (iterative verification) के माध्यम से, LLM-मध्यस्थ सॉफ्टवेयर विकास में सिमेंटिक ड्रिफ्ट (semantic drift) और व्यवहार संबंधी विसंगतियों को कम करता है।

Oleg Grynets, Vasyl Lyashkevych, Arsen Dolichnyi, Roman Piznak, Taras Zelenyy, Volodymyr Morozov2026-05-26
🤖 AI

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4

यह शोध पत्र Lean 4 के लिए प्रूफ़-स्टेट स्नैपशॉटिंग (proof-state snapshotting) प्रस्तुत करता है, जो एक ऐसी तकनीक है जो समानांतर खोज शाखाओं (parallel search branches) में विस्तृत प्रूफ़ स्टेट्स को कैप्चर और पुन: उपयोग करती है ताकि रेडंडेंट इम्पोर्ट लोडिंग और थ्योरम-बॉडी एलबोरेशन को समाप्त किया जा सके, जिससे ऑटोमेटेड थ्योरम प्रूविंग के लिए 5.6–50x वॉल-टाइम स्पीडअप प्राप्त होता है।

Austin Shen, Yunong Shi2026-05-26
💻 computer science

A finer reparameterisation theorem for MSO and FO queries on strings

यह शोधपत्र एक पुनर्रूपण प्रमेय (reparameterisation theorem) स्थापित करता है जो यह दर्शाता है कि परिमित स्ट्रिंग्स पर मोनोडिक सेकंड-ऑर्डर और फर्स्ट-ऑर्डर क्वेरीज़, जिनका आउटपुट आकार बहुपद रूप से सीमित (polynomially bounded) है, उन्हें एक स्थिर संख्या में स्थितियों और परिमित डेटा का उपयोग करके MSO-परिभाषित रूप से पहचाना जा सकता है, जिससे यह पुष्टि होती है कि प्रथम-क्रम (first-order) स्ट्रिंग-टू-स्ट्रिंग व्याख्याओं के लिए आयामी न्यूनीकरण (dimension minimisation) लागू होता है।

Lê Thành Dung Nguyên, Paweł Parys2026-05-25
💻 computer science

Nominal Type Theory by Nullary Internal Parametricity

यह शोधपत्र नलरी इंटरनली पैरामीट्रिक टाइप थ्योरी (Nullary Internally Parametric Type Theory) और एक विशिष्ट नाम इंडक्शन सिद्धांत पर आधारित एक नवीन टाइप थ्योरी प्रस्तुत करता है जो यूनिवर्सल नेम एब्स्ट्रैक्शंस के स्वच्छ टाइपिंग नियमों को एक्सिस्टेंशियल नेम एब्स्ट्रैक्शंस की शक्तिशाली पैटर्न-मैचिंग क्षमताओं के साथ सफलतापूर्वक एकीकृत करता है, जिससे बाइंडर्स वाले सिंटैक्स को निरूपित करने के लिए एक सुव्यवस्थित नोमिनल फ्रेमवर्क स्थापित होता है।

Antoine Van Muylder, Andreas Nuyts, Dominique Devriese2026-05-25
💻 computer science

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT

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

Emanuele Civini, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani2026-05-25
💻 computer science

Expressive Power of Deep Homomorphism Networks over Relational Databases

यह शोधपत्र डीप होमोमोर्फिज्म नेटवर्क्स (DHNs) को रिलेशनल डेटाबेस के लिए एक शक्तिशाली आर्किटेक्चर के रूप में प्रस्तावित करता है, जो प्रथम-क्रम तर्क (first-order logic) और SQL के विशिष्ट अंशों के साथ उनकी सटीक अभिव्यंजक तुल्यता स्थापित करके, प्रमुख स्टैटिक एनालिसिस समस्याओं के लिए निर्णायकता (decidability) सिद्ध करके, और प्रयोगों के माध्यम से उनके श्रेष्ठ प्रदर्शन को मान्य करके किया गया है।

Moritz Schönherr, Balder ten Cate, Maurice Funk, Benny Kimelfeld, Carsten Lutz, Arie Soeteman2026-05-25