TY  - RPRT
TI  - Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization
AU  - Wei Zhao
AU  - Yangshuo Zou
AU  - Chengxiang Ding
AU  - Yifan Wu
AU  - Xuchuan Wang
AU  - Zimu Mao
AU  - Lei Zhang
AU  - Tao Luo
PY  - 2026
UR  - https://arxiv.org/abs/2609.39228
ID  - 2609.39228
ER  -