1090 पेपर
यह शोध पत्र यह स्थापित करता है कि रोबस्ट प्रोबेबिलिस्टिक बिसिमिलैरिटी (robust probabilistic bisimilarity), ट्रांज़िशन प्रोबेबिलिटी परटर्बेशन्स (transition probability perturbations) के तहत प्रोबेबिलिस्टिक बिसिमिलैरिटी दूरियों की निरंतरता (continuity) के लिए एक आवश्यक और पर्याप्त स्थिति है, जिससे न्यूनतम कम्प्यूटेशनल ओवरहेड के साथ निरंतरता को निर्धारित करने के लिए एक पॉलिनॉमियल-टाइम एल्गोरिदम सक्षम होता है।
यह शोध पत्र वेरीफिएबल फॉर्मलाइजेशन एंड रिपेयर पाइपलाइन (VFR-LLM) को प्रस्तुत करता है, जो एक संसाधन-जागरूक न्यूरो-सिंबोलिक फ्रेमवर्क है जो समस्याओं को नियत समाधान (deterministic solving) के लिए टाइप किए गए बाधाओं (typed constraints) में अनुवादित करता है, और यह प्रदर्शित करता है कि यह स्थानीय छोटे भाषा मॉडलों (small language models) पर संरचित तर्क कार्यों के लिए बार-बार सैंपलिंग विधियों की तुलना में सटीकता और दक्षता में काफी बेहतर प्रदर्शन करता है।
यह शोध पत्र "मर्ज-विड्थ" (merge-width) को प्रस्तुत करता है, जो एक एकीकृत संरचनात्मक ग्राफ पैरामीटर है जो ट्रेewidth और ट्विन-विड्थ जैसे मापों को समाहित करता है, और यह सिद्ध करता है कि प्रथम-क्रम मॉडल चेकिंग (first-order model checking), सीमित मर्ज-विड्थ वाले ग्राफ वर्गों पर फिक्स्ड-पैरामीटर ट्रैक्टेबल (fixed-parameter tractable) है, जिससे बाउंडेड एक्सपेंशन और बाउंडेड ट्विन-विड्थ दोनों ढांचों के प्रमुख परिणामों का सामान्यीकरण होता है।
यह शोधपत्र ओवरलैपिंग ब्रह्मांडों (overlapping universes) पर परिभाषित परिमित क्लोजर सिस्टम्स के कंजर्वेटिव ग्लोबलाइजेशन (conservative globalization) के लिए एक गणनीय, परिमित अवरोध मानदंड स्थापित करता है, यह सिद्ध करते हुए कि एक वैश्विक यथार्थ (global realization) तभी अस्तित्व में होता है जब स्थानीय क्लोजर्स के प्रसार के दौरान कोई चार्ट-दृश्यमान अवरोध (chart-visible obstructions) उत्पन्न न हो, जबकि साथ ही इंडेक्स्ड ट्रुथ स्पेस और क्लोजर परिणामों के बीच संरचनात्मक संबंध का भी अन्वेषण करता है।
यह शोध पत्र यह सिद्ध करके कि उच्च-क्रम बेंचमार्क के एक विशिष्ट सिंटैक्टिक उपवर्ग के लिए निपको के HRSs और एक बीटा-प्रथम रणनीति के तहत रीराइटिंग (rewriting) एक समान हैं, TermCOMP में एक नए HRS उपश्रेणी के लिए एक औपचारिक आधार स्थापित करता है, जिससे अधिक उपकरणों को टर्मिनेशन विश्लेषण में प्रतिस्पर्धा करने में सक्षम बनाया जा सके।
यह शोध पत्र यह सिद्ध करके कि कोई भी सीमित परिमित खंड मॉस-पेडर्सन सुसंगतता मानदंड (Moss-Pedersen coherence criterion) का स्थान नहीं ले सकता है, क्योंकि लघुतम सुसंगतता उल्लंघन (coherence violation) की लंबाई अनिश्चित रूप से लंबी हो सकती है, यह प्रमाणित करता है कि परिमित सामाजिक निर्णय ढांचों (finite social decision frames) में सख्त बहुमत तर्क (strict majority reasoning) को परिमित रूप से स्वयंसिद्ध (finitely axiomatizable) नहीं किया जा सकता है।
यह शोध पत्र एक एकीकृत ढांचे को प्रस्तुत करता है जो LOLA स्ट्रीम विनिर्देश भाषा के भीतर रनटाइम सत्यापन और मॉडल-आधारित निदान को एकीकृत करता है ताकि अलग टूलचेन की आवश्यकता के बिना निरंतर, ऑनलाइन दोष स्थानीयकरण के साथ-साथ पहचान को सक्षम बनाया जा सके।
यह शोधपत्र संक्षिप्त क्रिप्टोग्राफिक प्रमाणपत्र उत्पन्न करके विश्वसनीय एजेंटिक एआई (agentic AI) के लिए एक रूपरेखा प्रस्तावित करता है जो गणितीय रूप से यह सिद्ध करते हैं कि एक एजेंट के कार्य औपचारिक रूप से निर्दिष्ट नीतियों का अनुपालन करते हैं, जिससे पुन: निष्पादन या एजेंट में विश्वास के बिना स्वतंत्र सत्यापन सक्षम होता है।
यह शोधपत्र सामाजिक निर्णय ढांचों (social decision frames) का उपयोग करते हुए सीमित मतदाताओं के लिए सख्त बहुमत तर्क (strict majority reasoning) हेतु एक सुसंगतता मानदंड और एक सुदृढ़, पूर्ण तर्क स्थापित करता है, यह प्रदर्शित करते हुए कि ये निर्णय सटीक रूप से परिमित योज्य मापों (finitely additive measures) द्वारा निरूपित किए जा सकते हैं और पैट्रिक सप्स के एक शास्त्रीय प्रमेय को सुधारने तथा सामान्य सख्त बहुमत नियम को चित्रित करने के लिए इन निष्कर्षों को लागू करता है।
यह शोध पत्र एक उच्च-निष्ठा वाले अनरियल इंजन 5 (Unreal Engine 5) वातावरण के भीतर s(CASP) उत्तर सेट प्रोग्रामिंग प्रणाली का उपयोग करके एक प्रतीकात्मक, व्याख्या योग्य स्वायत्त यूएवी (UAV) एजेंट का प्रस्ताव और मूल्यांकन करता है, जो जटिल, बाधा-आधारित कार्यों को करने और बिना पुनरप्रशिक्षण के विफलताओं के प्रति गतिशील रूप से अनुकूलित होने की अपनी क्षमता को प्रदर्शित करता है।