cs.SE पेपर | Gist.Science

Chiral Analysis of Smart Contracts: Detecting Vulnerabilities from Relational Inconsistencies Across Business Paths

यह शोध पत्र "कायरल एनालिसिस" (chiral analysis) को प्रस्तुत करता है, जो कि 'कायरलडिटेक्टर' (ChiralDetector) टूल में कार्यान्वित एक रिलेशनल स्टैटिक एनालिसिस मॉडल है, जो सिमेंटिक रूप से युग्मित बिजनेस पाथ्स के बीच विसंगतियों की पहचान करके स्मार्ट कॉन्ट्रैक्ट कमजोरियों का पता लगाता है, जिससे प्रभावी रूप से उन जटिल लॉजिक बग्स का अनावरण होता है जिन्हें पारंपरिक सिंगल-फंक्शन एनालाइजर्स नहीं पकड़ पाते हैं।

Yue Xue2026-07-21

🤖 AI

Autoresearch with Coding Agents: Generalizers and Metric-Maximizers on Quran Recitation Data

यह शोध पत्र प्रदर्शित करता है कि जहाँ स्वायत्त कोडिंग एजेंट कुरान पाठ (recitation) कार्यों पर मानव-निर्मित समाधानों से बेहतर प्रदर्शन कर सकते हैं, वहीं वे विविध व्यवहार प्रदर्शित करते हैं जहाँ कुछ सामान्यीकरण योग्य एल्गोरिदम को प्राथमिकता देते हैं जबकि अन्य रटने के माध्यम से मूल्यांकन मेट्रिक्स का शोषण करते हैं, एक ऐसी खामी जिसे होल्ड-आउट टेस्ट सेट पेश करके कम किया जाता है।

Nursultan Askarbekuly, Mohamad Al Mdfaa, Ahmed Helaly, Gonzalo Ferrer, Manuel Mazzara2026-07-21

💻 computer science

Testing Retrieval-Augmented Generation Systems with Chunk Coverage

यह शोधपत्र 'चंक कवरेज' (Chunk Coverage) को प्रस्तुत करता है, जो रिट्रीवल-ऑगमेंटेड जनरेशन (Retrieval-Augmented Generation) प्रणालियों में परीक्षण चयन के मूल्यांकन और मार्गदर्शन के लिए एक ऑरेकल-स्वतंत्र (oracle-independent) मीट्रिक है, जो संदर्भ उत्तरों की आवश्यकता के बिना रिट्रीवल स्पेस के अन्वेषण को महत्वपूर्ण रूप से तेज करता है और दोष पहचान (fault detection) में सुधार करता है।

Jinhan Kim, Samuele Pasini, Paolo Tonella2026-07-21

🤖 AI

TRIM: Reducing AI-Generated CodeSlop via Agent Trajectory Minimization

यह शोध पत्र TRIM को प्रस्तुत करता है, जो एक ऐसा एल्गोरिदम है जो एआई-जनरेटेड कोड में "CodeSlop"—जो अत्यधिक विस्तृत एजेंट सर्च ट्रेजेक्टरीज के कारण होने वाले अनावश्यक संपादनों के संचय से उत्पन्न होता है—को कम करता है, जिससे उन ट्रेजेक्टरीज को न्यूनतम करके रेडंडेंसी (अनावश्यकता) को 17.9%–32.9% तक कम किया जाता है, जिसमें प्रदर्शन में नगण्य गिरावट और मौजूदा बेसलाइनों की तुलना में आधे सत्यापन लागत का उपयोग होता है।

Alex Mathai, Shobini Iyer, Aleksandr Nogikh, Petros Maniatis, Franjo Ivancic, Junfeng Yang, Baishakhi Ray2026-07-21

💬 NLP

VEHBench: A Stage-Local Diagnostic Benchmark for LLM-Assisted Vibration Energy Harvester Design

यह शोध पत्र VEHBench प्रस्तुत करता है, जो एक नवीन नैदानिक बेंचमार्क है जिसमें 763 साहित्य-आधारित कार्य शामिल हैं जो कंपन ऊर्जा हारवेस्टर (vibration energy harvester) डिजाइन के चार विशिष्ट चरणों में LLMs का मूल्यांकन करते हैं, जिससे यह पता चलता है कि मॉडल का प्रदर्शन अत्यधिक चरण-निर्भर है और इंजीनियरिंग AI के लिए एक वर्कफ़्लो-जागरूक दृष्टिकोण की आवश्यकता है।

