Qian, J., Dong, Y., Li, Y., Zhu, H., Gu, B., & Li, G. (2026). Self-Spec Verifiable Code Generation. https://omanscience.com/ar/articles/self-spec-verifiable-code-generation