Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | Ibrahim, Ahmed F. |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion
von: Yu, Yunguo
Veröffentlicht: (2025)
von: Yu, Yunguo
Veröffentlicht: (2025)
Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
von: Zhang, Liao, et al.
Veröffentlicht: (2026)
von: Zhang, Liao, et al.
Veröffentlicht: (2026)
Towards Conversational Development Environments: Using Theory-of-Mind and Multi-Agent Architectures for Requirements Refinement
von: Gallaba, Keheliya, et al.
Veröffentlicht: (2025)
von: Gallaba, Keheliya, et al.
Veröffentlicht: (2025)
ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation
von: Cheng, Haowei, et al.
Veröffentlicht: (2026)
von: Cheng, Haowei, et al.
Veröffentlicht: (2026)
Bridging Requirements and Architecture: Multi-Agent Orchestration with External Knowledge and Hierarchical Memory
von: Li, Ruiyin, et al.
Veröffentlicht: (2026)
von: Li, Ruiyin, et al.
Veröffentlicht: (2026)
HalluJudge: A Reference-Free Hallucination Detection for Context Misalignment in Code Review Automation
von: Tantithamthavorn, Kla, et al.
Veröffentlicht: (2026)
von: Tantithamthavorn, Kla, et al.
Veröffentlicht: (2026)
Code Hallucination
von: Rahman, Mirza Masfiqur, et al.
Veröffentlicht: (2024)
von: Rahman, Mirza Masfiqur, et al.
Veröffentlicht: (2024)
Automatically Generating Web Applications from Requirements Via Multi-Agent Test-Driven Development
von: Wan, Yuxuan, et al.
Veröffentlicht: (2025)
von: Wan, Yuxuan, et al.
Veröffentlicht: (2025)
Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
von: Sigloch, Paul, et al.
Veröffentlicht: (2026)
von: Sigloch, Paul, et al.
Veröffentlicht: (2026)
Legal Requirements Analysis
von: Abualhaija, Sallam, et al.
Veröffentlicht: (2023)
von: Abualhaija, Sallam, et al.
Veröffentlicht: (2023)
An Empirical Investigation of Pre-Trained Deep Learning Model Reuse in the Scientific Process
von: Synovic, Nicholas M., et al.
Veröffentlicht: (2026)
von: Synovic, Nicholas M., et al.
Veröffentlicht: (2026)
HAFixAgent: History-Aware Program Repair Agent
von: Shi, Yu, et al.
Veröffentlicht: (2025)
von: Shi, Yu, et al.
Veröffentlicht: (2025)
ReusStdFlow: A Standardized Reusability Framework for Dynamic Workflow Construction in Agentic AI
von: Zhang, Gaoyang, et al.
Veröffentlicht: (2026)
von: Zhang, Gaoyang, et al.
Veröffentlicht: (2026)
Goal2Story: A Multi-Agent Fleet based on Privately Enabled sLLMs for Impacting Mapping on Requirements Elicitation
von: Zou, Xinkai, et al.
Veröffentlicht: (2025)
von: Zou, Xinkai, et al.
Veröffentlicht: (2025)
Towards Requirements Engineering for RAG Systems
von: Sporsem, Tor, et al.
Veröffentlicht: (2025)
von: Sporsem, Tor, et al.
Veröffentlicht: (2025)
ASA: Training-Free Representation Engineering for Tool-Calling Agents
von: Wang, Youjin, et al.
Veröffentlicht: (2026)
von: Wang, Youjin, et al.
Veröffentlicht: (2026)
REDO: Execution-Free Runtime Error Detection for COding Agents
von: Li, Shou, et al.
Veröffentlicht: (2024)
von: Li, Shou, et al.
Veröffentlicht: (2024)
Software Reuse in the Generative AI Era: From Cargo Cult Towards AI Native Software Engineering
von: Mikkonen, Tommi, et al.
Veröffentlicht: (2025)
von: Mikkonen, Tommi, et al.
Veröffentlicht: (2025)
Neurosymbolic Auditing of Natural-Language Software Requirements
von: Hall, Bethel, et al.
Veröffentlicht: (2026)
von: Hall, Bethel, et al.
Veröffentlicht: (2026)
Foundational Analysis of Safety Engineering Requirements (SAFER)
von: Chemo, Noga, et al.
Veröffentlicht: (2026)
von: Chemo, Noga, et al.
Veröffentlicht: (2026)
SEER: Sustainability Enhanced Engineering of Software Requirements
von: Roy, Mandira, et al.
Veröffentlicht: (2025)
von: Roy, Mandira, et al.
Veröffentlicht: (2025)
Software Dependencies 2.0: An Empirical Study of Reuse and Integration of Pre-Trained Models in Open-Source Projects
von: Yasmin, Jerin, et al.
Veröffentlicht: (2025)
von: Yasmin, Jerin, et al.
Veröffentlicht: (2025)
AIDev: Studying AI Coding Agents on GitHub
von: Li, Hao, et al.
Veröffentlicht: (2026)
von: Li, Hao, et al.
Veröffentlicht: (2026)
AgentForge: Execution-Grounded Multi-Agent LLM Framework for Autonomous Software Engineering
von: Kumar, Rajesh, et al.
Veröffentlicht: (2026)
von: Kumar, Rajesh, et al.
Veröffentlicht: (2026)
Using LLMs in Software Requirements Specifications: An Empirical Evaluation
von: Krishna, Madhava, et al.
Veröffentlicht: (2024)
von: Krishna, Madhava, et al.
Veröffentlicht: (2024)
Analysis of LLMs vs Human Experts in Requirements Engineering
von: Hymel, Cory, et al.
Veröffentlicht: (2025)
von: Hymel, Cory, et al.
Veröffentlicht: (2025)
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
von: Zheng, Xi, et al.
Veröffentlicht: (2025)
von: Zheng, Xi, et al.
Veröffentlicht: (2025)
Beyond Functional Correctness: Exploring Hallucinations in LLM-Generated Code
von: Liu, Fang, et al.
Veröffentlicht: (2024)
von: Liu, Fang, et al.
Veröffentlicht: (2024)
Hallucination in LLM-Based Code Generation: An Automotive Case Study
von: Pavel, Marc, et al.
Veröffentlicht: (2025)
von: Pavel, Marc, et al.
Veröffentlicht: (2025)
Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges
von: Lee, Yunseo, et al.
Veröffentlicht: (2025)
von: Lee, Yunseo, et al.
Veröffentlicht: (2025)
Automating the Detection of Requirement Dependencies Using Large Language Models
von: Darif, Ikram, et al.
Veröffentlicht: (2026)
von: Darif, Ikram, et al.
Veröffentlicht: (2026)
ReXCL: A Tool for Requirement Document Extraction and Classification
von: Bhattacharya, Paheli, et al.
Veröffentlicht: (2025)
von: Bhattacharya, Paheli, et al.
Veröffentlicht: (2025)
Generative AI for Requirements Engineering: A Systematic Literature Review
von: Cheng, Haowei, et al.
Veröffentlicht: (2024)
von: Cheng, Haowei, et al.
Veröffentlicht: (2024)
GenAI for Automotive Software Development: From Requirements to Wheels
von: Petrovic, Nenad, et al.
Veröffentlicht: (2025)
von: Petrovic, Nenad, et al.
Veröffentlicht: (2025)
PassionNet: An Innovative Framework for Duplicate and Conflicting Requirements Identification
von: Saleem, Summra, et al.
Veröffentlicht: (2024)
von: Saleem, Summra, et al.
Veröffentlicht: (2024)
Empirical Analysis and Detection of Hallucinations in LLM-Generated Bug Report Summaries
von: Nirujan, Hinduja, et al.
Veröffentlicht: (2026)
von: Nirujan, Hinduja, et al.
Veröffentlicht: (2026)
Eliminating Hallucination-Induced Errors in LLM Code Generation with Functional Clustering
von: Ravuri, Chaitanya, et al.
Veröffentlicht: (2025)
von: Ravuri, Chaitanya, et al.
Veröffentlicht: (2025)
Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
von: Sakharova, Marina, et al.
Veröffentlicht: (2025)
von: Sakharova, Marina, et al.
Veröffentlicht: (2025)
AI-Assisted Requirements Engineering: An Empirical Evaluation Relative to Expert Judgment
von: Levy, Oz, et al.
Veröffentlicht: (2026)
von: Levy, Oz, et al.
Veröffentlicht: (2026)
Are LLMs Reliable Code Reviewers? Systematic Overcorrection in Requirement Conformance Judgement
von: Jin, Haolin, et al.
Veröffentlicht: (2026)
von: Jin, Haolin, et al.
Veröffentlicht: (2026)
Ähnliche Einträge
-
Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion
von: Yu, Yunguo
Veröffentlicht: (2025) -
Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
von: Zhang, Liao, et al.
Veröffentlicht: (2026) -
Towards Conversational Development Environments: Using Theory-of-Mind and Multi-Agent Architectures for Requirements Refinement
von: Gallaba, Keheliya, et al.
Veröffentlicht: (2025) -
ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation
von: Cheng, Haowei, et al.
Veröffentlicht: (2026) -
Bridging Requirements and Architecture: Multi-Agent Orchestration with External Knowledge and Hierarchical Memory
von: Li, Ruiyin, et al.
Veröffentlicht: (2026)