cs.LO पेपर | Gist.Science

Standpoint Logics with Defeasible Beliefs

यह शोध पत्र KLM डिफीज़ेबल लॉजिक (defeasible logic) को स्टैंडपॉइंट लॉजिक (standpoint logic) के साथ एकीकृत करके डिफीज़ेबल रिस्ट्रिक्टेड स्टैंडपॉइंट लॉजिक्स (DRSL) का निर्माण करता है, जो मौलिक अर्थपूर्ण लक्षण वर्णन (semantic characterizations) प्रदान करता है, कई दृष्टिकोणों को संभालने के लिए विभिन्न एंटेलमेंट संबंधों (entailment relations) को ऊपर उठाता है, और यह प्रदर्शित करता है कि एंटेलमेंट चेकिंग की कम्प्यूटेशनल जटिलता प्रस्तावात्मक मामले (propositional case) से अपरिवर्तित रहती है।

Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph2026-06-09

🤖 AI

Extending Ontologies: From Dense Embeddings to Hybrid Quantum-Fuzzy Systems

यह शोध पत्र न्यूरो-क्वांटम-फजी सिस्टम को एक नवीन ज्ञान प्रतिनिधित्व ढांचे के रूप में प्रस्तावित करता है जो क्वांटम-न्यूरल नेटवर्क के साथ ऑन्टोलॉजी को एकीकृत करके संभाव्य और स्पष्ट अनुमान (crisp inference) के बीच के समझौते से ऊपर उठते हुए समवर्ती शास्त्रीय और प्रासंगिक तर्क को सक्षम बनाता है।

Angjelin Hila2026-06-09

🔢 mathematics

The continuous functional calculus in Lean

यह शोध पत्र किसी भी प्रूफ़ असिस्टेंट (proof assistant) में निरंतर फलन कलन (continuous functional calculus) के पहले औपचारिककरण को प्रलेखित करता है, जिसमें लीन (Lean) की मैथलिब (Mathlib) लाइब्रेरी में इसके कार्यान्वयन, अंतर्निहित गणितीय सिद्धांत, और उन प्रमुख डिज़ाइन निर्णयों का विवरण दिया गया है जिन्होंने गणितीय समुदाय के लिए उपयोगिता सुनिश्चित की।

Anatole Dedecker, Jireh Loreaux2026-06-08

🤖 AI

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

यह शोध पत्र **Lean4Agent** को प्रस्तुत करता है, जो पहला ऐसा फ्रेमवर्क है जो एजेंट वर्कफ़्लो को मॉडल, सत्यापित और पुनरावृत्ति रूप से परिष्कृत करने के लिए डिपेंडेंट-टाइप औपचारिक भाषा Lean4 का लाभ उठाता है, यह प्रदर्शित करते हुए कि औपचारिक रूप से सत्यापित प्रक्षेपवक्र (trajectories) जटिल कार्यों पर लार्ज लैंग्वेज मॉडल्स के प्रदर्शन और विश्वसनीयता में महत्वपूर्ण सुधार करते हैं।

Ruida Wang, Jerry Huang, Pengcheng Wang, Xuanqing Liu, Luyang Kong, Tong Zhang2026-06-08

🔢 mathematics

Four intuitionistic modal connectives

यह शोध पत्र चार विशिष्ट संयोजकों (डायमंड और बॉक्स ऑपरेटरों के दो जोड़े) वाले सहज ज्ञान युक्त मोडल लॉजिक (intuitionistic modal logics) के सिंटैक्स और सिमेंटिक्स को प्रस्तुत करता है, प्राथमिक फ्रेम वर्गों (elementary frame classes) पर उनकी मोडल परिभाषित योग्यता (modal definability) और स्वयंसिद्धता (axiomatizability) का विश्लेषण करता है, और सभी फ्रेमों के वर्ग द्वारा परिभाषित न्यूनतम तर्क की निर्णयक्षमता (decidability) को स्थापित करता है।

Philippe Balbiani, Çigdem Gencer2026-06-08

💻 computer science

Earliest query answering over streamed trees

