🤖 machine learning

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving

OptProver एक निरंतर प्रशिक्षण पाइपलाइन पेश करता है जो एक ओलंपियाड-स्तर के प्रमेय प्रवर (theorem prover) को विशेषज्ञ-क्यूरेटेड डेटा और एक विशेष प्राथमिकता शिक्षण उद्देश्य के माध्यम से अपनी तर्क क्षमताओं को स्नातक अनुकूलन (undergraduate optimization) डोमेन में सफलतापूर्वक स्थानांतरित करने में सक्षम बनाता है।

Chenyi Li, Yanchen Nie, Zhengyu Ming, Gong Zhang, Kun Yuan, Zaiwen Wen2026-04-28
💻 computer science

AIPsy-Affect: A Keyword-Free Clinical Stimulus Battery for Mechanistic Interpretability of Emotion in Language Models

यह शोध पत्र AIPsy-Affect को प्रस्तुत करता है, जो कीवर्ड-मुक्त भावनात्मक उपदेशों (vignettes) और मेल खाते तटस्थ नियंत्रणों वाला एक 480-आइटम वाला क्लिनिकल स्टिमुलस बैटरी है, ताकि भावना-विशिष्ट शब्दावली के भ्रम को समाप्त करके बड़े भाषा मॉडलों में भावना की कठोर यांत्रिक व्याख्यात्मकता (mechanistic interpretability) को सक्षम किया जा सके।

Michael Keeman2026-04-28
💻 computer science

Zoom In, Reason Out: Efficient Far-field Anomaly Detection in Expressway Surveillance Videos via Focused VLM Reasoning Guided by Bayesian Inference

यह शोध पत्र VIBES का प्रस्ताव करता है, जो एक कुशल एसिंक्रोनस फ्रेमवर्क है जो दूरस्थ वाहन विसंगतियों (far-field vehicle anomalies) को गतिशील रूप से स्थानीयकृत करने के लिए ऑनलाइन बेयसियन अनुमान (online Bayesian inference) को लक्षित विजन-लैंग्वेज मॉडल रीजनिंग (Vision-Language Model reasoning) के साथ जोड़ता है, ताकि वैश्विक वीडियो फ्रेमों को प्रोसेस करने की कम्प्यूटेशनल लागत के बिना उच्च-सटीक, व्याख्या योग्य और वास्तविक समय की एक्सप्रेसवे निगरानी प्राप्त की जा सके।

Xiaowei Mao, Bowen Sui, Weijie Zhang, Yawen Yang, Shengnan Guo, Shilong Zhao, Jiaqi Lin, Tingrui Wu, Youfang Lin, Huaiyu (…)2026-04-28
🤖 machine learning

Impact of Age Specialized Models for Hypoglycemia Classification

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

Beyza Cinar, Maria Maleshkova2026-04-28
🤖 machine learning

SFT-then-RL Outperforms Mixed-Policy Methods for LLM Reasoning

यह शोध पत्र प्रदर्शित करता है कि मानक SFT-फिर-RL पाइपलाइन वास्तव में हालिया मिश्रित-नीति (mixed-policy) विधियों से बेहतर प्रदर्शन करती है, जो यह प्रकट करता है कि इसके विपरीत पिछले दावे DeepSpeed और OpenRLHF में विशिष्ट बग्स के कारण उत्पन्न दोषपूर्ण बेसलाइन्स पर आधारित थे।

Alexis Limozin, Eduard Durech, Torsten Hoefler, Imanol Schlag, Valentina Pyatkin2026-04-28
🤖 machine learning

FAIR_XAI: Improving Multimodal Foundation Model Fairness via Explainability for Wellbeing Assessment

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

Sophie Chiang, Tom Brennan, Fethiye Irmak Dogan, Jiaee Cheong, Hatice Gunes2026-04-28
🤖 machine learning

Symmetric Equilibrium Propagation for Thermodynamic Diffusion Training

यह शोध पत्र "सिमेट्रिक इक्विलिब्रियम प्रोपेगेशन" (Symmetric Equilibrium Propagation) का प्रस्ताव करता है, जो एक स्थानीय, ऊर्जा-कुशल प्रशिक्षण पद्धति है जो एनालॉग सबस्ट्रेट्स को ग्रेडिएंट बायस को कम करने के लिए सिमेट्रिक नजिंग (symmetric nudging) का उपयोग करके सीधे ऑन-चिप डिफ्यूजन मॉडल को प्रशिक्षित करने की अनुमति देती है, जिससे जीपीयू (GPU) की तुलना में 10310^3 से 10410^4 गुना अनुमानित ऊर्जा लाभ प्राप्त होता है।

Aditi De2026-04-28
💻 computer science

Mapping License Plate Recoverability Under Extreme Viewing Angles for Oppor-tunistic Urban Sensing

यह शोध पत्र "रिकवरेबिलिटी मैप्स" (recoverability maps) प्रस्तुत करता है, जो अत्यधिक दृश्य कोणों (viewing angles) के तहत लाइसेंस प्लेट पहचान की सीमाओं को मापने के लिए सघन सिंथेटिक डिग्रेडेशन स्वीप्स (dense synthetic degradation sweeps) को बाउंड्री एरिया-अंडर-करव (boundary area-under-curve) और रिलायबिलिटी स्कोर के साथ संयोजित करने वाली एक कार्य-अज्ञेय (task-agnostic) विधि है, जो यह प्रकट करती है कि सेंसिंग ज्योमेट्री (sensing geometry), न कि रेस्टोरेशन आर्किटेक्चर (restoration architecture), रिकवरी सफलता को मुख्य रूप से निर्धारित करती है।

Igor Adamenko, Orpaz Ben Aharon, Yehudit Aperstein, Alexander Apartsin2026-04-28
💻 computer science

Query2Diagram: Answering Developer Queries with UML Diagrams

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

Oleg Baryshnikov (HSE University), Anton M. Alekseev (St. Petersburg Department of Steklov Mathematical Institute, RAS (…)2026-04-28
💻 computer science

Domain-Filtered Knowledge Graphs from Sparse Autoencoder Features

यह शोधपत्र एक विधि प्रस्तावित करता है जो भाषा मॉडलों के स्पार्स ऑटोएन्कोडर फीचर्स को एक सख्त अवधारणा ब्रह्मांड (concept universe) का निर्माण करके और स्वचालित लेबलिंग के साथ संरेखित सह-घटन (co-occurrence) एवं तंत्र ग्राफ (mechanism graphs) बनाकर, संरचित, डोमेन-फ़िल्टर्ड नॉलेज ग्राफ में रूपांतरित करता है, जिससे फ्लैट फीचर इन्वेंट्रीज़ को मॉडल ज्ञान के व्याख्यात्मक वैश्विक मानचित्रों में परिवर्तित किया जा सके ताकि तर्क की सत्यनिष्ठा (reasoning faithfulness) का ऑडिट किया जा सके।

John Winnicki, Abeynaya Gnanasekaran, Eric Darve2026-04-28