Depeng Su, Yuyu Luo, Guobiao Hu2026-07-21

💬 NLP

SWE-Pruner Pro: The Coder LLM Already Knows What to Prune

SWE-Pruner Pro एक हल्के हेड (lightweight head) का उपयोग करके कोडिंग एजेंटों के आंतरिक निरूपणों (internal representations) का लाभ उठाकर अप्रासंगिक टूल आउटपुट को सीधे काट देता है, जिससे बिना किसी अलग क्लासिफायर की आवश्यकता के महत्वपूर्ण टोकन बचत और बेहतर कार्य प्रदर्शन प्राप्त होता है।

Yuhang Wang, Yuling Shi, Shaoqiu Zhang, Jialiang Liang, Shilin He, Siyu Ye, Yuting Chen, Kai Cai, Xiaodong Gu2026-07-21

💻 computer science

Extracting Database Access-Control Policies From Web Applications

यह शोध पत्र ओटे (Ote) को प्रस्तुत करता है, जो एक ऐसा टूल है जो रूबी ऑन रेल्स (Ruby on Rails) वेब अनुप्रयोगों से एक्सेस-कंट्रोल नीतियों को स्वचालित रूप से निकालने और उनका सारांश तैयार करने के लिए कॉनकोलिक निष्पादन (concolic execution) का उपयोग करता है, जो अंतर्निहित, तदर्थ (ad hoc) सुरक्षा कार्यान्वयन की त्रुटि-पूर्ण प्रकृति को संबोधित करता है और नीति त्रुटियों का पता लगाने में सक्षम बनाता है।

Wen Zhang, Dev Bali, Jamison Kerney, Aurojit Panda, Scott Shenker2026-07-20

💻 computer science

Not All Tokens Matter: Data-Centric Optimization for Efficient Code Summarization

यह शोध पत्र प्रदर्शित करता है कि कुशल कोड सारांशीकरण (code summarization) के लिए समान न्यूनीकरण (uniform reduction) के बजाय भाषा-विशिष्ट टोकन क्यूरेशन रणनीतियों की आवश्यकता होती है, जो यह प्रकट करता है कि एब्स्ट्रैक्ट सिंटैक्स ट्री (Abstract Syntax Trees) जावा में प्रदर्शन को महत्वपूर्ण रूप से बढ़ाते हैं जबकि फंक्शन सिग्नेचर (Function Signatures) पायथन के लिए इष्टतम हैं, जो डेटा-केंद्रित अनुकूलन में क्रॉस-लैंग्वेज ट्रांसफ़रेबिलिटी की धारणा को चुनौती देता है।

Saima Afrin, Zaiyu Cheng, Tushar Sharma, Alexander Serebrenik, Massimiliano Di Penta, Antonio Mastropaolo2026-07-20

💻 computer science

Package Managers Ã la Carte: A Formal Model of Dependency Resolution

यह शोध पत्र पैकेज कैलकुलस (Package Calculus) को प्रस्तुत करता है, जो विभिन्न प्रोग्रामिंग इकोसिस्टम्स में पैकेज प्रबंधकों (package managers) की विविध सिमेंटिक्स को एकीकृत करने के लिए एक औपचारिक मॉडल है ताकि सटीक क्रॉस-लैंग्वेज डिपेंडेंसी अभिव्यक्ति सक्षम की जा सके और सप्लाई-चेन विश्लेषण में सुधार किया जा सके।

Ryan Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, Anil Madhavapeddy2026-07-20

💻 computer science

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations

यह शोध पत्र एक लीन 4-मैकेनाइज्ड कैलकुलस (Lean 4-mechanized calculus) और एक ड्यूल-प्लेन सिस्टम ("हर्डी-गर्डी") प्रस्तुत करता है जो अविश्वसनीय LLMs को प्रोग्रामिंग भाषाओं के बीच स्व-प्रमाणित, फिडेलिटी-ग्रेडेड अनुवाद उत्पन्न करने में सक्षम बनाता है, यह सुनिश्चित करते हुए कि एक निरंतर विकसित होता, मानव-सत्यापित ट्रस्ट ग्राफ निरंतर बढ़ती आश्वासन के साथ निर्णायक प्रोग्राम प्रश्नों पर अभिसरित (converge) होता है।

Christoph Kirsch2026-07-20

← पिछला अगला →