cs.LO पेपर | Gist.Science

Coslice Colimits in Homotopy Type Theory

यह शोध पत्र एक प्रकार ब्रह्मांड (type universe) में ग्राफ-सूचकांक कोलिमिट्स (graph-indexed colimits) और होमोटॉपी टाइप थ्योरी के भीतर कोस्लाइस कोलिमिट्स (coslice colimits) के बीच के संबंध को अभिलक्षणित करता है, जो पेड़ों पर भूलने वाले फलन (forgetful functor) द्वारा कोलिमिट्स बनाने को सिद्ध करने के लिए एक अनुकूलित निर्माण प्रदान करता है और यह प्रदर्शित करता है कि पॉइंटेड टाइप्स (pointed types) के सभी कोलिमिट्स $n$ -कनेक्टेडनेस को संरक्षित करते हैं, जिससे यह स्थापित होता है कि उच्च समूह (higher groups) कोलिमिट्स के अंतर्गत बंद हैं।

Perry Hart (Favonia), Kuen-Bang Hou (Favonia)2026-03-25

💻 computer science

Multi types and reasonable space

यह शोधपत्र एक नई बहु-प्रकार (multi-type) प्रणाली प्रस्तुत करता है जो प्रकार व्युत्पत्तियों (type derivations) से स्पेस KAM के स्थान और समय की जटिलताओं दोनों को निकालती है, जिससे लैम्ब्डा-कैलकुलस के लिए इन तर्कसंगत लागत मॉडलों का एक प्रकार-सैद्धांतिक लक्षण वर्णन (type-theoretic characterization) प्राप्त होता है।

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni2026-03-24

💻 computer science

Tighter Bounds for Query Answering with Guarded TGDs

यह शोध पत्र एक नवीन रैखिकीकरण प्रक्रिया (linearization process) और एक प्रतिबंधित चेज़ (restricted chase) का उपयोग करते हुए यह प्रदर्शित करके गार्डेड TGDs के साथ ओपन-वर्ल्ड क्वेरी अनswering के लिए जटिलता सीमाओं (complexity bounds) में सुधार करता है कि यह समस्या EXPTIME में हल करने योग्य है जब साइड सिग्नेचर की अरिटी (arity) सीमित हो, और NP में तब होती है जब साइड सिग्नेचर और डिपेंडेंसी विड्थ (dependency width) दोनों स्थिर हों।

Antoine Amarilli, Michael Benedikt2026-03-24

🤖 AI

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses

यह शोधपत्र गैर-तुच्छ मोडल लॉजिक्स (modal logics) के एक नए परिवार, विशेष रूप से $\mathbf{KC}$ और $\mathbf{KDC}$ को प्रस्तुत करता है, जो मोडल कोलैप्स (modal collapse) से बचने के लिए एक गैर-द्वि-मानिक (non-bivalent) सिमेंटिक ढांचे के भीतर एक्सिओम C (Axiom C) के माध्यम से ज्ञात तथ्यों को सुरक्षित रखते हुए अनुमानित तर्क (conjectural reasoning) को औपचारिक रूप देते हैं, और साथ ही संज्ञानात्मक अवस्थाओं का एक एकीकृत विवरण और अनुमानों को वास्तविकता में परिवर्तित करने के लिए एक गतिशील ऑपरेटर भी प्रदान करते हैं।

Fabio Vitali2026-03-24

💻 computer science

Determination of the fifth Busy Beaver value

यह शोध पत्र पाँचवें बिजी बीवर मान, $S(5) = 47,176,870$ के प्रथम औपचारिक रूप से सत्यापित निर्धारण को प्रस्तुत करता है, जिसे कोक (Coq) प्रूफ़ असिस्टेंट का उपयोग करके 181 मिलियन से अधिक ट्यूरिंग मशीनों का विश्लेषण करने वाले एक व्यापक सहयोगात्मक ऑनलाइन प्रयास के माध्यम से प्राप्त किया गया है।

The bbchallenge Collaboration, Justin Blanchard, Daniel Briggs, Konrad Deka, Nathan Fenner, Yannick Forster, Georgi Geor (…)2026-03-24

💬 NLP

Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors

यह शोध पत्र "कॉन्फ्लिक्ट-अवेयर फ्यूजन" (Conflict-Aware Fusion) का परिचय देता है, जो एक द्वैत-प्रक्रिया आर्किटेक्चर और संरचित संज्ञानात्मक पूर्वग्रहों (cognitive priors) का उपयोग करके लार्ज लैंग्वेज मॉडल्स में "लॉजिक इनर्शिया" (Logic Inertia) को दूर करता है, जिससे विरोधाभासी साक्ष्यों और संरचनात्मक व्यवधानों के तहत भी तर्क संबंधी कार्यों में पूर्ण सटीकता प्राप्त की जा सकती है जहाँ मानक मॉडल पूरी तरह विफल हो जाते हैं।

Qiming Bao, Xiaoxuan Fu, Michael Witbrock2026-03-24

💻 computer science

Can LLMs Perform Synthesis?

यह शोध पत्र चार प्रोग्राम सिंथेसिस डोमेन में सिम्बोलिक टूल्स (symbolic tools) के विरुद्ध LLMs (Qwen और GPT-5) के प्रदर्शन का मूल्यांकन करता है, जिसमें यह पाया गया कि सिम्बोलिक सॉल्वर लगातार ओपन-सोर्स और फ्रंटियर LLMs दोनों की तुलना में अधिक बेंचमार्क हल करते हैं और तेज़ निष्पादित होते हैं, भले ही बाद वाले अधिक शक्तिशाली हार्डवेयर पर चलाए गए हों।

Derek Egolf, Yuhao Zhou, Stavros Tripakis2026-03-24

💻 computer science

Agentproof: Static Verification of Agent Workflow Graphs

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

Melwin Xavier, Vaisakh M A, Melveena Jolly, Midhun Xavier2026-03-24

💻 computer science

Coverage Games

यह शोध पत्र "कवरेज गेम्स" (coverage games) को प्रस्तुत करता है, जो एक नवीन मल्टी-एजेंट प्लानिंग फ्रेमवर्क है जहाँ कई एजेंटों का संचालन करने वाला एक 'कवरर' (coverer), उद्देश्यों के एक समूह को पूरा करने के लिए एक 'डिसरप्टर' (disruptor) के विरुद्ध प्रतिस्पर्धा करता है, और उनके नियतता (determinacy), उद्देश्य अपघटन (objective decomposition), और गणनात्मक जटिलता (computational complexity) का एक व्यापक सैद्धांतिक विश्लेषण प्रदान करता है।

Orna Kupferman (The Hebrew University, School of Computer Science and Engineering, Jerusalem, Israel), Noam Shenwald (Th (…)2026-03-24

🤖 machine learning

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP

यह शोध पत्र रिपोर्ट करता है कि क्लॉड ओपस 4.6 (Claude Opus 4.6) ने, रॉक (Rocq) प्रूफ असिस्टेंट के लिए मॉडल कॉन्टेक्स्ट प्रोटोकॉल टूल्स और एक "कंपाइल-फर्स्ट, इंटरैक्टिव-फालबैक" रणनीति का उपयोग करते हुए, एक ऑफलाइन वातावरण में 2025 की पुटनाम गणितीय प्रतियोगिता (Putnam Mathematical Competition) की 12 में से 10 समस्याओं को स्वायत्त रूप से हल किया।

Guillaume Baudart, Marc Lelarge, Tristan Stérin, Jules Viennot2026-03-24

← पिछला अगला →