Hirtz, T., Jafarrahmani, F., Sagueni, A., Zhou, X., Deng, W., & Zhang, L. (2026). Sage: Formalization with Semantic Correction. https://omanscience.com/ar/articles/sage-formalization-with-semantic-correction