🤖 AI

BODHI: Precise OS Kernel Specification Inference

यह शोध पत्र BODHI को प्रस्तुत करता है, जो एक डोमेन नॉलेज प्रॉम्प्टिंग विधि है जो एक संरचित C-से-पायथन अनुवाद गाइड को शामिल करके ऑपरेटिंग सिस्टम कर्नेल के लिए सटीक औपचारिक विनिर्देशों (formal specifications) को स्वचालित रूप से उत्पन्न करने में लार्ज लैंग्वेज मॉडल्स की सटीकता में महत्वपूर्ण सुधार करती है, जिससे OSV-Bench बेंचमार्क पर 96.73% तक Pass@1 प्राप्त होता है।

Zhiming Chang, Ziyang Li2026-05-26
🤖 AI

KT4EQG: Personalized Exercise Question Generation via Knowledge Tracing

यह शोध पत्र KT4EQG का प्रस्ताव करता है, जो एक व्यक्तिगत शैक्षिक प्रश्न निर्माण (Educational Question Generation) ढांचा है जो व्यक्तिगत छात्रों के लिए इष्टतम ज्ञान अवधारणाओं (knowledge concepts) का चयन करने के लिए नॉलेज ट्रेसिंग (Knowledge Tracing) को एकीकृत करता है और अनुकूलित अभ्यास प्रश्न उत्पन्न करने के लिए एक LLM का लाभ उठाता है, जिससे XES3G5M और MOOCRadar डेटासेट पर प्रदर्शित लर्निंग इम्प्रूवमेंट को अधिकतम किया जा सके।

Xinyi Gao, Qiucheng Wu, Lu Ding, Q. Vera Liao, Kaizhi Qian, Ying Xu, Shiyu Chang, Yang Zhang2026-05-26
🤖 AI

Operationalizing Reconstructive Authority: Runtime Construction, Dependency Resolution, and Execution Gating in Autonomous Agent Systems

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

Marcelo Fernandez - TraslaIA2026-05-26
🤖 AI

MEMOR-E: In-Context and Fine-Tuned LLM Personalization for Alzheimer's Assistive Robotics

यह शोध पत्र MEMOR-E को प्रस्तुत करता है, जो एक मोबाइल चतुष्पाद रोबोट (क्वाड्रुपेड रोबोट) है, जो एक फाइन-ट्यून्ड और इन-कॉन्टेक्स्ट लर्निंग-एन्हांस्ड लार्ज लैंग्वेज मॉडल से लैस है, जो अल्जाइमर के रोगियों और उनके देखभाल करने वालों के लिए व्यक्तिगत, पारदर्शी और विश्वसनीय सहायक सहायता प्रदान करने हेतु स्टेज-अवेयर, नॉन-डायग्नोस्टिक संज्ञानात्मक सारांश उत्पन्न करता है।

Maissa Abir Smaili, Eren Sadikoglu, Ransalu Senanayake2026-05-26
🤖 AI

A Dynamical Framework for Cognitive Processes Based on Transformations and Semantic Equivalence

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

Carlo Cattani, Dioneia Motta Monte-Serrat2026-05-26✓ Author reviewed
🤖 AI

Right-Sizing Communication and Recommendation Set Size in AI-Assisted Search

यह शोध पत्र एक बेयसियन अनुशंसा प्रणाली (Bayesian recommendation system) में उपयोगकर्ता संचार लागत और एआई खोज लागत के बीच के समझौते का प्रतिरूपण करता है, जो यह प्रदर्शित करता है कि इष्टतम इंटरेक्शन रणनीति इन तंत्रों की सापेक्ष लागतों द्वारा शासित होती है, जिससे संचार, खोज, या एक हाइब्रिड दृष्टिकोण को प्राथमिकता देने वाले विशिष्ट शासन (regimes) उत्पन्न होते हैं, जबकि विशिष्ट सैंपलिंग वितरण केवल हाइब्रिड मध्य-मार्ग शासन के अस्तित्व को निर्धारित करता है।

Jing Dong, Prakirt Raj Jhunjhunwala, Yash Kanoria2026-05-26
🤖 AI

AI-Driven Controlled Environment Agriculture as Resilient Infrastructure for U.S. Fresh-Produce Supply Chains

यह शोध पत्र CEA-RIF 2.0 ढांचे का प्रस्ताव करता है ताकि AI-संचालित नियंत्रित पर्यावरण कृषि (CEA) का मूल्यांकन एक सार्वभौमिक खाद्य-सुरक्षा समाधान के रूप में नहीं, बल्कि एक लक्षित, लचीले क्षेत्रीय बुनियादी ढांचे के रूप में किया जा सके, जिसे जलवायु और प्रणालीगत कमजोरियों के विरुद्ध अमेरिकी ताज़ा-उत्पाद आपूर्ति श्रृंखलाओं को प्रभावी ढंग से सुदृढ़ करने के लिए ऊर्जा एकीकरण, साइबर-भौतिक विश्वसनीयता और आर्थिक व्यवहार्यता सहित सात आयामों में मापने योग्य परिचालन सुधार प्रदर्शित करने चाहिए।

Andrii Vakhnovskyi2026-05-26
🤖 AI

SODE: Analyzing Social Dynamics in LLM Agents

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

Inseo Jung, Yoonseok Oh, Kyungryul Back, Jinkyu Kim, Jungbeom Lee2026-05-26
🤖 AI

Stop Comparing LLM Agents Without Disclosing the Harness

यह स्थिति पत्र (position paper) तर्क देता है कि दीर्घ-अवधि वाले कार्यों (long-horizon tasks) के लिए, एजेंट निष्पादन हारनेस (agent execution harness) अक्सर अंतर्निहित भाषा मॉडल की तुलना में प्रदर्शन का एक अधिक मजबूत निर्धारक होता है, जो समुदाय से बुनियादी ढांचे के सुधारों को मॉडल सुधारों के रूप में व्यवस्थित रूप से गलत तरीके से आरोपित करने से रोकने के लिए हारनेस-जागरूक मूल्यांकन प्रोटोकॉल अपनाने का आग्रह करता है।

Yunbei Zhang, Janet Wang, Yingqiang Ge, Weijie Xu, Jihun Hamm, Chandan K. Reddy2026-05-26
🧬 biology

Machine Psychometrics: A Mathematical Psychology of Artificial Intelligence

यह शोध पत्र "मशीन साइकोमेट्रिक्स" (Machine Psychometrics) का प्रस्ताव करता है, जो कृत्रिम चेतना की बहस को दरकिनार करते हुए, एक बहुआयामी "मशीन माइंडप्रिंट" (Machine Mindprint) और तैनाती के लिए एक संगत "ट्रस्ट प्रोटोकॉल" (Trust Protocol) के माध्यम से एआई एजेंटों की अंतर्निहित व्यवहारिक और संज्ञानात्मक संरचनाओं को परिभाषित करने और उनका मूल्यांकन करने के लिए गणितीय मनोविज्ञान को लागू करता है।

Alex Bogdan, Adrian de Valois-Franklin2026-05-26