Logan Murphy, Wilson Sy, Rhys Balevicius, Kelsie Fung, Karenna Kung, Aren A. Babikian, Marsha Chechik · 2026 · arXiv
DOI: 10.48550/arXiv.2610.29758 · open-access PDF
सॉफ्टवेयर विकास में एआई-आधारित उपकरणों का उपयोग तेजी से बदल रहा है कि सॉफ्टवेयर का उत्पादन कैसे किया जाता है, जिससे सीमित मानव कार्यान्वयन प्रयास के साथ बड़ी मात्रा में कोड उत्पन्न किया जा सकता है. हालांकि, यह यह सुनिश्चित करने के लिए बुनियादी चुनौतियों को उठाता है कि उत्पन्न आर्टिफैक्ट्स डेवलपर्स के इरादे के अनुरूप हैं और उचित रूप से सत्यापित किए गए हैं. इस काम में, हम एआई-आधारित सॉफ्टवेयर विकास को चलाने में संरचित तर्क का उपयोग करने का प्रस्ताव करते हैं. सुरक्षा-अच्छे प्रणालियों के लिए गारंटी इंजीनियरिंग की तकनीकों से प्रेरित, हम एक भाषा को परिभाषित करते हैं जो स्पष्ट रूप से inf से संबंधित है
Machine translation (Meta M2M100); the English original follows.
The use of AI-based tools in software development is rapidly changing how software is produced, enabling large volumes of code to be generated with limited human implementation effort. However, this raises fundamental challenges for ensuring that generated artifacts are aligned with developer intent and have been appropriately validated. In this work, we propose the use of structured argumentation in driving AI-assisted software development. Inspired by techniques from assurance engineering for safety-critical systems, we define a language of justification rationales that explicitly relate inf
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.29758, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange