TY  - RPRT
TI  - MechGeo: Autoformalizing and Proving Euclidean Geometry in Lean 4
AU  - Hao Shen
AU  - Junyu Guo
AU  - Tian Cui
AU  - Yuxuan Xiao
AU  - Lihong Zhi
PY  - 2026
UR  - https://arxiv.org/abs/2608.02295
ID  - 2608.02295
ER  -