@misc{indiciaed85f79c054ef,
  title = {Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization},
  author = {Wei Zhao and Yangshuo Zou and Chengxiang Ding and Yifan Wu and Xuchuan Wang and Zimu Mao and Lei Zhang and Tao Luo},
  year = {2026},
  url = {https://arxiv.org/abs/2609.39228},
  note = {Source identifier: 2609.39228}
}