AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
Geometry problem solving presents distinctive challenges in artificial intelligence, requiring exceptional multimodal comprehension and rigorous mathematical reasoning capabilities. Existing approaches typically fall into two categories: neural-based and symbolic-based methods, both of which exhibit…