GitHub repository: lupantech/InterGPS
Primary language: Python
Description: Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"