TY  - RPRT
TI  - Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
AU  - Tianyun Yang
AU  - Yunwen Li
AU  - Ziniu Li
AU  - Zhihang Lin
AU  - Ruoyu Sun
AU  - Tian Ding
PY  - 2025
UR  - https://arxiv.org/abs/2508.09099
ID  - 2508.09099
ER  -