TY  - RPRT
TI  - Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
AU  - Linbin Tang
AU  - Jingyan You
AU  - Zilin Kang
AU  - Hanzhang Liu
AU  - Sophia Zhang
AU  - Zenan Li
AU  - Chenrui Cao
AU  - Liangcheng Song
AU  - Jiaao Wu
AU  - Xian Zhang
AU  - Fan Yang
PY  - 2026
UR  - https://arxiv.org/abs/2607.19374
ID  - 2607.19374
ER  -