cs.SE पेपर | Gist.Science

Stop Means Stop: Measuring and Repairing the Enforcement Gap in Agent-Framework Control Primitives

यह शोध पत्र छह प्रमुख LLM-एजेंट फ्रेमवर्क में एक महत्वपूर्ण प्रवर्तन अंतराल (enforcement gap) को उजागर करता है जहाँ अप्रूवल गेट्स और टाइमआउट जैसे नियंत्रण प्रिमिटिव्स, पॉज़ या कैंसिलेशन के दौरान होने वाले साइड इफेक्ट्स को रोकने में विफल रहते हैं, और SOUNDGATE का प्रस्ताव करता है, जो एक मैकेनिकल रूप से सत्यापित, उच्च-प्रदर्शन वाला रस्ट-आधारित गेट है जो विविध फ्रेमवर्क्स में सभी साइड इफेक्ट्स के पूर्ण मध्यस्थता (complete mediation) की गारंटी देता है।

Sajjad Khan2026-07-20

💻 computer science

Verified LLM-Driven Synthesis for Concept Design

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

Alcino Cunha2026-07-20

💻 computer science

Ciphertext- and Polynomial-Level Optimization for Fully Homomorphic Encryption

यह शोधपत्र Recifhe को प्रस्तुत करता है, जो एक नवीन मल्टी-लेवल कंपाइलर है जो सिफरटेक्स्ट स्तर पर वैश्विक अनुकूलन (ग्लोबल ऑप्टिमाइजेशन) करने और सूक्ष्म-स्तरीय बहुपद (पॉलीनोमियल) स्तर पर अनावश्यक गणनाओं को समाप्त करने द्वारा 1.25x की गति वृद्धि प्राप्त करता है।

Seongho Kim, Heelim Choi, Jaemin Kim, Seonyoung Cheon, Dongkwan Kim, Jaeho Lee, Hoyun Youm, Dongyoon Lee, Hanjun Kim, Yo (…)2026-07-20

💻 computer science

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis

GapForge एक लक्षित LLM-आधारित कंपाइलर फज़िंग तकनीक है जो कम कवर की गई फाइलों को प्राथमिकता देकर, पाथ-डिफरेंस विश्लेषण के माध्यम से सूक्ष्म ट्रिगरिंग आवश्यकताओं का अनुमान लगाकर और प्रॉम्प्ट्स को पुनरावृत्ति रूप से संश्लेषित करके लॉन्ग-टेल कवरेज अंतराल को व्यवस्थित रूप से पहचानती और भरती है, जिससे यह GCC और LLVM पर कवरेज और बग खोज में मौजूदा तरीकों से काफी बेहतर प्रदर्शन करती है।

Mingxuan Zhu, Qingyuan Liang, Junjie Chen, Zhihong Xue, Dan Hao2026-07-20

💻 computer science

Making Agent-Mediated Contributions Governable: A Project-Level Governance Manifest for Open-Source AI Collaboration

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

Jinjin Gao, Luyang Li, Shufen Guo, Ligang He, Xiaoning Sun2026-07-20

💻 computer science

READU: Inconsistency-Driven Just-in-Time Detection and Repair of README Bugs

READU एक विसंगति-संचालित तकनीक है जो दस्तावेज़ और सोर्स कोड या बाहरी निर्भरताओं के बीच विसंगतियों की पहचान करके README बग्स का स्वचालित रूप से पता लगाती है और उन्हें ठीक करती है, जिससे उच्च सटीकता और कम लागत प्राप्त होती है और यह पता लगाए गए अधिकांश मुद्दों को सफलतापूर्वक ठीक करने में सक्षम है।

Doehyun Baek, Kilian Krampf, Michael Pradel2026-07-20

💻 computer science

In the Driver's Seat: A Multi-Company Study on the Reality of Autonomous Driving System Testing

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

Qunying Song, Yuan Gao, Johannes Betz, Dietmar Pfahl, Mohammad Reza Mousavi, Federica Sarro2026-07-20

🤖 AI

Agentic Synthesis against Counterexample-Supplemented Sketches

यह शोध पत्र "एजेंटिक सिंथेसिस अगेंस्ट काउंटरएग्जांपल-सप्लीमेंटेड स्केचेस" (Agentic Synthesis against Counterexample-Supplemented Sketches) प्रस्तुत करता है, जो एक रिपॉजिटरी-नेटिव विधि है जिसमें मानव-अनुमोदित नीति सुधारों को संचित उदाहरणों के बजाय एक विकसित होते कोड स्केच में एकीकृत किया जाता है, जो यह प्रदर्शित करता है कि यह दृष्टिकोण पारंपरिक रीप्ले-आधारित पुनर्जनन की तुलना में डेवलपर के प्रयास को कम करता है और अनदेखे मामलों में सीखी गई नियमों के हस्तांतरण में सुधार करता है।

Muness Castle, Eric Rubeck2026-07-20

💻 computer science

Trans-Domain Digital Twin: Conceptual Foundations, Architecture, and Research Outlook

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

Mansoorali Amiri2026-07-20

💻 computer science

A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)

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

Giacomo Boldini, Luca Negrini, Luca Olivieri, Pietro Ferrara2026-07-20

← पिछला अगला →