TY  - RPRT
TI  - Evaluating the Robustness of Proof Autoformalization in Lean 4
AU  - Zhengtao Gui
AU  - Sheng Yang
AU  - Zhouxing Shi
PY  - 2026
UR  - https://arxiv.org/abs/2606.14867
ID  - 2606.14867
ER  -