google-deepmind / google-deepmind/alphageometry

AlphaGeometry dataset ?

Open
#172 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
4.9k
Forks
572
PR merge metrics
No merged PRs in 30d

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?

Image

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.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.