@misc{indiciae336f72f38f03,
  title = {Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean},
  author = {Linbin Tang and Jingyan You and Zilin Kang and Hanzhang Liu and Sophia Zhang and Zenan Li and Chenrui Cao and Liangcheng Song and Jiaao Wu and Xian Zhang and Fan Yang},
  year = {2026},
  url = {https://arxiv.org/abs/2607.19374},
  note = {Source identifier: 2607.19374}
}