Composable Assurance for AI Alignment: A Framework for Propagating Formal Safety Properties Through MLOps.

Xiaofei Zhao

Browse the full AAAI paper archive.