Zhao, X. Composable Assurance for AI Alignment: A Framework for Propagating Formal Safety Properties Through MLOps. AAAI 2026, 40, 38129-38136.