1 paper
Wei Zhao, Yangshuo Zou, Chengxiang Ding +5
We present FYAN, a human--AI harness for document-level mathematical formalization. Rather than treating theorems in isolation, FYAN coordinates an end-to-end workflow spanning spe…