From the 1 of 1 linked paper with an AI index.
1 paper
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…