@misc{indiciae2c3d061b8608,
  title = {Sage: Formalization with Semantic Correction},
  author = {Thomas Hirtz and Farzad Jafarrahmani and Abdelmouksit Sagueni and Xiang Zhou and Wenping Deng and Liang Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2609.35790},
  note = {Source identifier: 2609.35790}
}