search

tpgh24 / ag4masses

Making Google Deepmind's AlphaGeometry accessible to the Masses
Apache License 2.0
30 stars 3 forks source link

Converting English Math Problems to Alpha-Geometry and Drawing them #3

Closed mostafamdy closed 2 months ago

mostafamdy commented 3 months ago

Hi,

It's great work, thanks for it!

I just want to know if there is any method to convert a math problem written in English into Alpha-Geometry input format. Also, Can we use Alpha-Geometry to draw the problem?

tpgh24 commented 3 months ago

I am not aware of a way to automatically convert problems in English to AlphaGeometry's problem format, but I have detailed description of the problem language in the README file of AG4Masses, I find it not very difficult to do once you understand the problem language.

Yes you can let AG draw a diagram by changing the conclusion of the problem to something trivial like ? cong a b a b. For more tips, see the "Some Tips" section of the README file.

mostafamdy commented 3 months ago

Thanks