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