Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions Paper • 2508.03173 • Published Aug 5, 2025 • 1