TY  - RPRT
TI  - Sage: Formalization with Semantic Correction
AU  - Thomas Hirtz
AU  - Farzad Jafarrahmani
AU  - Abdelmouksit Sagueni
AU  - Xiang Zhou
AU  - Wenping Deng
AU  - Liang Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2609.35790
ID  - 2609.35790
ER  -