Search for a command to run...
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning