Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages

arXiv:2604.21263v1 Announce Type: new Abstract: \textbf{Background:} Regulatory frameworks for AI in healthcare, including the EU AI Act and FDA guidance on AI/ML-based medical devices, require clinical decision support to demonstrate not only accuracy but auditability. Existing formal languages...