Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Explainable Artificial Intelligence (XAI)
Abstract
This paper presents Evidence-Grounded Verification (EGV), a modular framework for explainable hallucination detection in large language models. EGV decomposes model outputs into atomic claims, retrieves independent evidence, performs fine-grained four-way verification (Supported, Partially Supported, Contradicted, Unverifiable), and generates template-constrained explanations that are causally linked to the underlying evidence. Unlike most existing detectors that output only a scalar score or binary label, EGV treats explainability as a core architectural requirement. The framework is designed to run on consumer hardware using freely available models. A pilot study on 300 items (600 claims) from the HaluEval QA benchmark (using oracle evidence) compares three verification backends. Results show that a hybrid decision rule combining an off-the-shelf NLI model with simple lexical and length-based features substantially outperforms pure NLI (F1 rises from 3.5% to 65.6%), while a counterfactual evidence-swap test achieves a faithfulness score of 78.0%. The paper provides a full evaluation protocol, an honest analysis of limitations, and clear directions for future validation. This is a Methodology / Framework paper intended as a practical starting point for research on transparent, evidence-grounded hallucination detection.
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
The ongoing work building a Raspberry Pi cluster consisting of 300 nodes is presented, with potential use cases being an inexpensive and green test bed for cloud computing research and a robust and mobile data center for operating in adverse environments.
P. Abrahamsson, S. Helmer, Nattakarn Phaphoom et al.· IEEE International Conferenc...· 110 citations· ⚡7
Objective There is dearth of information on the timeliness of antenatal care (ANC) uptake. This study aimed to determine the timely ANC uptake by a medically trained provider (MTP) as per the World Health Organization (WHO) recommendations and the country guideline. Methods Cross-sectional survey was done with 2,731 wo...
B. Sarker, Musfikur Rahman, T. Rahman et al.· PLoS ONE· 89 citations· ⚡7