यह शोध पत्र स्ट्रीम किए गए पेड़ों पर अर्लिएस्ट क्वेरी (earliest query) उत्तर देने की एक ऐसी विधि प्रस्तुत करता है जो नोड्स को उनके स्टेटस सुनिश्चित होते ही वापस करने या त्यागने के माध्यम से विलंबता (latency) और मेमोरी उपयोग को न्यूनतम करती है, और यह सिद्ध करती है कि यह निरंतर अपडेट समय (constant update time) के साथ मोनैडिक सेकंड-ऑर्डर लॉजिक (MSO) में व्यक्त सभी यूनरी क्वेरीज़ के लिए संभव है।

Mateusz Gienieczko, Martín Muñoz, Filip Murlak, Charles Paperman2026-06-08

🔢 mathematics

On the Golden Ratio and Stable Self-Application

यह शोधपत्र स्वर्णिम अनुपात के फिक्स्ड-पॉइंट पुनरावृत्ति (fixed-point recurrence) द्वारा मॉडल की गई स्थानीय स्व-अनुप्रयोग की परिचालन स्थिरता की, प्रिमिटिव-रिकर्सिव प्रमाण प्रणालियों के भीतर एकसमान वैश्विक स्व-प्रमाणीकरण प्राप्त करने की असंभवता के साथ तुलना करता है, यह तर्क देते हुए कि सीमित स्थानीय जाँच आंतरिक वैश्विक प्रतिबिंब (internal global reflection) उत्पन्न नहीं कर सकती।

Milan Rosko2026-06-05

📊 statistics

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

यह शोध पत्र अभिव्यंजक संभाव्य कार्यक्रमों (probabilistic programs) को नियतात्मक घनत्व फलनों (deterministic density functions) में संकलित करके और मूल्यांकनों के बीच मध्यवर्ती परिणामों को साझा करने के लिए वृद्धिशील गणना तकनीकों (incremental computation techniques) को लागू करके, कुशल संभाव्य अनुमान (probabilistic inference) के लिए एक नवीन दृष्टिकोण प्रस्तुत करता है, जिससे मॉन्टे कार्लो एल्गोरिदम को त्वरित किया जाता है और मॉड्यूलर डेनाशनल प्रमाणों (modular denational proofs) के माध्यम से शुद्धता सुनिश्चित की जाती है।

Fabian Zaiser, Jack Czenszak, Martin C. Rinard, Vikash K. Mansinghka, Alexander K. Lew2026-06-05

🤖 AI

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

यह शोध पत्र प्राकृतिक भाषा से TLA+ विनिर्देश (specifications) उत्पन्न करने के लिए 30 LLMs का पहला व्यवस्थित मूल्यांकन प्रस्तुत करता है, जो यह प्रकट करता है कि जहाँ कुछ मॉडल सीमित वाक्यात्मक शुद्धता प्राप्त करते हैं, वहीं वे मतिभ्रम (hallucinations) और कोड प्रशिक्षण से होने वाले नकारात्मक हस्तांतरण (negative transfer) जैसी समस्याओं के कारण विशेषज्ञ पर्यवेक्षण के बिना मुख्य रूप से अर्थपूर्ण रूप से सही विनिर्देश उत्पन्न करने में विफल रहते हैं।

Arslan Bisharat, Brian Ortiz, Eric Spencer, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Laufer (…)2026-06-05

🤖 AI

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

TLA-Prover एक 20-बिलियन-पैरामीटर वाला मॉडल है जो सुपरवाइज्ड फाइन-ट्यूनिंग को रिपेयर-आधारित पॉलिसी ऑप्टिमाइज़ेशन और डायरेक्ट प्रेफरेंस ऑप्टिमाइज़ेशन के साथ जोड़कर वेरीफिएबल TLA+ स्पेसिफिकेशन के संश्लेषण में महत्वपूर्ण सुधार करता है, जो TLC मॉडल चेकर को एक प्रत्यक्ष रिवॉर्ड सिग्नल के रूप में उपयोग करके एक होल्ड-आउट बेंचमार्क पर 30% पास रेट प्राप्त करता है।

Eric Spencer, Arslan Bisharat, Brian Ortiz, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Laufer (…)2026-06-05

← पिछला अगला →