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), 38129–38136. https://doi.org/10.1609/aaai.v40i44.41151