AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning - Ping, Bowen; Luo, Minnan; Dang, Zhuohang; Wang, Chenxi; Jia, Chengyou (International Conference on Learning Representations, 2026)