lupantech/InterGPS

About datasets

Closed this issue · 1 comments

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!

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.