FormalASR: End-to-End Spoken Chinese to Formal Text. - Wanyi Ning; Yinshang Guo; Haitao Qian; Jiyuan Cheng; Weiyuan Feng; Yufei Zhang (CoRR, 2026)