1 result found Sort:

Alpha-Innovator
GeoX Alpha-Innovator
2
28
other
2
[ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
vlm ai4math formal-languages geometry-problem-solving
Created 2024-07-11
37 commits to main branch, last one 2 months ago