Automatic Translation to AlphaGeometry Symbolic Form

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](https://docs.google.com/document/d/1K4QspqnGFCJ9hpFyPUvaJXE7SAWbt3XRBBtyXzGhsOo/edit) 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.