Diagram formalization enhanced multi-modal geometry problem solver

Authors: Zeren Zhang^*, Jo-Ku Cheng^*, Jingyang Deng, Lu Tian, Jinwen Ma, Ziran Qin, Xiaokai Zhang, Na Zhu, Tuo Leng

^*These authors contributed equally to this work.