Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Open in new window