242 citations
- Cisco Systems (China)CN7 papers
- Cisco CollegeUS4 papers
- The Alan Turing InstituteGB3 papers
- University of HullGB3 papers
- University of PittsburghUS3 papers
- Digital Science (United States)US2 papers
- Indian Institute of Technology KharagpurIN2 papers
- Oregon State UniversityUS2 papers
- Sri Sri UniversityIN2 papers
- Turing InstituteGB2 papers
- University of OregonUS2 papers
- University of OxfordGB2 papers
4 papers · 2 filters
Reducing Hallucinations in Large Language Models Through Integrated Self-Verification and Retrieval-Augmented Generation
Ashly Joseph
Large Language Models (LLMs) are progressively used for advanced engineering tasks, includes Computer-Aided Design (CAD) documentation, standards compliance verification, and knowl…
Enhancing Code Understanding for Impact Analysis by Combining Transformers and Program Dependence Graphs
Yanfu Yan, Nathan Cooper, Kevin Moran +3
Impact analysis (IA) is a critical software maintenance task that identifies the effects of a given set of code changes on a larger software project with the intention of avoiding…
Execution-bound advisory automation for agentic AI: a reproducible AIBOM-driven CSAF-VEX framework
Petar Radanliev, Omar Santos, Carsten Maple +1
A protocol driven framework is presented that binds SBOM and AIBOM artefacts to deterministic environment capture and structured runtime telemetry. Exploitability is computed from…
Operationalising Artificial Intelligence Bills of Materials (AIBOMs) for Verifiable AI Provenance and Lifecycle Assurance
Petar Radanliev, Omar Santos, Carsten Maple +1
Artificial Intelligence (AI) systems are increasingly dependent on complex, multi-layered software supply chains that introduce challenges for reproducibility, transparency, and se…