[ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
语言:Python · GitHub 星标:48 · Fork:2
话题:ai4math · formal-languages · geometry-problem-solving · vlm
在 GitHub 上查看原仓库