X. Zhao, “Composable Assurance for AI Alignment: A Framework for Propagating Formal Safety Properties Through MLOps”, AAAI, vol. 40, no. 44, pp. 38129–38136, Mar. 2026.