arXiv cs.AI
· Papers
Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases
arXiv:2607.13292v1 Announce Type: new Abstract: Autoformalization translates informal natural language into formal, machine-verifiable languages. While most work focuses on individual statements, real formalization efforts are inherently theory-level: they require an entire web of axioms, definitions, and lemmas before