@misc{indiciae54e29d05c62d, title = {Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver}, author = {Zeren Zhang and Jo-Ku Cheng and Jingyang Deng and Lu Tian and Jinwen Ma and Ziran Qin and Xiaokai Zhang and Na Zhu and Tuo Leng}, year = {2024}, url = {https://arxiv.org/abs/2409.04214}, note = {Source identifier: 2409.04214} }