Theory-Level Autoformalization: AI That Formalizes Entire Theories, Not Just Isolated Statements
A new arXiv position paper from researchers argues for a shift in AI autoformalization from single statements to complete theories—including axioms, definitions, and lemmas—to create unified, machine-verifiable formal knowledge bases. This could transform how complex knowledge in mathematics, law, and science is structured and validated.
