lupantech / InterGPS

Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
MIT License
120 stars 26 forks source link

About datasets #4

Closed mingliangzhang2018 closed 3 years ago

mingliangzhang2018 commented 3 years ago

Hello, how can I expand the data set of Geometry3K? Where the math geometry problems of Geometry3K come from? Could you please provide more specific web links or other information? Thank you very much!

lupantech commented 3 years ago

To expand the dataset, you can use the annotation tool the project provides to collect new problem data. Problems in Geometry3K are collected from two textbooks as introduced in the paper. Make sure you have fair access to the online resources before you collect the problems.