TY  - RPRT
TI  - LeanGeo: Formalizing Competitional Geometry problems in Lean
AU  - Chendong Song
AU  - Zihan Wang
AU  - Frederick Pu
AU  - Haiming Wang
AU  - Xiaohan Lin
AU  - Junqi Liu
AU  - Jia Li
AU  - Zhengying Liu
PY  - 2025
UR  - https://arxiv.org/abs/2508.14644
ID  - 2508.14644
ER  -