Zhao, Xiaofei. 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-36. https://doi.org/10.1609/aaai.v40i44.41151.