Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization
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 specification, proof planning, logical review, Lean proof construction, knowledge curation, and validation, with support for independent superv...
Wei Zhao, Yang-Shuo Zou, Cheng-Xiang Ding et al.
· 0 citations