GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training - Xia, Renqiu; li, mingsheng; Ye, Hancheng; Wu, Wenjie; Zhou, Hongbin; Yuan, Jiakang; Peng, Tianshuo; Cai, Xinyu; Yan, Xiangchao; Wang, Bin; He, Conghui; Shi, Botian; et al. (International Conference on Learning Representations, 2025)