Zhao, X. 2026. Composable Assurance for AI Alignment: A Framework for Propagating Formal Safety Properties Through MLOps. Proceedings of the AAAI Conference on Artificial Intelligence. 40, 44 (Mar. 2026), 38129–38136. DOI:https://doi.org/10.1609/aaai.v40i44.41151.