Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization

arXiv:2609.39228 · cs.AI · Submitted 2026-09-30 · Read on arXiv

cs.AI

Submitted: 2026-09-30

Updated: 2026-09-30

Related papers