Marcus J. Min

works on

autoformalization 1 formal knowledge bases 1 machine learning 1 natural language processing 1 theory formalization 1

From the 1 of 2 linked papers with an AI index.

collaborators

Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases

Marcus J. Min, Mike He, Zhaoyu Li +5

The paper proposes shifting autoformalization from isolated statements to theory-level, aiming to automatically translate whole bodies of mathematical knowledge—including axioms, d…