The core code will be released soon.
Four data examples in the Geometry3K dataset are shown below:
Download the geometry problem data:
- Training data 2,401 QA pairs
- Validation data 300 QA pairs
- Testing data 601 QA pairs
Download the geometry literal (logic form) data:
- Literal (logic form) data 6,293 annotated text literals, 27,213 annotated diagram literals
If you have trouble downloading data from the above links, you can alternatively visit the following Google Drive link: Geometry3K Dataset.
If the paper or the dataset inspires you, please cite us:
@inproceedings{lu2021inter,
title = {Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning},
author = {Lu, Pan and Gong, Ran and Jiang, Shibiao and Qiu, Liang and Huang, Siyuan and Liang, Xiaodan and Zhu, Song-Chun},
booktitle = {The 59th Annual Meeting of the Association for Computational Linguistics (ACL)},
year = {2021}
}