search

google-deepmind / alphageometry

Apache License 2.0
4.06k stars 457 forks source link

Automatic Translation to AlphaGeometry Symbolic Form #119

Open phamtienkha opened 3 months ago

phamtienkha commented 3 months ago

Hi all,

I've been looking into ways to automatically translate geometry problems into the AlphaGeometry (AG) symbolic form. So far, I haven't found an efficient method to do this.

I came across a helpful document here that provides some context on the AG symbolic form. I tried attaching this document to the Claude 3 and Gemini 1.5 Pro to see if it could generate the symbolic form, but the output quality was still poor.

Is anyone aware of a more programmatic approach for converting geometry problems in natural language into the AG symbolic representation?

Thanks.

mostafamdy commented 3 months ago

Hi @phamtienkha I was searching for it Did you find the way?