Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization
DGX agentarXiv:2609.39228v1 Announce Type: new Abstract: We present FYAN, a human--AI harness for document-level mathematical formalization. Rather than treating theorems in isolation, FYAN coordinates an end-