AlphaGeometry dataset ? #172
Description
Hi, I am a newbie and I am really interested in AlphaGeometry. I want to ask some question to clear my mind.
How can I create a dataset like the dataset used to train AlphaGeometry?
I am understand that AlphaGeometry does not receive input as normal text. It has its own language for problem definition and solutions. So that the data input and output to train model will be written in this kind of language.
So that I need to somehow translate pairs of (problems, solution) in natural language to language then we will have dataset to train model?
Can anyone help me to clarify the data for me or confirm my understanding? I will very appreciate that.