1117 पेपर
यह शोध पत्र एक स्ट्रिंग पावर ऑपरेटर, सामान्यीकृत पारिख इमेज और समानता अपघटन के एकीकरण के माध्यम से नील्सन रूपांतरणों का विस्तार करके जटिल स्ट्रिंग समीकरणों को हल करने के लिए एक नवीन दृष्टिकोण प्रस्तुत करता है।
NL2GDS एक अभिनव ढांचा है जो प्राकृतिक भाषा हार्डवेयर विनिर्देशों को OpenLane फ्लो के माध्यम से सिंथेसाइजेबल RTL और पूर्ण GDSII लेआउट में स्वचालित रूप से अनुवादित करने के लिए लार्ज लैंग्वेज मॉडल्स का लाभ उठाता है, जिससे क्षेत्र, विलंब और शक्ति दक्षता में महत्वपूर्ण सुधार होता है और ASIC डिज़ाइन का लोकतंत्रीकरण होता है।
यह शोध पत्र SCORE को प्रस्तुत करता है, जो एक प्रतिवर्ती (reversible) प्रोग्रामिंग भाषा है जो यह सुनिश्चित करने के लिए एक प्रमाण-सहायता प्राप्त अवस्था स्थान (proof-assisted state space) का उपयोग करती है कि सभी स्टैक हेरफेर संचालन को पूर्णतः एकैकी आच्छादक फलनों (total bijective functions) के रूप में व्याख्यायित किया जाए, जिससे पारंपरिक आंशिक एकैकी (partial bijection) दृष्टिकोणों की सीमाओं को दूर किया जा सके और पूर्णतः प्रतिवर्ती मॉडलों में गणनात्मक जटिलता का अध्ययन सक्षम हो सके।
यह शोध पत्र "ओहाना ट्रीज़" (Ohana trees) पर आधारित I-कैलकुलस के लिए एक नवीन समीकरण सिद्धांत (equational theory) प्रस्तुत करता है जो छिपे हुए या अनंत चरों (variables) को ट्रैक करते हैं, इन ट्रीज़ और टेलर विस्तार (Taylor expansions) के बीच एक क्रमविनिमेय प्रमेय (commutation theorem) स्थापित करता है, और इस परिष्कृत समानता की अवधारणा को पकड़ने के लिए एक संगत गैर-इडम्पोटेंट संबंधपरक अर्थदर्शक मॉडल (non-idempotent relational denotational model) प्रदान करता है।
यह शोध पत्र एक नवीन ज्यामितीय ढांचे का प्रस्ताव करता है जो एलएलएम (LLM) तर्क को प्रतिनिधित्व स्थान (representation space) में सुचारू प्रवाह के रूप में मॉडल करता है, जो अनुभवजन्य प्रयोगों के माध्यम से यह प्रदर्शित करता है कि अगला-टोकन पूर्वानुमान मॉडलों को तार्किक अपरिवर्तनीयताओं (logical invariants) को उच्च-क्रम ज्यामिति के रूप में आत्मसात करने में सक्षम बनाता है, जिससे "स्टोकेस्टिक पैरट" (stochastic parrot) परिकल्पना को चुनौती मिलती है और मशीन समझ के अंतर्निहित एक सार्वभौमिक प्रतिनिधित्व नियम का सुझाव मिलता है।
यह शोध पत्र एक सार्वजनिक रूप से सुलभ एगडा (Agda) लाइब्रेरी प्रस्तुत करता है जो नामों और वेरिएबल बाइंडिंग को संभालने के लिए नोमिनल तकनीकों को लागू करती है, जो कठोर गणितीय औपचारिकता और व्यावहारिक ओवरहेड आवश्यकताओं के बीच सफलतापूर्वक संतुलन बनाती है।
यह शोध पत्र 'इनफिनिट पिजनहोल प्रिंसिपल' (Infinite Pigeonhole Principle) के एक नवीन को-रिकर्सिव प्रमाण और 'एक्सिओम ऑफ काउंटेबल चॉइस' (Axiom of Countable Choice) के एक ऐसे कार्यान्वयन को प्रस्तुत करके, जो बाहरी टर्मिनेशन तर्कों पर निर्भर पारंपरिक कंटीन्यूएशन-पासिंग दृष्टिकोणों के विपरीत, केवल को-इटरेशन (coiteration) के माध्यम से समाप्ति को न्यायसंगत ठहराता है, 'कॉल-सी-सी' (`callcc`) जैसे शास्त्रीय कंट्रोल ऑपरेटरों के साथ स्ट्रक्चरल को-रिकर्सन (structural corecursion) को संयोजित करने की अभिव्यंजक शक्ति को प्रदर्शित करता है।
यह शोधपत्र एकसमान यथार्थवादिता (uniform realizability) का एक नवीन ढांचा प्रस्तुत करता है जो परमाणु सूत्रों (atomic formulas) और परिमाणकों (quantifiers) के उपचार को अमूर्त बनाकर विभिन्न तार्किक व्याख्याओं को एकीकृत और सामान्यीकृत करता है, जिससे क्लेन की संख्या यथार्थवादिता (Kleene's number realizability) और शास्त्रीय यथार्थवादिता (classical realizability) जैसे शास्त्रीय और आधुनिक वेरिएंट्स दोनों को समाहित किया जा सके।
यह शोध पत्र सामान्यीकृत बीजगणितीय सिद्धांतों को प्रस्तुत करता है जो बाह्य टावरों (external towers) और स्पष्ट यूनिवर्स पॉलीमॉर्फिज्म (explicit universe polymorphism) के साथ मार्टिन-लॉफ टाइप थ्योरी के प्रारंभिक मॉडलों के रूप में अमूर्त, व्याकरण-स्वतंत्र लक्षण वर्णन प्रदान करते हैं, जिससे उनकी उच्च-स्तरीय श्रेणीगत संरचना (categorical structure) पर प्रकाश पड़ता है और वोवोड्स्की के इनिशियलिटी अनुमान (Voevodsky's initiality conjecture) से संबंधित अंतर्दृष्टि प्राप्त होती है।
यह शोध पत्र कंप्यूटर विज्ञान के परिचयात्मक पाठ्यक्रमों के लिए एक शैक्षणिक दृष्टिकोण प्रस्तावित करता है जो केवल विशिष्ट मौलिक विषयों पर ध्यान केंद्रित करने के बजाय ट्रांसिटिव क्लोजर (transitive closure) जैसे ठोस उदाहरणों के माध्यम से मौलिक प्रमाण तकनीकों और अमूर्त संरचनाओं को पढ़ाने को प्राथमिकता देता है, यह एक ऐसी विधि है जो लेखकों के स्टेफ़ानो बेरार्डी के साथ सहयोगात्मक शिक्षण अनुभव से प्रेरित है।