测试仓库
Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
Official Implementation of EMNLP 2023 Paper - UniMath