AIBullisharXiv โ CS AI ยท 5h ago6/10
๐ง
Compliance-by-Construction Argument Graphs: Using Generative AI to Produce Evidence-Linked Formal Arguments for Certification-Grade Accountability
Researchers propose a compliance-by-construction architecture that integrates Generative AI with structured formal argument representations to ensure accountability in high-stakes decision systems. The approach uses typed Argument Graphs, retrieval-augmented generation, validation constraints, and provenance ledgers to prevent AI hallucinations while maintaining traceability for regulatory compliance.