TY  - RPRT
TI  - Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language
AU  - Zhicheng Hui
AU  - Lihan Xie
AU  - Xingzhi Qi
AU  - Zhehao Li
AU  - Yingjun Lan
AU  - Qinxiang Cao
PY  - 2026
UR  - https://arxiv.org/abs/2606.24443
ID  - 2606.24443
ER  -