formal validation 1large language models 1neuro-symbolic systems 1requirements engineering 1uncertainty scoring 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.SE2026
Model-Driven Requirements Configuration with Three-Valued Uncertainty Scoring
Ahmed Ibrahim
The paper proposes a neuro‑symbolic architecture that combines a large language model with a deterministic symbolic validator to ensure structural correctness of automatically gene…
cs.SE2026
Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
Ahmed F. Ibrahim
The Object-Oriented Method for Requirements Authoring and Management (OOMRAM) is a requirements reuse framework that relies on exact identifier matching and rigid templates, limiti…