TY  - RPRT
TI  - Math Foundation Formalization Agent: A General-Purpose Approach to Formalizing Mathematical Foundations
AU  - Jiaxin Xie
AU  - Guowei Dou
AU  - Xiang Ji
AU  - Wensheng Yu
PY  - 2026
UR  - https://arxiv.org/abs/2611.02843
ID  - 2611.02843
ER  -