@article{
yang2026bridging,
title={Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving},
author={Tianyun Yang and Yunwen Li and Ziniu Li and Zhihang Lin and Ruoyu Sun and Tian Ding},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2026},
url={https://openreview.net/forum?id=6eaWuhhdi8},
note={}
}